Humord
type: ConceptScheme

Symbolic logic
type: Innholdsbeskrivende emne
type: Concept
narrower: Programsemantikk
preferred label: Symbolsk logikk

Programsemantikk
type: Concept
type: Innholdsbeskrivende emne
ccmapper candidates: 1
ccmapper state: accepted
created: 2024-03-11T00:00:00
modified: 2024-03-11T11:27:19
broad match: e23
broader: Symbolic logic
editorial note: Lukket bemerkning: ubo24
in scheme: Humord
mapping relation: e23
preferred label: Software semantics @en

Innholdsbeskrivende emne
type: Class
label: Topic @en