Keyphrases
- database
- theorem proving
- theorem prover
- proof search
- databases
- topological properties
- first order logic
- automated theorem proving
- inference rules
- database systems
- geometric objects
- formal proof
- equational theories
- connected components
- image processing
- proof procedure
- directional relations
- mathematical proofs
- spatial reasoning
- topological features
- natural deduction
- decision making