PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • If two of the neighbors of v are colored with the same color, then there is a color available for v. So we may assume that all the vertices that are adjacent to v are colored with colors 1,2,3,4,5 in the clockwise order.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mcgill.ca