Pages that link to "Item:Q2655326"

The following pages link to The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326):

Displaying 2 items.

• The higher-order prover \textsc{Leo}-II (Q287283) (← links)
• Machine learning for first-order theorem proving (Q2351414) (← links)