Pages that link to "Item:Q2891471"
From MaRDI portal
The following pages link to The TPTP Typed First-Order Form with Arithmetic (Q2891471):
Displaying 16 items.
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- Faster, higher, stronger: E 2.3 (Q2305435) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Encoding Monomorphic and Polymorphic Types (Q2974796) (← links)
- A First Class Boolean Sort in First-Order Theorem Proving and TPTP (Q3453107) (← links)
- Generic Literals (Q3453109) (← links)
- Formal Logic Definitions for Interchange Languages (Q3453113) (← links)
- SMTtoTPTP – A Converter for Theorem Proving Formats (Q3454101) (← links)
- Beagle – A Hierarchic Superposition Theorem Prover (Q3454107) (← links)
- TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism (Q4928456) (← links)
- (Q4989394) (← links)
- Scalable fine-grained proofs for formula processing (Q5919479) (← links)