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

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	PVS, whose logic is a simple type theory extended with dependent types and subtyping (but without polymorphism), provides monolithic axiomatic packages for datatypes =-=[26]-=- and codatatypes [11].
http://www.w3.org/ns/prov#wasQuotedFrom	psu.edu