| 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.
|