Keyphrases
- theorem prover
- automated reasoning
- event calculus
- theorem proving
- first order logic
- term rewriting
- automated theorem proving
- automated deduction
- computer algebra
- inference rules
- formal semantics
- natural deduction
- reasoning tasks
- boolean algebra
- timed automata
- formal proof
- computer algebra systems
- mathematical knowledge