The anatomy of vampire. Implementing bottom-up procedures with code trees (Q1904404): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing logic programs using “prop”-ositional logic programs and a magic wand
+Normal rank
@@ Property / cites work @@
+Q4855371
@@ Property / cites work: Q4855371 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+On the efficiency of subsumption algorithms
@@ Property / cites work: On the efficiency of subsumption algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Integrity constraint checking in stratified databases
+Normal rank
@@ Property / cites work @@
+A basis for deductive database systems
@@ Property / cites work: A basis for deductive database systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and related enhancements for automated theorem-proving programs
+Normal rank
@@ Property / cites work @@
+Problems and Experiments for and with Automated Theorem-Proving Programs
+Normal rank
@@ Property / cites work @@
+Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic''
+Normal rank
@@ Property / cites work @@
+Experiments with discrimination-tree indexing and path indexing for term retrieval
+Normal rank
@@ Property / cites work @@
+Refutation search for Horn sets by a subgoal-extraction method
+Normal rank
@@ Property / cites work @@
+An implementation of hyper-resolution
@@ Property / cites work: An implementation of hyper-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Seventy-five problems for testing automatic theorem provers
+Normal rank
@@ Property / cites work @@
+Q5541351
@@ Property / cites work: Q5541351 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: Implementation by an extended Prolog compiler
+Normal rank
@@ Property / cites work @@
+Investigating production system representations for non-combinatorial match
+Normal rank
@@ Property / cites work @@
+Recursive query processing: The power of logic
@@ Property / cites work: Recursive query processing: The power of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264724
@@ Property / cites work: Q4264724 / rank @@
+Normal rank