PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • I will provide a more-complete definition of ob.ap(f, x) in a forthcoming post, and the Frugalese notation being used will also be unfolded in later posts.] That is, the structure, ob-n is a program (or a sequence) of n ob.c's that has the effect of diminishing any ob (treated as a sequence) by removing the first n beads but no more than there are.
http://www.w3.org/ns/prov#wasQuotedFrom
  • miser-theory.info