Pages that link to "Item:Q3052749"
From MaRDI portal
The following pages link to Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$ (Q3052749):
Displayed 1 item.