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

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	It doesn???t matter whether we have already declared a Nat type with constructors Z and S; we have to redeclare some empty types Z and S to represent our type-level natural number ???values???.
http://www.w3.org/ns/prov#wasQuotedFrom	wordpress.com