FOOL

swMATH14287MaRDI QIDQ26191

No author found.

Described by source

• A First Class Boolean Sort in First-Order Theorem Proving and TPTP

Related Items (3)

Improving automation for higher-order proof steps ⋮ Formal Logic Definitions for Interchange Languages ⋮ The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0

This page was built for software: FOOL