Hyper-pseudoformulas and M-solid ordered pseudovarieties (Q3118237): Difference between revisions

@@ Property / cites work @@
+Q5682023
@@ Property / cites work: Q5682023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3422743
@@ Property / cites work: Q3422743 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4464148
@@ Property / cites work: Q4464148 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypervarieties of a given type
@@ Property / cites work: Hypervarieties of a given type / rank @@
+Normal rank
@@ Property / cites work @@
+Q4240494
@@ Property / cites work: Q4240494 / rank @@
+Normal rank
@@ Property / cites work @@
+A Reiterman theorem for pseudovarieties of finite first-order structures
+Normal rank
@@ Property / cites work @@
+\(M\)-solid varieties of algebras
@@ Property / cites work: \(M\)-solid varieties of algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The Birkhoff theorem for finite algebras
@@ Property / cites work: The Birkhoff theorem for finite algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q2998598
@@ Property / cites work: Q2998598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3979090
@@ Property / cites work: Q3979090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4672432
@@ Property / cites work: Q4672432 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperformulas and solid algebraic systems
@@ Property / cites work: Hyperformulas and solid algebraic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersatisfaction of formulas in algebraic systems
+Normal rank
@@ Property / cites work @@
+Q4373707
@@ Property / cites work: Q4373707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4510394
@@ Property / cites work: Q4510394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2784580
@@ Property / cites work: Q2784580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3615303
@@ Property / cites work: Q3615303 / rank @@
+Normal rank