A new application for explanation-based generalisation within automated deduction (Q5210770): Difference between revisions

@@ Property / cites work @@
+Q4255511
@@ Property / cites work: Q4255511 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+A typed \(\lambda\)-calculus for proving-by-example and bottom-up generalization procedure
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+Q3491002
@@ Property / cites work: Q3491002 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel Theorems for Non-Constructive Logics
@@ Property / cites work: Gödel Theorems for Non-Constructive Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3272468
@@ Property / cites work: Q3272468 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q5650404
@@ Property / cites work: Q5650404 / rank @@
+Normal rank