A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647): Difference between revisions

@@ Property / describes a project that uses @@
+KL-ONE
@@ Property / describes a project that uses: KL-ONE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FaCT++
@@ Property / describes a project that uses: FaCT++ / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-007-9079-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1978912716
@@ Property / OpenAlex ID: W1978912716 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56988749
@@ Property / Wikidata QID: Q56988749 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012242
@@ Property / cites work: Q4012242 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386924
@@ Property / cites work: Q4386924 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790403
@@ Property / cites work: Q4790403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539596
@@ Property / cites work: Q4539596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing description logic subsumption
@@ Property / cites work: Optimizing description logic subsumption / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938424
@@ Property / cites work: Q4938424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723446
@@ Property / cites work: Q2723446 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for First-Order Two-Variable Logic with Counting
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954172
@@ Property / cites work: Q4954172 / rank @@
+Normal rank
@@ Property / cites work @@
+PSPACE Reasoning for Graded Modal Logics
@@ Property / cites work: PSPACE Reasoning for Graded Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353561
@@ Property / cites work: Q4353561 / rank @@
+Normal rank