PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • It has a characteristic polynomial $\chi (X)=\chi _{\mu_a}(X)=det( XId-\mu_a) \in k[X]$ which, by Cayley-Hamilton's theorem, annihilates $\mu_a$ and hence also $a$. [Here is an example clarifying the last assertion.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com