Games for query inseparability of description logic knowledge bases (Q253977): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q17
@@ Property / Mathematics Subject Classification ID: 68Q17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A43
@@ Property / Mathematics Subject Classification ID: 91A43 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A80
@@ Property / Mathematics Subject Classification ID: 91A80 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6551551
@@ Property / zbMATH DE Number: 6551551 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+description logic
@@ Property / zbMATH Keywords: description logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+knowledge base
@@ Property / zbMATH Keywords: knowledge base / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+conjunctive query
@@ Property / zbMATH Keywords: conjunctive query / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+query inseparability
@@ Property / zbMATH Keywords: query inseparability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+games on graphs
@@ Property / zbMATH Keywords: games on graphs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computational complexity
@@ Property / zbMATH Keywords: computational complexity / rank @@
+Normal rank

Games for query inseparability of description logic knowledge bases (Q253977): Difference between revisions

Revision as of 12:55, 27 June 2023

Statements

Sitelinks

Mathematics(0 entries)