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
Filosofi
Logikk
Symbolsk logikk
Provsteori
Realfag
Matematikk
Symbolsk logikk
Provsteori
Filosofi
Filosofiske teoriar
Provsteori
Preferred term
Provsteori
Type
Innholdsbeskrivende emne
Broader concept
Filosofiske teoriar
Symbolsk logikk
Narrower concepts
Automatisk bevisføring
Matematisk bevisføring
Related concepts
Prov
Entry terms
Bevisteori
Identifier
HUME00688
In other languages
English
Proof theory
Norwegian Bokmål
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