Pages that link to "Item:Q5387891"
From MaRDI portal
The following pages link to A Semantic Completeness Proof for TaMeD (Q5387891):
Displayed 4 items.
- Resolution is cut-free (Q972424) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Regaining cut admissibility in deduction modulo using abstract completion (Q2266989) (← links)
- Experimenting with Deduction Modulo (Q5200022) (← links)