Skip to main
Skosmos
Vokabularer
Informasjon
Tilbakemelding
på nynorsk
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 på ulike måter
A-Å
Hierarki
Grupper
Nye
Filosofi
Logikk
Symbolsk logikk
Provsteori
Realfag
Matematikk
Symbolsk logikk
Provsteori
Filosofi
Filosofiske teoriar
Provsteori
Anbefalt term
Provsteori
Type
Innholdsbeskrivende emne
Overordnede begreper
Filosofiske teoriar
Symbolsk logikk
Underordnede begreper
Automatisk bevisføring
Matematisk bevisføring
Relaterte begreper
Prov
Henvisningsterm
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 begrepet
RDF/XML
TURTLE
JSON-LD
Opprettet 21.03.1994, sist endret 26.05.2025