PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • ... (k ??? 2) chromatic numbers of planar graphs having maximum degree at most three and proved that for k = 2 eight colors suffice, whereas seven is the best possible.
http://www.w3.org/ns/prov#wasQuotedFrom
  • psu.edu