Pages that link to "Item:Q3371151"
From MaRDI portal
The following pages link to A Decidable Constraint Diagram Reasoning System (Q3371151):
Displayed 7 items.
- Singular propositions, negation and the square of opposition (Q346761) (← links)
- Efficient on-line algorithms for Euler diagram region computation (Q709068) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- The semiotics of spider diagrams (Q2399601) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- Set Venn diagrams applied to inclusions and non-inclusions (Q2629220) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)