Rewrite Methods for Clausal and Non-Clausal Theorem Proving.

Jieh Hsiang Nachum Dershowitz

Published in: ICALP (1983)

Keyphrases

parallel search
theorem proving
decision procedures
first order logic
automated reasoning
automatic programming
inference rules
automated deduction
proof procedure
theorem prover
term rewriting
logical inference
consequence finding
geometry theorem proving
machine learning
natural deduction