Keyphrases
- theorem proving
- lambda calculus
- predicate calculus
- first order logic
- automated reasoning
- decision procedures
- proof procedure
- theorem prover
- inference rules
- parallel search
- consequence finding
- term rewriting
- programming language
- proof planning
- database
- geometry theorem proving
- database query languages
- proof search
- higher order