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
Natural science and mathematics
Mathemathics
Symbolic logic
Proof theory
Philosophy
Logics
Symbolic logic
Proof theory
Philosophy
Philosophical theories
Proof theory
Tilrådd term
Proof theory
Type
Topic
Overordna omgrep
Philosophical theories
Symbolic logic
Underordna omgrep
Automatic theorem proving
Mathematical proofs
Beslekta omgrep
Evidence
Identifikator
HUME00688
På andre språk
norsk bokmål
Bevisteori
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