Keyphrases
- natural deduction
- automated theorem proving
- proof search
- provably correct
- proof procedure
- theorem proving
- sequent calculus
- theorem prover
- proof theoretic
- linear logic
- automated deduction
- databases
- term rewriting
- cut elimination
- computer algebra
- data model
- relational calculus
- artificial neural networks
- information systems
- learning algorithm
- machine learning
- real world
- proof planning
- database