This HTML5 document contains 6 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/
n5lambda-the-ultimate.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
isap:240006543
prov:wasDerivedFrom
isa:454086960
Subject Item
isa:454086960
rdf:type
prov:Entity
prov:value
On the other hand, ML provides just enough types to structure the AST's and basic datatypes for modeling environments, values and such, but without the complexities of the monadic types.
prov:wasQuotedFrom
n5:org
Subject Item
isap:172050704
prov:wasDerivedFrom
isa:454086960
Subject Item
isap:204111372
prov:wasDerivedFrom
isa:454086960