Keyphrases
- natural deduction
- automated theorem proving
- proof search
- sequent calculus
- theorem prover
- theorem proving
- proof procedure
- provably correct
- linear logic
- automated deduction
- cut elimination
- inference rules
- first order logic
- term rewriting
- proof planning
- computer algebra
- proof theoretic
- complete axiomatization
- real time
- geometry theorem proving
- propositional logic
- data model
- search algorithm
- social networks