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
Bevisteori
Filosofi
Logikk
Symbolsk logikk
Bevisteori
Filosofi
Filosofiske teorier
Bevisteori
Tilrådd term
Bevisteori
Type
Innholdsbeskrivende emne
Overordna omgrep
Filosofiske teorier
Symbolsk logikk
Underordna omgrep
Automatisk bevisføring
Matematisk bevisføring
Beslekta omgrep
Bevis
Identifikator
HUME00688
På andre språk
engelsk
Proof theory
norsk nynorsk
Provsteori
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