i71412
type: Concept
is in mapping relation with: {proof}
definition: a formal series of statements showing that if one thing is true something else necessarily follows from it
linked concept: {proof}
is in semantic relation with: {proof}
Source: <http://wordnet-rdf.princeton.edu/wn30/06647614-n>
note: a formal series of statements showing that if one thing is true something else necessarily follows from it

type

is in mapping relation with

definition

has close match

linked concept
label: forbundet begreb @da

has exact match

is in semantic relation with

Source

note
label: bemærkning @da