Pages that link to "Item:Q2344621"
From MaRDI portal
The following pages link to Inductive theorem proving based on tree grammars (Q2344621):
Displaying 11 items.
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- Anti-unification and the theory of semirings (Q2215964) (← links)
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- System Description: GAPT 2.0 (Q2817928) (← links)
- (Q3384900) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- On the Herbrand content of LK (Q5015361) (← links)
- Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
- One or nothing: anti-unification over the simply-typed lambda calculus (Q6610194) (← links)
- A fixed-point theorem for Horn formula equations (Q6647303) (← links)
