The achievement of knowledge bases by cycle search. (Q1854365): Difference between revisions

@@ Property / DOI @@
-.1006/inco.1999.2851
@@ Property / DOI: 10.1006/inco.1999.2851 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2081500090
@@ Property / OpenAlex ID: W2081500090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4321736
@@ Property / cites work: Q4321736 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Procedure Using Connection Graphs
@@ Property / cites work: A Proof Procedure Using Connection Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287508
@@ Property / cites work: Q4287508 / rank @@
+Normal rank
@@ Property / cites work @@
+A kind of logical compilation for knowledge bases
@@ Property / cites work: A kind of logical compilation for knowledge bases / rank @@
+Normal rank
@@ Property / cites work @@
+A new method for knowledge compilation: The achievement by cycle search
+Normal rank
@@ Property / DOI @@
+.1006/INCO.1999.2851
@@ Property / DOI: 10.1006/INCO.1999.2851 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1854365