Keyphrases
- theorem prover
- theorem proving
- automated reasoning
- term rewriting
- first order logic
- inference rules
- computer algebra
- automated theorem proving
- automated deduction
- higher order logic
- timed automata
- proof search
- formal semantics
- data mining
- propositional logic
- training set
- natural deduction
- learning algorithm
- genetic algorithm
- proof planning