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

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	Elphin does not support dependent types and deals solely with issues of higher-order abstract syntax (HOAS) and is significantly different than the Delphin system.
http://www.w3.org/ns/prov#wasQuotedFrom	yale.edu