Humord
type: ConceptScheme

Bevisteori
type: Innholdsbeskrivende emne
type: Concept
narrower: Matematisk bevisføring
preferred label: Provsteori @nn
preferred label: Proof theory @en

Matematisk bevisføring
type: Concept
type: Innholdsbeskrivende emne
ccmapper candidates: 1
ccmapper state: accepted
created: 2024-04-02T00:00:00
modified: 2024-04-02T10:13:13
alternative label: Matematisk provføring @nn
alternative label: Proof techniques @en
alternative label: Bevisteknikk
alternative label: Provsteknikk @nn
broad match: e23
broader: Bevisteori
editorial note: Lukket bemerkning: ubo24
in scheme: Humord
mapping relation: e23
preferred label: Mathematical proofs @en

Innholdsbeskrivende emne
type: Class
label: Topic @en