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/
n4bartoszmilewski.
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:249594793
rdf:type
prov:Entity
prov:value
For instance, if you know how to compare values of basic types for equality, and you know how to generalize these comparisons to product and coproduct types, you can automate the derivation of equality operators for composite types.
prov:wasQuotedFrom
n4:com
Subject Item
isap:360297596
prov:wasDerivedFrom
isa:249594793