Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic

MaRDI QIDQ1107334zbMATH OpenFDO

Authors Larry Wos, William McCune

Publication date 1988

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

zbMATH Keywords

combinatory logicautomated reasoningautomated theorem provingbidirectional searchdemodulationfixed-point propertyparamodulationproof checkingITP

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Cited in

(6)

• The anatomy of vampire. Implementing bottom-up procedures with code trees
• Errata to ``75 problems for testing automatic theorem provers
• The kernel strategy and its use for the study of combinatory logic
• Automated proofs of equality problems in Overbeek's competition
• The application of automated reasoning to questions in mathematics and logic
• A case study in automated theorem proving: Finding sages in combinatory logic

This page was built for publication: Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic

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