First-Order Theorem Proving Using Conditional Rewrite Rules.
Hantao ZhangDeepak KapurPublished in: CADE (1988)
Keyphrases
- theorem proving
- rewrite rules
- first order logic
- term rewriting
- predicate calculus
- rewriting rules
- inference rules
- theorem prover
- propositional logic
- consistency constraints
- decision procedures
- parallel search
- knowledge representation
- proof planning
- proof procedure
- transformation rules
- consequence finding
- geometry theorem proving
- sql queries
- query optimization
- multi dimensional
- artificial intelligence
- complex queries