Pages that link to "Item:Q1382153"
From MaRDI portal
The following pages link to Semantic generalizations for proving and disproving conjectures by analogy (Q1382153):
Displaying 7 items.
- Analogy in inductive theorem proving (Q1283199) (← links)
- A semantics and methodology for \textit{ceteris paribus} hypotheses (Q1811057) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Tractable and intractable second-order matching problems (Q2643530) (← links)
- Partial matching for analogy discovery in proofs and counter-examples (Q5234724) (← links)
- Analogy in Automated Deduction: A Survey (Q5739522) (← links)