Errata to ``75 problems for testing automatic theorem provers

zbMath0642.68148MaRDI QIDQ1101243

Francis Jeffry Pelletier

Publication date: 1988

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

zbMATH Keywords

automatic theorem proving

Mathematics Subject Classification ID

Related Items

Binary decision diagrams for first-order predicate logic. ⋮ The disconnection method