Efficiency and Completeness of the Set of Support Strategy in Theorem Proving.

Larry Wos George A. Robinson Daniel F. Carson

Published in: J. ACM (1965)

Keyphrases

theorem proving
automated reasoning
first order logic
expert systems
feature set
decision procedures
timed automata
probability distribution
theorem prover
proof procedure
proof planning