PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • To do this, note that is a finite -algebra, i.e. finite as a module, thanks to the direct image theorem.
http://www.w3.org/ns/prov#wasQuotedFrom
  • wordpress.com