PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In some of the models, e.g. Cohen's first model, every well-ordered $I$ where $\kappa_i$ are well-ordered for $i\in I$ has a non-empty product.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com