Keyphrases
- theorem prover
- automated reasoning
- natural deduction
- higher order logic
- computer algebra
- automated theorem proving
- proof search
- boolean algebra
- theorem proving
- inference rules
- first order logic
- term rewriting
- formal proof
- predicate calculus
- linear logic
- proof planning
- proof procedure
- logical framework
- search algorithm
- probability theory
- description logics
- programming language