PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • but I have no clue how to deal with this k and how does this exactly work for example for this even function, environment looks like val evenk : int list -> (bool -> ???a) -> ???a = <fun>
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackoverflow.com