What is a proof? (Q5301851): Difference between revisions

@@ Property / cites work @@
+Q2751365
@@ Property / cites work: Q2751365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938413
@@ Property / cites work: Q4938413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2739733
@@ Property / cites work: Q2739733 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Hilbert’s Grundlagen in Isabelle/Isar
+Normal rank
@@ Property / cites work @@
+Q4523518
@@ Property / cites work: Q4523518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789490
@@ Property / cites work: Q4789490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099559
@@ Property / cites work: Q4099559 / rank @@
+Normal rank