Errata to ``75 problems for testing automatic theorem provers

zbMATH Open0642.68148MaRDI QIDQ1101243FDOQ1101243

Authors: Francis Jeffry Pelletier 

Publication date: 1988

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

Recommendations

• Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic
• scientific article; zbMATH DE number 3881899
• Erratum to: Proving properties of Pascal programs in MIZAR 2
• Erratum: ``Verification by augmented finitary abstraction
• Automatic theorem proving for three decades
• scientific article; zbMATH DE number 4043813
• Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM
• Publication:3034850
• scientific article; zbMATH DE number 3938595

zbMATH Keywords

automatic theorem proving

Mathematics Subject Classification ID

Cited In (2)

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

This page was built for publication: Errata to ``75 problems for testing automatic theorem provers

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