PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Computational irreducibility is a ???junior version of undecidability,??? which is the idea that when you ask the question of what will ultimately happen, the answer is undecidable, according to Wolfram, who created computational tools such as Mathematica and Wolfram Alpha.
http://www.w3.org/ns/prov#wasQuotedFrom
  • acm.org