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

Formelle modeller
type: Innholdsbeskrivende emne
type: Concept
ccmapper candidates: 1
ccmapper state: accepted
created: 2024-02-07T00:00:00
modified: 2024-02-07T12:07:45
broader: Symbolic logic
editorial note: Lukket bemerkning: ubo24
in scheme: Humord
mapping relation: e23
preferred label: Formal models @en
preferred label: Formelle modellar @nn

Humord
type: ConceptScheme

Innholdsbeskrivende emne
type: Class
label: Topic @en