The logic languages of the TPTP world

DOI10.1093/JIGPAL/JZAC068MaRDI QIDQ6200767zbMATH OpenOpenAlexFDO

Authors Geoff Sutcliffe

Publication date 20 February 2024

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzac068

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• The TPTP World -- infrastructure for automated reasoning
• The TPTP typed first-order form with arithmetic
• scientific article; zbMATH DE number 5850137
• Progress in the Development of Automated Theorem Proving for Higher-Order Logic
• Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation

Cited in

(1)

• The 11th IJCAR automated theorem proving system competition – CASC-J11

This page was built for publication: The logic languages of the TPTP world

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200767)