<https://kar.kent.ac.uk/81001/>	<http://purl.org/dc/elements/1.1/format>	"text/html" .
<https://kar.kent.ac.uk/81001/>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3> .
<https://kar.kent.ac.uk/81001/>	<http://xmlns.com/foaf/0.1/primaryTopic>	<https://kar.kent.ac.uk/id/eprint/81001> .
<https://kar.kent.ac.uk/81001/>	<http://purl.org/dc/elements/1.1/title>	"HTML Summary of #81001 \n\nReducing Bit-Vector Polynomials to SAT using Gr\u00F6bner Bases\n\n" .
<https://kar.kent.ac.uk/81001/>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3> .