Skip to main
Skosmos
Vokabular
Informasjon
Tilbakemelding
på bokmål
in English
Humord
We're sorry but Skosmos doesn't work properly without JavaScript enabled. Please enable it to continue.
Sidefelt: navigér i vokabularet
A-Å
Hierarki
Grupper
Nye
Realfag
Matematikk
Symbolsk logikk
Provsteori
Filosofi
Logikk
Symbolsk logikk
Provsteori
Filosofi
Filosofiske teoriar
Provsteori
Tilrådd term
Provsteori
Type
Innholdsbeskrivende emne
Overordna omgrep
Filosofiske teoriar
Symbolsk logikk
Underordna omgrep
Automatisk bevisføring
Matematisk bevisføring
Beslekta omgrep
Prov
Tilvisingsterm
Bevisteori
Identifikator
HUME00688
På andre språk
engelsk
Proof theory
norsk bokmål
Bevisteori
URI
http://data.ub.uio.no/humord/c00688
Last ned dette omgrepet
RDF/XML
TURTLE
JSON-LD
Oppretta 21.03.1994, sist endra 26.05.2025