Pages that link to "Item:Q2417949"
From MaRDI portal
The following pages link to On the generation of quantified lemmas (Q2417949):
Displaying 13 items.
- Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
- Proving Matijasevich's lemma with a default arithmetic strategy (Q809626) (← links)
- First order Stålmarck. Universal lemmas through branch merges (Q1040785) (← links)
- Structuring resolution proofs by introducing new lemmata or how to improve the readability of ATP-generated proofs (Q1369079) (← links)
- Appropriate lemmae discovery (Q1827320) (← links)
- Methods of lemma extraction in natural deduction proofs (Q1945902) (← links)
- On the cover complexity of finite languages (Q2334605) (← links)
- On the Generation of Positivstellensatz Witnesses in Degenerate Cases (Q3088010) (← links)
- Sound lemma generation for proving inductive validity of equations (Q3165943) (← links)
- (Q3384900) (← links)
- Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
- Presenting intuitive deductions via symmetric simplification (Q6488543) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)