PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • First is a property which again seems typical of $3$ dimensional gamma matrices that, $\gamma_3^{\mu \dagger} \gamma_3 ^0 = -\gamma_3^0\gamma_3^\mu$ Secondly I need to assume the following variation for the fermion self-coupling, $\delta (\bar{\lambda} \lambda) = 2\delta (\bar{\lambda}) \lambda$ It is not clear to me as to why should the above hold.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com