An erratum for some errata to ATP problems

DOI10.1023/A:1005764705033MaRDI QIDQ679255zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

natural first-order formnegated conclusion clause normal form

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

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

Cited in

(1)

• SPASS \& FLOTTER version 0.42

Describes a project that uses

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)