Preferred term
511.36028563 Automatisk teorembevis
Broader concept
Broader conceptIdentifier
- ocd00145483
Components
Notation
Code that uniquely identifies a concept within a concept scheme.- 511.36028563
URI
http://dewey.info/class/511.36028563/e23/