Pages that link to "Item:Q5235252"
From MaRDI portal
The following pages link to Building proofs or counterexamples by analogy in a resolution framework (Q5235252):
Displaying 5 items.
- Analogy in inductive theorem proving (Q1283199) (← links)
- Semantic generalizations for proving and disproving conjectures by analogy (Q1382153) (← links)
- (Q4370349) (← links)
- Partial matching for analogy discovery in proofs and counter-examples (Q5234724) (← links)
- Analogy in Automated Deduction: A Survey (Q5739522) (← links)