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
- predicate calculus
- formal proof
- modal logic
- sequent calculus
- proof procedure
- proof planning
- logical framework
- logic programming
- predicate logic
- timed automata
- classical logic
- formal semantics
- artificial intelligence
- mathematical knowledge