Pages that link to "Item:Q3453107"
From MaRDI portal
The following pages link to A First Class Boolean Sort in First-Order Theorem Proving and TPTP (Q3453107):
Displayed 4 items.
- FOOL (Q26191) (← links)
- Improving automation for higher-order proof steps (Q831930) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- Superposition with first-class booleans and inprocessing clausification (Q2055873) (← links)