Use of replace rules in theorem proving.
Shie-Jue LeeDavid A. PlaistedPublished in: Methods Log. Comput. Sci. (1994)
Keyphrases
- theorem proving
- first order logic
- decision procedures
- automated deduction
- theorem prover
- automated reasoning
- automatic programming
- automated theorem proving
- consequence finding
- parallel search
- inference rules
- proof planning
- term rewriting
- geometry theorem proving
- proof procedure
- logical inference
- distributed search
- predicate calculus
- combinatorial search
- timed automata
- active databases
- presburger arithmetic
- probability distribution