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/
n5ucl.ac.
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:151312362
rdf:type
prov:Entity
prov:value
Building on our core research, part of the aim of the PPLV group is applied logic outreach, in areas such as program verification, artificial intelligence, security, biology, and economics.
prov:wasQuotedFrom
n5:uk
Subject Item
isap:407935827
prov:wasDerivedFrom
isa:151312362