Termination of theorem proving by reuse (Q4647503): Difference between revisions

@@ Property / describes a project that uses @@
+PLAGIATOR
@@ Property / describes a project that uses: PLAGIATOR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIKE
@@ Property / describes a project that uses: SPIKE / 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-61511-3_72
+Normal rank
@@ Property / OpenAlex ID @@
+W1534959140
@@ Property / OpenAlex ID: W1534959140 / 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 @@
+Productive use of failure in inductive proof
@@ Property / cites work: Productive use of failure in inductive proof / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of theorem proving by reuse
@@ Property / cites work: Termination of theorem proving by reuse / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4647503