Speedith: a reasoner for spider diagrams (Q2629222): Difference between revisions

@@ Property / cites work @@
+Q4282593
@@ Property / cites work: Q4282593 / rank @@
+Normal rank
@@ Property / cites work @@
+Constants and Functions in Peirce’s Existential Graphs
+Normal rank
@@ Property / cites work @@
+Q2848465
@@ Property / cites work: Q2848465 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic Representation and Inference
@@ Property / cites work: Diagrammatic Representation and Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4224224
@@ Property / cites work: Q4224224 / rank @@
+Normal rank
@@ Property / cites work @@
+On automating diagrammatic proofs of arithmetic arguments
+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 @@
+Automated theorem proving in Euler diagram systems
+Normal rank
@@ Property / cites work @@
+Q3621271
@@ Property / cites work: Q3621271 / rank @@
+Normal rank
@@ Property / cites work @@
+The Expressiveness of Spider Diagrams
@@ Property / cites work: The Expressiveness of Spider Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848474
@@ Property / cites work: Q2848474 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for reasoning with Euler diagrams: a logic translation and normalization
+Normal rank
@@ Property / cites work @@
+Q5839923
@@ Property / cites work: Q5839923 / rank @@
+Normal rank
@@ Property / cites work @@
+Diabelli: A Heterogeneous Proof System
@@ Property / cites work: Diabelli: A Heterogeneous Proof System / rank @@
+Normal rank
@@ Property / cites work @@
+Speedith: a reasoner for spider diagrams
@@ Property / cites work: Speedith: a reasoner for spider diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank