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

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	Languages such as Java even have a degree of out-of-the-box static coverage-checking for such exceptions, which is currently not available for ML languages, at least not without resorting to external tools.
http://www.w3.org/ns/prov#wasQuotedFrom	lambda-the-ultimate.org