PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Nobody talks about ZFS meaning ZF withCantor's idea of size as opposed to ZFK meaning ZF with Kehr'sdefinition of size.>Thus in Set Theory any definition and any axiom can eventually be proven to>be false, or at least weak, meaning it only applies in a limited number of>cases, but not all cases.If there is a case where a definition does not apply, then it is not adefinition.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org