PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For any fnite Borel coloring of al l label led K-partitions of ? there is a fixed label led ?-partition of ? such that the set of al l of its reductions, i.e. label led K-partitions of ? which result from putting pieces of the ?xed partition together, is monochromatic.
http://www.w3.org/ns/prov#wasQuotedFrom
  • utoronto.ca