Pages that link to "Item:Q946572"

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

Displaying 3 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)