Existential Horn Sentences (Q5722263): Difference between revisions

@@ label / en / label / en @@
+Existential Horn Sentences
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2033637
@@ Property / full work available at URL: https://doi.org/10.2307/2033637 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4214827525
@@ Property / OpenAlex ID: W4214827525 / rank @@
+Normal rank
@@ Property / title @@
+Existential Horn Sentences (English)
@@ Property / title: Existential Horn Sentences (English) / rank @@
+Normal rank
@@ Property / cites work @@
+On closure under direct product
@@ Property / cites work: On closure under direct product / rank @@
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+An interpolation theorem in the predicate calculus
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank