Skip to main
Skosmos
Vocabularies
About
Feedback
på bokmål
på nynorsk
Norsk WebDewey
We're sorry but Skosmos doesn't work properly without JavaScript enabled. Please enable it to continue.
Sidebar listing: list and traverse vocabulary contents by a criterion
A-Z
Hierarchy
Groups
New
...
Naturvitenskap
Matematikk
Generelle matematiske prinsipper
Matematisk logikk (symbolsk logikk)
Bevisteori og konstruktiv matematikk
Automatisk teorembevis
Preferred term
511.36028563
Automatisk teorembevis
Broader concept
511.36
Bevisteori og konstruktiv matematikk
Identifier
ocd00145483
Notation
511.36028563
URI
http://dewey.info/class/511.36028563/e23/
Download this concept
RDF/XML
TURTLE
JSON-LD
Created 2/4/10, last modified 8/20/25