An erratum for some errata to ATP problems

DOI10.1023/A:1005764705033zbMath0868.68099OpenAlexW1539833609MaRDI QIDQ679255

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

Related Items (1)

SPASS & FLOTTER version 0.42

Uses Software

• TPTP

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