Substitution tree indexing (Q5055823): Difference between revisions

@@ Property / cites work @@
+Associative-commutative discrimination nets
@@ Property / cites work: Associative-commutative discrimination nets / rank @@
+Normal rank
@@ Property / cites work @@
+Extended path-indexing
@@ Property / cites work: Extended path-indexing / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution tree indexing
@@ Property / cites work: Substitution tree indexing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880317
@@ Property / cites work: Q3880317 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments with discrimination-tree indexing and path indexing for term retrieval
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Otter 2.0
@@ Property / cites work: Otter 2.0 / rank @@
+Normal rank