Pages that link to "Item:Q948503"
From MaRDI portal
The following pages link to Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) (Q948503):
Displaying 2 items.
The following pages link to Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) (Q948503):
Displaying 2 items.