This HTML5 document contains 4 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
isaphttp://webisa.webdatacommons.org/prov/
isahttp://webisa.webdatacommons.org/
n4wordpress.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
isa:215046440
rdf:type
prov:Entity
prov:value
The big difference is that there is no explicit language of types as in other explicitly, statically and soundly typed languages such as ML, Haskell (I know about exceptions), all the way to Agda.
prov:wasQuotedFrom
n4:com
Subject Item
isap:141525349
prov:wasDerivedFrom
isa:215046440