Hopp til hovedinnholdet.
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.
Browse concepts
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
Videre begreper i samme vokabular.
511.36
Bevisteori og konstruktiv matematikk
Identifikator
ocd00145483
Komponenter
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 begrepet
RDF/XML
TURTLE
JSON-LD
Opprettet 04.02.2010, sist endret 11.08.2020