Classes of algebraic systems defined by universal Horn sentences (Q1240745): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3215824
@@ Property / cites work: Q3215824 / rank @@
+Normal rank
@@ Property / cites work @@
+VARIETIES OF BANACH ALGEBRAS
@@ Property / cites work: VARIETIES OF BANACH ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4130547
@@ Property / cites work: Q4130547 / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of infinitely long formulas
@@ Property / cites work: Some applications of infinitely long formulas / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+Q4143774
@@ Property / cites work: Q4143774 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02485442
+Normal rank
@@ Property / OpenAlex ID @@
+W1965611426
@@ Property / OpenAlex ID: W1965611426 / rank @@
+Normal rank