PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • These were, of course, the inaugural examples of forcing, soon to become a remarkably general and flexible method with strong intuitive underpinnings for extending models of set theory. 86 If Gsodel...
http://www.w3.org/ns/prov#wasQuotedFrom
  • psu.edu