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

@@ Property / DOI @@
-.1006/inco.1999.2859
@@ Property / DOI: 10.1006/inco.1999.2859 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+InKa
@@ Property / describes a project that uses: InKa / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2071521309
@@ Property / OpenAlex ID: W2071521309 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124984006
@@ Property / Wikidata QID: Q124984006 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1006/INCO.1999.2859
@@ Property / DOI: 10.1006/INCO.1999.2859 / rank @@
+Normal rank