On the relative expressiveness of description logics and predicate logics (Q2674209): Difference between revisions

@@ Property / cites work @@
+Q4860647
@@ Property / cites work: Q4860647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3674621
@@ Property / cites work: Q3674621 / rank @@
+Normal rank
@@ Property / cites work @@
+Upper and lower bounds for first order expressibility
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856727
@@ Property / cites work: Q3856727 / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank