PropertyValue
rdf:type
rdfs:label
  • Sentence (mathematical logic)
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Sentence (mathematical logic)
skos:altLabel
  • sentences
  • sentence
  • closed formula
  • ''σ''-sentence
  • closed formulae (or logical sentence)
  • open formula
  • sentences in mathematical logic