Analogy in Automated Deduction: A Survey (Q5739522): Difference between revisions

@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CLAM
@@ Property / describes a project that uses: CLAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Oyster
@@ Property / describes a project that uses: Oyster / 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/978-3-642-54516-0_5
+Normal rank
@@ Property / OpenAlex ID @@
+W21502605
@@ Property / OpenAlex ID: W21502605 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769425
@@ Property / cites work: Q2769425 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-resolution theorem proving
@@ Property / cites work: Non-resolution theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+A method for building models automatically. Experiments with an extension of OTTER
+Normal rank
@@ Property / cites work @@
+Building proofs or counterexamples by analogy in a resolution framework
+Normal rank
@@ Property / cites work @@
+Q4255510
@@ Property / cites work: Q4255510 / rank @@
+Normal rank
@@ Property / cites work @@
+A method for simultaneous search for refutations and models by equational constraint solving
+Normal rank
@@ Property / cites work @@
+Equational problems and disunification
@@ Property / cites work: Equational problems and disunification / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient second-order matching
@@ Property / cites work: Efficient second-order matching / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic generalizations for proving and disproving conjectures by analogy
+Normal rank
@@ Property / cites work @@
+Partial matching for analogy discovery in proofs and counter-examples
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+A Sequent Calculus with Implicit Term Representation
+Normal rank
@@ Property / cites work @@
+Towards Algorithmic Cut-Introduction
@@ Property / cites work: Towards Algorithmic Cut-Introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A paradigm for reasoning by analogy
@@ Property / cites work: A paradigm for reasoning by analogy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331764
@@ Property / cites work: Q4331764 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Analogy in inductive theorem proving
@@ Property / cites work: Analogy in inductive theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q4002491
@@ Property / cites work: Q4002491 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539642
@@ Property / cites work: Q4539642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724150
@@ Property / cites work: Q2724150 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Proving theorems by reuse
@@ Property / cites work: Proving theorems by reuse / rank @@
+Normal rank
@@ Property / cites work @@
+The problem of reasoning by analogy
@@ Property / cites work: The problem of reasoning by analogy / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5739522