The following pages link to (Q5620583):
Displaying 10 items.
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- Glushkov's evidence algorithm (Q466397) (← links)
- The undecidability of simultaneous rigid E-unification (Q671659) (← links)
- Superposition-based equality handling for analytic tableaux (Q877891) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Cut-type rules for calculi of general type (Q1256457) (← links)
- Evidence algorithm and sad systems: past and possible future (Q2043962) (← links)
- Sequent forms of Herbrand theorem and their applications (Q2502163) (← links)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)
- What Is Essential Unification? (Q3305325) (← links)
