Commutative algebra in the Mizar system (Q597122): Difference between revisions

@@ Property / cites work @@
+Q4693774
@@ Property / cites work: Q4693774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4226993
@@ Property / cites work: Q4226993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944848
@@ Property / cites work: Q4944848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023355
@@ Property / cites work: Q4023355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5534234
@@ Property / cites work: Q5534234 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalents of well-foundedness. An experiment in MIZAR
+Normal rank
@@ Property / cites work @@
+Q2751549
@@ Property / cites work: Q2751549 / rank @@
+Normal rank
@@ Property / cites work @@
+A machine-checked implementation of Buchberger's algorithm
+Normal rank