The logic languages of the TPTP world

DOI10.1093/JIGPAL/JZAC068OpenAlexW4295529475MaRDI QIDQ6200767FDOQ6200767

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)

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)