Presenting machine-found proofs (Q4647515): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2155990634
@@ Property / OpenAlex ID: W2155990634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880316
@@ Property / cites work: Q3880316 / rank @@
+Normal rank
@@ Property / cites work @@
+The translation of formal proofs into English
@@ Property / cites work: The translation of formal proofs into English / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Reconstructing proofs at the assertion level
@@ Property / cites work: Reconstructing proofs at the assertion level / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490999
@@ Property / cites work: Q3490999 / rank @@
+Normal rank