Keyphrases
- theorem prover
- automated reasoning
- natural deduction
- higher order logic
- computer algebra
- automated theorem proving
- proof search
- boolean algebra
- theorem proving
- term rewriting
- inference rules
- first order logic
- predicate calculus
- formal proof
- modal logic
- formal semantics
- proof planning
- computer algebra systems
- proof procedure
- operational semantics
- classical logic
- nonmonotonic reasoning
- logic programming
- sequent calculus
- machine learning