Pages that link to "Item:Q946572"

The following pages link to Combined reasoning by automated cooperation (Q946572):

Displaying 6 items.

• The higher-order prover \textsc{Leo}-II (Q287283) (← links)
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
• LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners (Q3453128) (← links)
• LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)
• THF0 – The Core of the TPTP Language for Higher-Order Logic (Q3541725) (← links)
• Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)