Pages that link to "Item:Q1283199"

The following pages link to Analogy in inductive theorem proving (Q1283199):

Displaying 5 items.

• Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
• Proving theorems by reuse (Q1978233) (← links)
• Knowledge-based proof planning (Q1978469) (← links)
• Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
• Analogy in Automated Deduction: A Survey (Q5739522) (← links)