An erratum for some errata to ATP problems

DOI10.1023/A:1005764705033zbMATH Open0868.68099OpenAlexW1539833609MaRDI QIDQ679255FDOQ679255

Francis Jeffry Pelletier, Geoff Sutcliffe

Publication date: 17 August 1997

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005764705033

Recommendations

• The TPTP problem library. CNF release v1. 2. 1
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• The TPTP problem library
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• scientific article; zbMATH DE number 440107

zbMATH Keywords

natural first-order formnegated conclusion clause normal form

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (1)

• SPASS & FLOTTER version 0.42

Uses Software

• TPTP

This page was built for publication: An erratum for some errata to ATP problems

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