About: http://webisa.webdatacommons.org/454086960

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	On the other hand, ML provides just enough types to structure the AST's and basic datatypes for modeling environments, values and such, but without the complexities of the monadic types.
http://www.w3.org/ns/prov#wasQuotedFrom	lambda-the-ultimate.org