Keyphrases
- theorem prover
- automated reasoning
- term rewriting
- automated theorem proving
- theorem proving
- first order logic
- automated deduction
- inference rules
- computer algebra
- formal proof
- boolean algebra
- higher order logic
- formal semantics
- natural deduction
- mathematical knowledge
- propositional logic
- proof search
- higher order
- search algorithm