Humord
type: ConceptScheme

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

Horn-logikk
type: Innholdsbeskrivende emne
type: Concept
ccmapper candidates: 1
ccmapper state: accepted
created: 2024-02-26T00:00:00
modified: 2024-02-26T09:31:55
alternative label: Horn clause @en
broad match: e23
broader: Symbolic logic
definition: Innen matematisk logikk og logisk programmering er en Horn-logikk en logisk formel av en spesiell regelliknende form som gir den nyttige egenskaper for bruk i logisk programmering, formell spesifikasjon, universell algebra og modellteori.<wikipedia>
editorial note: Lukket bemerkning: ubo24
in scheme: Humord
mapping relation: e23
preferred label: Horn logic @en

Innholdsbeskrivende emne
type: Class
label: Topic @en