Automated theorem proving in Euler diagram systems (Q2467560): Difference between revisions

@@ Property / cites work @@
+Graph Drawing
@@ Property / cites work: Graph Drawing / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848464
@@ Property / cites work: Q2848464 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized best-first search strategies and the optimality of A*
+Normal rank
@@ Property / cites work @@
+Q2848468
@@ Property / cites work: Q2848468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428999
@@ Property / cites work: Q4428999 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737278
@@ Property / cites work: Q4737278 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic Representation and Inference
@@ Property / cites work: Diagrammatic Representation and Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845530
@@ Property / cites work: Q2845530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4224224
@@ Property / cites work: Q4224224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737295
@@ Property / cites work: Q4737295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737279
@@ Property / cites work: Q4737279 / rank @@
+Normal rank
@@ Property / cites work @@
+Spider Diagrams
@@ Property / cites work: Spider Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789490
@@ Property / cites work: Q4789490 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic Representation and Inference
@@ Property / cites work: Diagrammatic Representation and Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691519
@@ Property / cites work: Q5691519 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic Representation and Inference
@@ Property / cites work: Diagrammatic Representation and Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753882
@@ Property / cites work: Q2753882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847218
@@ Property / cites work: Q4847218 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848472
@@ Property / cites work: Q2848472 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decidable Constraint Diagram Reasoning System
@@ Property / cites work: A Decidable Constraint Diagram Reasoning System / rank @@
+Normal rank
@@ Property / cites work @@
+Automated theorem proving in Euler diagram systems
+Normal rank
@@ Property / cites work @@
+The Expressiveness of Spider Diagrams
@@ Property / cites work: The Expressiveness of Spider Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q4548196
@@ Property / cites work: Q4548196 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic Representation and Inference
@@ Property / cites work: Diagrammatic Representation and Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic Representation and Inference
@@ Property / cites work: Diagrammatic Representation and Inference / rank @@
+Normal rank