Skip to main navigation
Skip to search
Skip to main content
The University of Brighton Home
Home
Profiles
Research units
Equipment
Projects
Research output
Activities
Student theses
Search by expertise, name or affiliation
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
Automatic Mechanism
33%
Classical Logic
33%
Connectives
33%
Diagrammatic Language
33%
Diagrammatic Proof
66%
Diagrammatic Reasoning
33%
Formal Verication
33%
Inference Rules
100%
Proof Assistants
33%
Proof System
33%
Reasoner
100%
Spider Diagram
100%
Theorem Prover
66%
Computer Science
Diagrammatic Reasoning
33%
Inference Rule
100%
Proof System
33%
Theorem Prover
66%
Mathematics
Classical Logic
100%