THF0
From MaRDI portal
Software:15842
No author found.
Related Items (13)
The TPTP Typed First-Order Form with Arithmetic ⋮ Formal Logic Definitions for Interchange Languages ⋮ Unnamed Item ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ Proofs and Reconstructions ⋮ Unnamed Item ⋮ Combining and automating classical and non-classical logics in classical higher-order logics ⋮ Combining Logics in Simple Type Theory ⋮ Progress in the Development of Automated Theorem Proving for Higher-Order Logic ⋮ Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) ⋮ The TPTP World – Infrastructure for Automated Reasoning ⋮ GRUNGE: a grand unified ATP challenge ⋮ Functions-as-constructors Higher-order Unification
This page was built for software: THF0
