Proving implications by algebraic approximation (Q671502): Difference between revisions

@@ Property / cites work @@
+Subdirect unions in universal algebra
@@ Property / cites work: Subdirect unions in universal algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+The Laws of Finite Pointed Groups
@@ Property / cites work: The Laws of Finite Pointed Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Analyzing logic programs using “prop”-ositional logic programs and a magic wand
+Normal rank
@@ Property / cites work @@
+Q4537504
@@ Property / cites work: Q4537504 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281588
@@ Property / cites work: Q4281588 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165427
@@ Property / cites work: Q4165427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057549
@@ Property / cites work: Q4057549 / rank @@
+Normal rank
@@ Property / cites work @@
+The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
+Normal rank
@@ Property / cites work @@
+Q3758891
@@ Property / cites work: Q3758891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922128
@@ Property / cites work: Q3922128 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3764340
@@ Property / cites work: Q3764340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5564352
@@ Property / cites work: Q5564352 / rank @@
+Normal rank
@@ Property / cites work @@
+Galois Connexions
@@ Property / cites work: Galois Connexions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5635618
@@ Property / cites work: Q5635618 / rank @@
+Normal rank