Pages that link to "Item:Q3371151"
From MaRDI portal
The following pages link to A Decidable Constraint Diagram Reasoning System (Q3371151):
Displaying 11 items.
- Singular propositions, negation and the square of opposition (Q346761) (← links)
- Efficient on-line algorithms for Euler diagram region computation (Q709068) (← links)
- Reasoning on temporal class diagrams: Undecidability results (Q862829) (← 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)
- SOLAR: An automated deduction system for consequence finding (Q3568229) (← links)
- Generalized constraint diagrams and the classical decision problem (Q4914418) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)
- Diagrammatic Representation and Inference (Q5714112) (← links)