Skip to main
Skosmos
Vocabularies
About
Feedback
på bokmål
på nynorsk
Humord
We're sorry but Skosmos doesn't work properly without JavaScript enabled. Please enable it to continue.
Sidebar listing: list and traverse vocabulary contents by a criterion
A-Z
Hierarchy
Groups
New
Philosophy
Logics
Symbolic logic
Proof theory
Natural science and mathematics
Mathemathics
Symbolic logic
Proof theory
Philosophy
Philosophical theories
Proof theory
Preferred term
Proof theory
Type
Topic
Broader concept
Philosophical theories
Symbolic logic
Narrower concepts
Automatic theorem proving
Mathematical proofs
Related concepts
Evidence
Identifier
HUME00688
In other languages
Norwegian Bokmål
Bevisteori
Norwegian Nynorsk
Provsteori
Bevisteori
URI
http://data.ub.uio.no/humord/c00688
Download this concept
RDF/XML
TURTLE
JSON-LD
Created 3/21/94, last modified 5/26/25