Skip to main
Skosmos
Vokabularer
Informasjon
Tilbakemelding
på nynorsk
in English
Norsk WebDewey
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
...
Naturvitenskap
Matematikk
Generelle matematiske prinsipper
Matematisk logikk (symbolsk logikk)
Bevisteori og konstruktiv matematikk
Automatisk teorembevis
Anbefalt term
511.36028563
Automatisk teorembevis
Overordnede begreper
511.36
Bevisteori og konstruktiv matematikk
Identifikator
ocd00145483
URI
http://dewey.info/class/511.36028563/e23/
Last ned dette begrepet
RDF/XML
TURTLE
JSON-LD
Opprettet 04.02.2010, sist endret 20.08.2025