Finite queries do not have effective syntax. (Q1854305): Difference between revisions

@@ Property / cites work @@
+A relational model of data for large shared data banks
+Normal rank
@@ Property / cites work @@
+The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
+Normal rank
@@ Property / cites work @@
+Q5596785
@@ Property / cites work: Q5596785 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3780509
@@ Property / cites work: Q3780509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202941
@@ Property / cites work: Q4202941 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5730894
@@ Property / cites work: Q5730894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5517667
@@ Property / cites work: Q5517667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638297
@@ Property / cites work: Q5638297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347338
@@ Property / cites work: Q3347338 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for database dependencies
@@ Property / cites work: The decision problem for database dependencies / rank @@
+Normal rank