Non-resolution theorem proving (Q1238434): Difference between revisions

@@ Property / cites work @@
+Q5624685
@@ Property / cites work: Q5624685 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088305
@@ Property / cites work: Q4088305 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting and reduction heuristics in automatic theorem proving
+Normal rank
@@ Property / cites work @@
+Computer proofs of limit theorems
@@ Property / cites work: Computer proofs of limit theorems / rank @@
+Normal rank
@@ Property / cites work @@
+A man-machine theorem-proving system
@@ Property / cites work: A man-machine theorem-proving system / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Theorems about LISP Functions
@@ Property / cites work: Proving Theorems about LISP Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5681544
@@ Property / cites work: Q5681544 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616174
@@ Property / cites work: Q5616174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5721424
@@ Property / cites work: Q5721424 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-Automated Mathematics
@@ Property / cites work: Semi-Automated Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of symbol manipulation in theoretical physics
+Normal rank
@@ Property / cites work @@
+Semantic Resolution for Horn Sets
@@ Property / cites work: Semantic Resolution for Horn Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5670164
@@ Property / cites work: Q5670164 / 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 @@
+Notes on central groupoids
@@ Property / cites work: Notes on central groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Specialization of the form of deduction in the precicate calculus with equality and function symbols. I
+Normal rank
@@ Property / cites work @@
+Q4766612
@@ Property / cites work: Q4766612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5583066
@@ Property / cites work: Q5583066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519616
@@ Property / cites work: Q5519616 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of induction and the possibility of complete systems of inductive inference
+Normal rank
@@ Property / cites work @@
+The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+A relaxation approach to splitting in an automatic theorem prover
+Normal rank
@@ Property / cites work @@
+Plane geometry theorem proving using forward chaining
+Normal rank
@@ Property / cites work @@
+Q5529027
@@ Property / cites work: Q5529027 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Class of Automated Theorem-Proving Algorithms
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved proof procedure1
@@ Property / cites work: An improved proof procedure1 / rank @@
+Normal rank
@@ Property / cites work @@
+A Semantically Guided Deductive System for Automatic Theorem Proving
+Normal rank
@@ Property / cites work @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590294
@@ Property / cites work: Q5590294 / rank @@
+Normal rank
@@ Property / cites work @@
+Breadth-first search: some surprising results
@@ Property / cites work: Breadth-first search: some surprising results / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Theorem Proving With Renamable and Semantic Resolution
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
+Normal rank
@@ Property / cites work @@
+Experiment with an automatic theorem-prover having partial ordering inference rules
+Normal rank
@@ Property / cites work @@
+Experiments with a heuristic theorem-proving program for predicate calculus with equality
+Normal rank
@@ Property / cites work @@
+Reasoning about programs
@@ Property / cites work: Reasoning about programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667965
@@ Property / cites work: Q3667965 / rank @@
+Normal rank