Pages that link to "Item:Q3541725"

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

Displayed 2 items.

• THF0 (Q15842) ‎ (← links)
• LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) ‎ (← links)