PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • To take a different approach to the variety of ways in which you present QM (which all seem fine, but perhaps they miss the underlying structure), we compute expected values of an observable $O$ using the trace rule in QM, $E[O]=\mathsf{Tr}[\hat O\hat\rho]$, in which on one side there is an operator that represents a measurement and on the other side there is a density matrix that represents a sta
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com