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

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	The essential algorithm is elegant: given an expression in the form of an abstract syntax tree (AST), it recursively creates a tree of types in the expression, inserting placeholder ???type variables??? for all the unknowns.
http://www.w3.org/ns/prov#wasQuotedFrom	dysphoria.net