Keyphrases
- theorem prover
- first order logic
- automated reasoning
- automated theorem proving
- theorem proving
- automated deduction
- inference rules
- term rewriting
- computer algebra
- formal proof
- formal semantics
- natural deduction
- data driven
- higher order logic
- boolean algebra
- proof search
- artificial intelligence
- decision trees
- class labels
- machine learning
- set theory
- small number
- natural language
- bayesian networks
- proof planning