PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Your operator is an example of a general Laplace-type operator, which is a differential operator $L$ acting on a vector bundle $\mathcal{V}$ whose principal symbol is given by
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net