Keyphrases
- natural deduction
- theorem prover
- theorem proving
- inference rules
- automated theorem proving
- proof search
- mathematical proofs
- cut elimination
- sequent calculus
- higher order logic
- formal proof
- computer algebra
- first order logic
- decision procedures
- automated theorem provers
- model validation
- geometry theorem proving
- proof planning
- proof procedure
- linear logic
- consistency checking
- artificial intelligence
- interactive theorem proving
- np complete
- relational databases
- similarity measure
- decision trees
- computer vision
- social networks