A Case Study in Automated Theorem Proving: Finding Sages in Combinatory Logic.

William McCune Larry Wos

Published in: J. Autom. Reason. (1987)

Keyphrases

automated theorem proving
theorem prover
theorem proving
classical logic
answer set programming
case study
inference rules
automated reasoning
data sets
general purpose
logical framework
logic programming
orders of magnitude
proof theory