PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Well, the>> question is why there _is_ a _set_ S with the>> property that for every y, y is in S if and only>> if y is a subset of X.>>>> There is also no problem with>>>> R = {x : x is not an element of x},>>>> except of course there _are_ problems with that.>>Right.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org