<http://experiment.worldcat.org/entity/work/data/13056389#Topic/logica> <http://schema.org/name> "Logica." .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/theorie_categorie> <http://schema.org/name> "theorie categorie." .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/theorie_categorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13056389#Organization/ieee_computer_society> <http://schema.org/name> "IEEE Computer Society." .
<http://experiment.worldcat.org/entity/work/data/13056389#Organization/ieee_computer_society> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/demonstration_theoreme> <http://schema.org/name> "demonstration theoreme." .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/demonstration_theoreme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/logique_lineaire> <http://schema.org/name> "logique lineaire." .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/logique_lineaire> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/concurrence> <http://schema.org/name> "concurrence." .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/concurrence> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/logisch_programmeren> <http://schema.org/name> "Logisch programmeren." .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/logisch_programmeren> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/informatique_mathematiques_congres> <http://schema.org/name> "Informatique Mathématiques Congrès." .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/informatique_mathematiques_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/modele_fini> <http://schema.org/name> "modele fini." .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/modele_fini> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13056389#Topic/modele_fini> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13056389#Topic/logisch_programmeren> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13056389#Topic/informatique_mathematiques_congres> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13056389#Topic/logica> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101221> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79018777> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/13056389#Organization/university_of_indiana_bloomington> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/name> "Logic in computer science : proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana"@en .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/alternateName> "Thirteenth Annual IEEE Symposium on Logic in Computer Science"@en .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/alternateName> "1998 IEEE 13th Annual Symposium on Logic in Computer Science"@en .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13056389#Topic/concurrence> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/alternateName> "LICS'98"@en .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13056389#Topic/demonstration_theoreme> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/name> "Logic in computer science proceedings : Thirteenth Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana"@en .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008107112> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/name> "Logic in computer science proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana"@en .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85042295> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/workExample> <http://www.worldcat.org/oclc/326225608> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://id.worldcat.org/fast/872460> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/13056389#Organization/indiana_university_bloomington> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/name> "Thirteenth annual IEEE symposium on logic in computer science"@en .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/workExample> <http://www.worldcat.org/oclc/54379964> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13056389#Topic/logique_lineaire> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/alternateName> "Proceedings, 13th Annual IEEE Symposium on Logic in Computer Science"@en .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/13056389#Organization/ieee_computer_society> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13056389#Topic/fundamentele_informatica> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/name> "Logic in computer science : proceedings : Thirteenth Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana"@en .
<http://worldcat.org/entity/work/id/13056389> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/alternateName> "13th Annual IEEE Symposium on Logic in Computer Science"@en .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13056389#Topic/logique_symbolique_et_mathematique_congres> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/13056389#Meeting/symposium_on_logic_in_computer_science_13th_1998_indianapolis_indiana> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13056389#Topic/logique> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/workExample> <http://www.worldcat.org/oclc/862242441> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/13056389#Meeting/symposium_on_logic_in_computer_science_13th_1998_indianapolis_ind> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/13056389> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/contributor> <http://viaf.org/viaf/155801218> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/workExample> <http://www.worldcat.org/oclc/39486982> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/workExample> <http://www.worldcat.org/oclc/846525815> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13056389#Topic/theorie_type> .
<http://worldcat.org/entity/work/id/13056389> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13056389#Topic/theorie_categorie> .
<http://experiment.worldcat.org/entity/work/data/13056389#Meeting/symposium_on_logic_in_computer_science_13th_1998_indianapolis_ind> <http://schema.org/name> "Symposium on Logic in Computer Science (13th : 1998 : Indianapolis, Ind.)" .
<http://experiment.worldcat.org/entity/work/data/13056389#Meeting/symposium_on_logic_in_computer_science_13th_1998_indianapolis_ind> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/13056389#Meeting/symposium_on_logic_in_computer_science_13th_1998_indianapolis_ind> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/13056389#Meeting/symposium_on_logic_in_computer_science_13th_1998_indianapolis_indiana> <http://schema.org/name> "Symposium on Logic in Computer Science (13th : 1998 : Indianapolis, Indiana)" .
<http://experiment.worldcat.org/entity/work/data/13056389#Meeting/symposium_on_logic_in_computer_science_13th_1998_indianapolis_indiana> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/13056389#Meeting/symposium_on_logic_in_computer_science_13th_1998_indianapolis_indiana> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/13056389.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/13056389.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/13056389> .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/fundamentele_informatica> <http://schema.org/name> "Fundamentele informatica." .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/fundamentele_informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13056389#Organization/university_of_indiana_bloomington> <http://schema.org/name> "University of Indiana, Bloomington." .
<http://experiment.worldcat.org/entity/work/data/13056389#Organization/university_of_indiana_bloomington> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/13056389#Organization/indiana_university_bloomington> <http://schema.org/name> "Indiana University, Bloomington." .
<http://experiment.worldcat.org/entity/work/data/13056389#Organization/indiana_university_bloomington> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/theorie_type> <http://schema.org/name> "theorie type." .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/theorie_type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/logique_symbolique_et_mathematique_congres> <http://schema.org/name> "Logique symbolique et mathématique Congrès." .
<http://experiment.worldcat.org/entity/work/data/13056389#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/13056389#Topic/logique> <http://schema.org/name> "logique." .
<http://experiment.worldcat.org/entity/work/data/13056389#Topic/logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .