Automated search for Gödel's proofs (Q1772785): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2004.10.014
@@ Property / DOI: 10.1016/j.apal.2004.10.014 / rank @@
-Normal rank
@@ Property / cites work @@
+An automatic proof of Gödel's incompleteness theorem
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: Meta-Level Guidance for Mathematical Reasoning
+Normal rank
@@ Property / cites work @@
+Abstract proof checking: An example motivated by an incompleteness theorem
+Normal rank
@@ Property / cites work @@
+Q5573370
@@ Property / cites work: Q5573370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3663255
@@ Property / cites work: Q3663255 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698612
@@ Property / cites work: Q4698612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5815602
@@ Property / cites work: Q5815602 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Automated proofs of Löb's theorem and Gödel's two incompleteness theorems
+Normal rank
@@ Property / cites work @@
+Q4032144
@@ Property / cites work: Q4032144 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics, Machines and Gödel's Proof
@@ Property / cites work: Metamathematics, Machines and Gödel's Proof / rank @@
+Normal rank
@@ Property / cites work @@
+Normal natural deduction proofs (in classical logic)
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2004.10.014
@@ Property / DOI: 10.1016/J.APAL.2004.10.014 / rank @@
+Normal rank