<http://experiment.worldcat.org/entity/work/data/5952000.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/5952000.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/5952000> .
<http://experiment.worldcat.org/entity/work/data/5952000#Topic/computer_software> <http://schema.org/name> "Computer software." .
<http://experiment.worldcat.org/entity/work/data/5952000#Topic/computer_software> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/5952000#Topic/computer_hardware> <http://schema.org/name> "Computer hardware." .
<http://experiment.worldcat.org/entity/work/data/5952000#Topic/computer_hardware> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/workExample> <http://www.worldcat.org/oclc/50152961> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/workExample> <http://www.worldcat.org/oclc/680618634> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/workExample> <http://www.worldcat.org/oclc/59526025> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029534> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/5952000#Topic/computer_hardware> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029495> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/about> <http://id.worldcat.org/fast/872078> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/5952000#Topic/computer_software> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/about> <http://id.worldcat.org/fast/822777> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85010111> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/about> <http://id.worldcat.org/fast/1020008> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2723074341> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/contributor> <http://viaf.org/viaf/149181453> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/name> "An algebraic framework for modelling and verifying microprocessors using HOL"@en .
<http://worldcat.org/entity/work/id/5952000> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/about> <http://id.worldcat.org/fast/872527> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85084898> .
<http://worldcat.org/entity/work/id/5952000> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/nb2006027585> .
<http://worldcat.org/entity/work/id/5952000> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .