scientific article; zbMATH DE number 4090850

MaRDI QIDQ3817655zbMATH OpenFDO

Authors

Publication date 1988

zbMATH Keywords

theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Analogy in inductive theorem proving
• Partial matching for analogy discovery in proofs and counter-examples
• scientific article; zbMATH DE number 1104445
• Semantic generalizations for proving and disproving conjectures by analogy
• Building proofs or counterexamples by analogy in a resolution framework

Cited in

(14)

• Internal analogy in theorem proving
• scientific article; zbMATH DE number 1104445 (Why is no real title available?)
• The problem of reasoning by analogy
• Analogy in automated deduction: a survey
• Octopus: combining learning and parallel search
• Semantic generalizations for proving and disproving conjectures by analogy
• Towards finding longer proofs
• Experiments in the heuristic use of past proof experience
• Partial matching for analogy discovery in proofs and counter-examples
• Analogy in inductive theorem proving
• A theory of abstraction
• scientific article; zbMATH DE number 3992947 (Why is no real title available?)
• scientific article; zbMATH DE number 50693 (Why is no real title available?)
• Proving theorems by reuse

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3817655)