Keyphrases
- theorem proving
- consequence finding
- automatic theorem proving
- inference rules
- theorem prover
- automated theorem proving
- first order logic
- proof planning
- high resolution
- proof search
- natural deduction
- multiresolution
- preprocessing
- database systems
- three dimensional
- linear logic
- geometry theorem proving
- database
- decision procedures
- higher resolution
- sampling rate
- expert systems
- case study
- decision trees
- information systems
- artificial intelligence