Reasoning with conditional axioms (Q1924731): Difference between revisions

@@ Property / Wikidata QID @@
+Q114693866
@@ Property / Wikidata QID: Q114693866 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing structural induction. I: Formal system
+Normal rank
@@ Property / cites work @@
+Proving Properties of Programs by Structural Induction
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Proving refutational completeness of theorem-proving strategies
+Normal rank
@@ Property / cites work @@
+Q3028369
@@ Property / cites work: Q3028369 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs by induction in equational theories with constructors
+Normal rank
@@ Property / cites work @@
+Simplifying conditional term rewriting systems: Unification, termination and confluence
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4027631
@@ Property / cites work: Q4027631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818295
@@ Property / cites work: Q3818295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040341
@@ Property / cites work: Q4040341 / rank @@
+Normal rank
@@ Property / cites work @@
+A Technique for Establishing Completeness Results in Theorem Proving with Equality
+Normal rank
@@ Property / cites work @@
+Semantic confluence tests and completion methods
@@ Property / cites work: Semantic confluence tests and completion methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Theorem-proving with resolution and superposition
@@ Property / cites work: Theorem-proving with resolution and superposition / rank @@
+Normal rank
@@ Property / cites work @@
+The Concept of Demodulation in Theorem Proving
@@ Property / cites work: The Concept of Demodulation in Theorem Proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805961
@@ Property / cites work: Q3805961 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01534452
+Normal rank
@@ Property / OpenAlex ID @@
+W1985483701
@@ Property / OpenAlex ID: W1985483701 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1924731