Pages that link to "Item:Q1382154"
From MaRDI portal
The following pages link to What you always wanted to know about rigid \(E\)-unification (Q1382154):
Displaying 9 items.
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
- Superposition-based equality handling for analytic tableaux (Q877891) (← links)
- Connection tableaux with lazy paramodulation (Q928656) (← links)
- Free Variables and Theories: Revisiting Rigid E-unification (Q2964448) (← links)
- Theorem Proving with Bounded Rigid E-Unification (Q3454123) (← links)
- Efficient Algorithms for Bounded Rigid E-unification (Q3455762) (← links)
- Lean induction principles for tableaux (Q4610315) (← links)
- A completion-based method for mixed universal and rigid E-unification (Q5210805) (← links)
- What you always wanted to know about rigid E-unification (Q5235253) (← links)