Errata to ``75 problems for testing automatic theorem provers

MaRDI QIDQ1101243zbMATH OpenFDO

Authors 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

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

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)