PropertyValue
rdf:type
rdfs:label
  • Theorem
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Theorem
skos:altLabel
  • theorem
  • propositions
  • proposition
  • converse
  • corollary
  • Theorem terminology
  • Theorem#Terminology
  • Theorem#Theorems in logic
  • logical theorems
  • mathematical theorem
  • mathematical theorems
  • stated formally
  • theorem in the mathematical sense
  • theorems