PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The idea of going back two steps comes from the observation that winning $F_n$ exactly cancels the previous losses of $F_{n-1}+F_{n-2}$, so you are indeed in the same situation as you were two steps before, including your balance.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com