Pages that link to "Proof compression"
Showing 16 items.
- Automated theorem proving (links | edit)
- Resolution proof reduction via local context rewriting (links | edit)
- Resolution proof compression by splitting (links | edit)
- RecycleUnits (links | edit)
- LowerUnits (links | edit)
- LowerUnivalents (links | edit)
- Talk:Proof compression (transclusion) (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:Maximo.marcos/sandbox (links | edit)
- User:Tompw/Books/Mathematics (links | edit)
- User:Tompw/Books/Mathematics (P) (links | edit)
- User:Domcd/Books/Logic, philosophy, language, mathematics (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematics articles (P–R) (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematics articles (P) (links | edit)
- Wikipedia:Village pump (proposals)/Archive 132 (links | edit)
- Wikipedia talk:WikiProject Mathematics/Archive/2014/Apr (links | edit)