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

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	... end in f fintg 3; f frealg 3.14 end However, in order to preserve the operational behavior of a program we have to restrict generalization of types in let for values.
http://www.w3.org/ns/prov#wasQuotedFrom	psu.edu