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

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

Namespace Prefixes

PrefixIRI
foafhttp://xmlns.com/foaf/0.1/
n7https://kar.kent.ac.uk/id/eprint/
wdrshttp://www.w3.org/2007/05/powder-s#
dchttp://purl.org/dc/elements/1.1/
n5https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n2https://kar.kent.ac.uk/73527/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n4https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/

Statements

Subject Item
n2:
dc:title
HTML Summary of #73527 Towards Automated Reasoning in Herbrand Structures
wdrs:describedby
n4:export_kar_RDFN3.n3 n5:export_kar_RDFN3.n3
dc:format
text/html
foaf:primaryTopic
n7:73527