PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • However, there is an interesting detail about cubic equations: It is expected that a very general cubic fourfold is unirational but not rational, but I believe this has not been proven yet.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net