Pages that link to "Item:Q3613406"

The following pages link to Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation (Q3613406):

Displaying 8 items.

• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
• HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
• Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
• (Q3075241) (← links)
• THF0 – The Core of the TPTP Language for Higher-Order Logic (Q3541725) (← links)
• Using the TPTP Language for Writing Derivations and Finite Interpretations (Q3613401) (← links)
• Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)