A Theorem-Proving Language for Experimentation.
Lawrence J. HenschenRoss A. OverbeekLarry WosPublished in: Commun. ACM (1974)
Keyphrases
- theorem proving
- predicate calculus
- decision procedures
- theorem prover
- automated reasoning
- first order logic
- automated deduction
- parallel search
- automatic programming
- consequence finding
- inference rules
- term rewriting
- programming language
- automated theorem proving
- model theoretic
- proof planning
- logical inference
- geometry theorem proving
- combinatorial search
- distributed search
- proof search
- natural language
- proof procedure
- knowledge base
- operational semantics
- knowledge representation
- data mining