Hopp til hovudinnhaldet
Vokabular
Informasjon
Tilbakemelding
på bokmål
in English
Norsk WebDewey
We're sorry but Skosmos doesn't work properly without JavaScript enabled. Please enable it to continue.
Browse concepts
Sidefelt: navigér i vokabularet
A-Å
Hierarki
Grupper
Nye
...
Naturvitenskap
Matematikk
Generelle matematiske prinsipper
Matematisk logikk (symbolsk logikk)
Bevisteori og konstruktiv matematikk
Automatisk teorembevis
Tilrådd term
511.36028563
Automatisk teorembevis
Overordna omgrep
Overordna omgrep
511.36
Bevisteori og konstruktiv matematikk
Identifikator
ocd00145483
Komponentar
511.36
Bevisteori og konstruktiv matematikk
http://dewey.info/class/1--028.5/e23/
http://dewey.info/class/1--006.3/e23/
URI
http://dewey.info/class/511.36028563/e23/
Last ned dette omgrepet
RDF/XML
TURTLE
JSON-LD
Oppretta 04.02.2010, sist endra 11.08.2020