Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures (Q1340966): Difference between revisions

@@ Property / cites work @@
+Non-resolution theorem proving
@@ Property / cites work: Non-resolution theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing constraint expressions
@@ Property / cites work: Synthesizing constraint expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating dublication with the hyper-linking strategy
+Normal rank
@@ Property / cites work @@
+Problem solving by searching for models with a theorem prover
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Problem corner: Non-Horn problems
@@ Property / cites work: Problem corner: Non-Horn problems / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and related enhancements for automated theorem-proving programs
+Normal rank
@@ Property / cites work @@
+Experiments with discrimination-tree indexing and path indexing for term retrieval
+Normal rank
@@ Property / cites work @@
+Seventy-five problems for testing automatic theorem provers
+Normal rank
@@ Property / cites work @@
+A simplified problem reduction format
@@ Property / cites work: A simplified problem reduction format / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem-Proving on the Computer
@@ Property / cites work: Theorem-Proving on the Computer / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742689
@@ Property / cites work: Q3742689 / rank @@
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: Implementation by an extended Prolog compiler
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank