PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • It is open, for example, to show that there is a problem solvable in deterministic time that cannot be solved by circuits of size, say, .
http://www.w3.org/ns/prov#wasQuotedFrom
  • wordpress.com