Skip to main navigation
Skip to search
Skip to main content
The University of Brighton Home
Search content at The University of Brighton
Home
Profiles
Research units
Equipment
Projects
Research output
Activities
Student theses
Speedith: A reasoner for spider diagrams
Matej Urbas
, M. Jamnik
, Gem Stapleton
University of Brighton
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Speedith: A reasoner for spider diagrams'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Spider Diagram
100%
Inference Rules
100%
Reasoner
100%
Theorem Prover
66%
Diagrammatic Proof
66%
Connectives
33%
Diagrammatic Reasoning
33%
Diagrammatic Language
33%
Formal Verication
33%
Proof System
33%
Proof Assistants
33%
Classical Logic
33%
Automatic Mechanism
33%
Computer Science
Inference Rule
100%
Theorem Prover
66%
Diagrammatic Reasoning
33%
Proof System
33%
Mathematics
Classical Logic
100%