The Concept of Demodulation in Theorem Proving.
Larry WosGeorge A. RobinsonDaniel F. CarsonLeon ShallaPublished in: J. ACM (1967)
Keyphrases
- theorem proving
- theorem prover
- parallel search
- term rewriting
- automated deduction
- inference rules
- automated reasoning
- first order logic
- decision procedures
- automated theorem proving
- proof procedure
- proof planning
- geometry theorem proving
- logical inference
- automatic programming
- consequence finding
- distributed search
- concept formation