The logic languages of the TPTP world

From MaRDI portal

Revision as of 07:14, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6200767

Jump to:navigation, search

DOI10.1093/jigpal/jzac068OpenAlexW4295529475MaRDI QIDQ6200767

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)

Related Items (1)

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6200767&oldid=35700809"