<http://experiment.worldcat.org/entity/work/data/907409822.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/907409822.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/907409822> .
<http://experiment.worldcat.org/entity/work/data/907409822#Topic/parallelverarbeitung> <http://schema.org/name> "Parallelverarbeitung." .
<http://experiment.worldcat.org/entity/work/data/907409822#Topic/parallelverarbeitung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/907409822> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Thesis> .
<http://worldcat.org/entity/work/id/907409822> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/907409822#Topic/parallelverarbeitung> .
<http://worldcat.org/entity/work/id/907409822> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/907409822#Topic/programmierung> .
<http://worldcat.org/entity/work/id/907409822> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/907409822> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2641126597> .
<http://worldcat.org/entity/work/id/907409822> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/907409822#Topic/programmverifikation> .
<http://worldcat.org/entity/work/id/907409822> <http://schema.org/workExample> <http://www.worldcat.org/oclc/794525549> .
<http://worldcat.org/entity/work/id/907409822> <http://schema.org/workExample> <http://www.worldcat.org/oclc/844897661> .
<http://worldcat.org/entity/work/id/907409822> <http://schema.org/name> "An execution trace verification method on linearizability" .
<http://worldcat.org/entity/work/id/907409822> <http://schema.org/workExample> <http://www.worldcat.org/oclc/729353932> .
<http://worldcat.org/entity/work/id/907409822> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/907409822> <http://schema.org/author> <http://worldcat.org/entity/person/id/2641126597> .
<http://experiment.worldcat.org/entity/work/data/907409822#Topic/programmverifikation> <http://schema.org/name> "Programmverifikation." .
<http://experiment.worldcat.org/entity/work/data/907409822#Topic/programmverifikation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/907409822#Topic/programmierung> <http://schema.org/name> "Programmierung." .
<http://experiment.worldcat.org/entity/work/data/907409822#Topic/programmierung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .