Keyphrases
- theorem prover
- theorem proving
- first order logic
- term rewriting
- computer algebra
- automated reasoning
- automated theorem proving
- automated deduction
- formal proof
- proof search
- inference rules
- cost effective
- rapid development
- higher order logic
- natural deduction
- data processing
- case study
- knowledge representation
- proof planning
- knowledge base
- logic programming
- timed automata