Pages that link to "Item:Q3541725"

The following pages link to THF0 – The Core of the TPTP Language for Higher-Order Logic (Q3541725):

Displaying 9 items.

• THF0 (Q15842) (← links)
• 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)
• Proofs and Reconstructions (Q2964467) (← links)
• Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← links)
• Formal Logic Definitions for Interchange Languages (Q3453113) (← links)
• LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)
• Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)