Skip to main
Skosmos
Vocabularies
About
Feedback
på bokmål
på nynorsk
Humord
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
Natural science and mathematics
Mathemathics
Symbolic logic
Software semantics
Philosophy
Logics
Symbolic logic
Software semantics
Preferred term
Software semantics
Type
Topic
Broader concept
Symbolic logic
Identifier
HUME64252
In other languages
Norwegian Bokmål
Programsemantikk
Norwegian Nynorsk
Programsemantikk
URI
http://data.ub.uio.no/humord/c64252
Download this concept
RDF/XML
TURTLE
JSON-LD
Created 3/11/24, last modified 3/11/24