Avoiding Duplicate Proofs with the Foothold Refinement.

Published in: Ann. Math. Artif. Intell. (1994)

Keyphrases

theorem proving
theorem prover
formal proofs
real time
decision making
equational theories
information retrieval
case study
face recognition
data cleaning
query refinement
decision procedures
mathematical proofs
interactive theorem proving