A reduction method for theorem proving based on the partial-instantiation technique.
Masahito YamamotoAzuma OhuchiPublished in: Decis. Support Syst. (1998)
Keyphrases
- theorem proving
- reduction method
- theorem prover
- automated reasoning
- first order logic
- decision procedures
- term rewriting
- selection algorithm
- automated deduction
- parallel search
- inference rules
- proof planning
- automated theorem proving
- consequence finding
- proof procedure
- geometry theorem proving
- predicate calculus
- propositional logic
- genetic algorithm ga
- proof search
- genetic programming
- simulated annealing
- multi dimensional
- classification accuracy
- learning algorithm