PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Let us say we have a n * n system of equations like KU=F where K is a n*n matrix and U and F are n*1 vectors.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net