<http://experiment.worldcat.org/entity/work/data/1931691000.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1931691000.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1931691000> .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logiciels_exactitude_congres> <http://schema.org/name> "Logiciels Exactitude Congrès." .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logiciels_exactitude_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1931691000#Meeting/symposium_on_logic_in_computer_science> <http://schema.org/name> "Symposium on Logic in Computer Science." .
<http://experiment.worldcat.org/entity/work/data/1931691000#Meeting/symposium_on_logic_in_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/1931691000#Meeting/symposium_on_logic_in_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/mathematische_logica> <http://schema.org/name> "Mathematische logica." .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/mathematische_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/informatica> <http://schema.org/name> "Informatica." .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1931691000#Organization/ieee_symposium_on_logic_in_computer_science> <http://schema.org/name> "IEEE Symposium on Logic in Computer Science." .
<http://experiment.worldcat.org/entity/work/data/1931691000#Organization/ieee_symposium_on_logic_in_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logique_symbolique_et_mathematique_congres> <http://schema.org/name> "Logique symbolique et mathématique Congrès." .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logique_symbolique_et_mathematique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logica> <http://schema.org/name> "Logica." .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/theoretische_informatica> <http://schema.org/name> "Theoretische informatica." .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/theoretische_informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logique_symbolique_et_mathematique_congres> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logiciels_exactitude_congres> .
<http://worldcat.org/entity/work/id/1931691000> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Periodical_literature> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/creator> <http://id.loc.gov/authorities/names/n86034513> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://id.worldcat.org/fast/872413> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logica> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/alternateName> "Logic in computer science" .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/alternateName> "Logic in computer science"@en .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/workExample> <http://www.worldcat.org/oclc/840019353> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/contributor> <http://viaf.org/viaf/133151241> .
<http://worldcat.org/entity/work/id/1931691000> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://id.worldcat.org/fast/872390> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n50054564> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1931691000#Topic/mathematische_logica> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/genre> "Electronic journals"@en .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/workExample> <http://www.worldcat.org/oclc/596437076> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007004295> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1931691000#Topic/informatica> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008107112> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/name> "Proceedings" .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/name> "Proceedings"@en .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/no00037063> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79018777> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/genre> "Congresverslag" .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008102934> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/genre> "Tijdschrift" .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/contributor> <http://viaf.org/viaf/142787442> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/workExample> <http://www.worldcat.org/oclc/900940714> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/author> <http://experiment.worldcat.org/entity/work/data/1931691000#Organization/ieee_symposium_on_logic_in_computer_science> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/creator> <http://viaf.org/viaf/150718461> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/contributor> <http://viaf.org/viaf/139825222> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/genre> "Periodicals"@en .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://id.worldcat.org/fast/906956> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/1931691000#Meeting/symposium_on_logic_in_computer_science> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/workExample> <http://www.worldcat.org/oclc/247513687> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1931691000#Topic/programmation_informatique_congres> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79018778> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/workExample> <http://www.worldcat.org/oclc/612221178> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1931691000#Topic/theoretische_informatica> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/workExample> <http://www.worldcat.org/oclc/24857261> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/contributor> <http://viaf.org/viaf/155801218> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/workExample> <http://www.worldcat.org/oclc/14153294> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n81058302> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/contributor> <http://viaf.org/viaf/133109056> .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/alternateName> "LICS"@en .
<http://worldcat.org/entity/work/id/1931691000> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029525> .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/programmation_informatique_congres> <http://schema.org/name> "Programmation (Informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/1931691000#Topic/programmation_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .