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

Kompletthetsproblemer
type: Concept
type: Innholdsbeskrivende emne
ccmapper candidates: 1
ccmapper state: accepted
created: 2024-02-29T00:00:00
modified: 2024-02-29T13:33:43
broad match: e23
broader: Symbolic logic
editorial note: Lukket bemerkning: ubo24
in scheme: Humord
mapping relation: e23
preferred label: Kompletthetsproblem @nn
preferred label: Completeness problems @en

Humord
type: ConceptScheme

Innholdsbeskrivende emne
type: Class
label: Topic @en