The following pages link to THF0 (Q15842):
Displaying 13 items.
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- The TPTP Typed First-Order Form with Arithmetic (Q2891471) (← links)
- Proofs and Reconstructions (Q2964467) (← links)
- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← links)
- The TPTP World – Infrastructure for Automated Reasoning (Q3066085) (← links)
- (Q3075241) (← links)
- Formal Logic Definitions for Interchange Languages (Q3453113) (← links)
- Combining Logics in Simple Type Theory (Q3582734) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
- (Q5219925) (← links)
- Functions-as-constructors Higher-order Unification (Q5369491) (← links)
