Keyphrases
- theorem prover
- automated reasoning
- automated theorem proving
- theorem proving
- inference rules
- automated deduction
- neural network
- term rewriting
- first order logic
- computer algebra
- boolean algebra
- graphical models
- mathematical knowledge
- natural deduction
- evolutionary algorithm
- feature space
- feature extraction
- machine learning