Keyphrases
- theorem proving
- theorem prover
- first order logic
- automated theorem proving
- inference rules
- geometry theorem proving
- knuth bendix
- linear logic
- proof planning
- higher order
- real time
- knowledge representation
- description logics
- web applications
- user interface
- information technology
- natural language
- data structure
- canonical form
- image sequences
- proof search
- information systems
- genetic algorithm
- mathematical proofs
- database