Completion Based Inductive Theorem Proving: An Abstract Framework and its Applications.

Bernhard Gramlich

Published in: ECAI (1990)

Keyphrases

theorem proving
predicate calculus
term rewriting
theorem prover
decision procedures
automated deduction
machine learning
training data
probabilistic model
feature set
parallel search
geometry theorem proving