PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • We observe that if each agent is endowed with each commodity , that is, , then it is possible to assume for all and (10) is verified for solution to (29).In fact, for all it results in , then Moreover, since is a solution to (12), for all , namely, Summing for it follows that
http://www.w3.org/ns/prov#wasQuotedFrom
  • hindawi.com