Analogy in Inductive Theorem Proving

• 1 January 1999
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 22  (2) , 117-147
• https://doi.org/10.1023/a:1005936130801

Abstract

Keywords

• JUSTIFICATIONS
• ANALOGY
• REPLAY
• CLAM
• REFORMULATIONS
• SOURCE
• PROOF
• INDUCTIVE
• THEOREMS COULD BE PROVED