PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • But all of these lead to contradictions: If 137 is a block, any block avoiding 1 and 3 contains 2 and 7, if 147 is a block, any block avoiding 1 and 4 contains 5 and 7, and if 347 is a block, any block avoiding 3 and 4 contains 6 and 7.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net