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

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	So we have axiom 4 of S4.So intuitionistic S4 can be viewed as the logic we need to annotate types with information that tells the compiler what it can compute at compile time and what should be left until runtime.
http://www.w3.org/ns/prov#wasQuotedFrom	sigfpe.com