Pages that link to "Item:Q352943"
From MaRDI portal
The following pages link to ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943):
Displayed 2 items.
The following pages link to ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943):
Displayed 2 items.