PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Thus P diagonalizes A and B simultaneously. (This is an answer to Exercise 3 ,
http://www.w3.org/ns/prov#wasQuotedFrom
  • archive.org