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

@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58156-1_13
+Normal rank
@@ Property / OpenAlex ID @@
+W1482833009
@@ Property / OpenAlex ID: W1482833009 / rank @@
+Normal rank
@@ 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