Keyphrases
- theorem proving
- theorem prover
- automated theorem proving
- automated theorem provers
- proof search
- inference rules
- linear logic
- intuitionistic logic
- proof procedure
- proof planning
- computer algebra
- automated deduction
- proof theoretic
- geometry theorem proving
- finite alphabet
- mathematical proofs
- real time
- total length
- natural deduction
- maximum number
- modal logic
- decision making
- machine learning
- databases