Keyphrases
- declarative language
- theorem prover
- deductive databases
- theorem proving
- modeling language
- automated theorem proving
- formal methods
- test bed
- natural deduction
- geometry theorem proving
- real time
- query evaluation
- first order logic
- image sequences
- linear logic
- proof theory
- real world
- proof planning
- mathematical proofs
- data sets