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

automated reasoningautomated theorem provingbidirectional searchcombinatory logicdemodulationfixed-point propertyITPparamodulationproof checking

Mathematics Subject Classification ID

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

Review text

Erratum concerned with ibid. 3, 91-107 (1987; Zbl 0636.68121).

Cited in

(6)

• A case study in automated theorem proving: Finding sages in combinatory logic
• 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
• The anatomy of vampire. Implementing bottom-up procedures with code trees

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)