scientific article; zbMATH DE number 4090850

zbMATH Open0666.68096MaRDI QIDQ3817655FDOQ3817655

Authors:

Publication date: 1988

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (14)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proving theorems by reuse
• Internal analogy in theorem proving

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)