On terminating lemma speculations. (Q1854370): Difference between revisions

@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of abstraction
@@ Property / cites work: A theory of abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Computational approaches to analogical reasoning: A comparative analysis
+Normal rank
@@ Property / cites work @@
+INKA: The next generation
@@ Property / cites work: INKA: The next generation / rank @@
+Normal rank
@@ Property / cites work @@
+Productive use of failure in inductive proof
@@ Property / cites work: Productive use of failure in inductive proof / rank @@
+Normal rank
@@ Property / cites work @@
+Plagiator — A learning prover
@@ Property / cites work: Plagiator — A learning prover / rank @@
+Normal rank
@@ Property / cites work @@
+Proving theorems by reuse
@@ Property / cites work: Proving theorems by reuse / rank @@
+Normal rank