<http://experiment.worldcat.org/entity/work/data/61311614#Topic/informatik> <http://schema.org/name> "Informatik." .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/informatik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/61311614.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/61311614.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/61311614> .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/mathematische_logik_informatik> <http://schema.org/name> "Mathematische Logik Informatik." .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/mathematische_logik_informatik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/logik> <http://schema.org/name> "Logik." .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/software_engineering> <http://schema.org/name> "Software Engineering." .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/software_engineering> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/mathematische_logik> <http://schema.org/name> "Mathematische Logik." .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/mathematische_logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/889228167> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/61311614#Topic/logische_programmierung> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2641818692> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/61311614#Topic/mathematische_logik_informatik> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/61311614#Topic/software_engineering> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/75211350> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/61311614#Topic/logik> .
<http://worldcat.org/entity/work/id/61311614> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/61311614#Topic/mathematische_logik> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/61311614#Topic/software> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/name> "Logik für software-ingenieure" .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/61311614#Topic/informatik> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/name> "Logik für Software-Ingenieure" .
<http://worldcat.org/entity/work/id/61311614> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2641818692> .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/logische_programmierung> <http://schema.org/name> "Logische Programmierung." .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/logische_programmierung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/software> <http://schema.org/name> "Software." .
<http://experiment.worldcat.org/entity/work/data/61311614#Topic/software> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .