Spider Diagrams (Q5697473)
From MaRDI portal
scientific article; zbMATH DE number 2214984
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Spider Diagrams |
scientific article; zbMATH DE number 2214984 |
Statements
Spider Diagrams (English)
0 references
17 October 2005
0 references
diagrammatic formal reasoning
0 references
diagrammatic reasoning system
0 references
first-order monadic logic with equality
0 references
diagrammatic syntax
0 references
topological properties of diagrams
0 references
