Pages that link to "Item:Q5714034"
From MaRDI portal
The following pages link to Diagrammatic Representation and Inference (Q5714034):
Displaying 6 items.
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- Automated theorem proving with spider diagrams (Q2845530) (← links)
- On the Completeness of Spider Diagrams Augmented with Constants (Q2948608) (← links)
- Automated Reasoning (Q5307070) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)