Pages that link to "Item:Q5410334"
From MaRDI portal
The following pages link to Using tableau to decide description logics with full role negation and identity (Q5410334):
Displaying 5 items.
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Modal Tableau Systems with Blocking and Congruence Closure (Q3455760) (← links)
- Modal Satisfiability via SMT Solving (Q5256336) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
