<http://experiment.worldcat.org/entity/work/data/899960146#Topic/raisonnement_informatique> <http://schema.org/name> "Raisonnement (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/raisonnement_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/computer_informatica_automatisering> <http://schema.org/name> "Computer. Informatica. Automatisering." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/computer_informatica_automatisering> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/automatic_theorem_proving> <http://schema.org/name> "Automatic theorem proving." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/automatic_theorem_proving> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/programmeren_informatica> <http://schema.org/name> "programmeren (informatica)" .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/programmeren_informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/programmierlogik> <http://schema.org/name> "Programmierlogik." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/programmierlogik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/logica_computacional_congresos_conferencias_etc> <http://schema.org/name> "Lógica computacional Congresos, conferencias, etc." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/logica_computacional_congresos_conferencias_etc> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2001_2001_sydney_n_s_w> <http://schema.org/name> "IJCAR 2001 (2001 : Sydney, N.S.W.)" .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2001_2001_sydney_n_s_w> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2001_2001_sydney_n_s_w> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/899960146#Organization/ijcar_&lt_4_2008_sydney&gt> <http://schema.org/name> "IJCAR &lt;4, 2008, Sydney&gt;" .
<http://experiment.worldcat.org/entity/work/data/899960146#Organization/ijcar_&lt_4_2008_sydney&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/computer_logic> <http://schema.org/name> "Computer logic." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/computer_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/logics_and_meanings_of_programs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/robots> <http://schema.org/name> "robots." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/robots> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/wiskunde> <http://schema.org/name> "wiskunde." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/wiskunde> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/software_engineering> <http://schema.org/name> "Software Engineering." .
<http://experiment.worldcat.org/entity/work/data/899960146#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/899960146#Topic/software_engineering> <http://schema.org/name> "software engineering." .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/description> "This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol verification, system descriptions, modal logics, description logics, equational theories, theorem proving, CASC, the 4th IJCAR ATP system competition, logical frameworks, and tree automata."@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_australie> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Place/sydney_&lt_2008&gt> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/alternateName> "IJCAR 2008" .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/alternateName> "IJCAR 2008"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2627155956> .
<http://worldcat.org/entity/work/id/899960146> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2716425382> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated reasoning 4th international joint conference, IJCAR 2008, Sidney, Australia, August 12-15, 2008 : proceedings" .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/logica> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/author> <http://worldcat.org/entity/person/id/2627155956> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/899960146#Organization/ijcar_&lt_4_2008_sydney&gt> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/electronic_books> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated reasoning : 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/computer_informatica_automatisering> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/automatic_theorem_proving> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/664121929> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/wiskunde> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2627557305> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/software_engineering> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_conference_4th_2008_sydney_n_s_w> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/informatique> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/506488979> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/310622199> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/899960146#Organization/springerlink_online_service> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/827361497> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/author> <http://worldcat.org/entity/person/id/2639467630> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/263410402> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/288565700> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/raisonnement_informatique> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/theoretische_informatica> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/265034159> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/artificial_intelligence_incl_robotics> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated Reasoning fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated Reasoning"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated Reasoning fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings" .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/programmierlogik> .
<http://worldcat.org/entity/work/id/899960146> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/computer_science> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/theoremes_demonstration_automatique_congres> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/880320566> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/genre> "Online-Publikation" .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/710010641> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_aug_12_15_sydney_australia> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated reasoning 4th international joint conference ; proceedings" .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/demonstration_de_theoreme_intelligence_artificielle_raisonnement_congres> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2627155956> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://id.worldcat.org/fast/822777> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated reasoning fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings" .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/468207923> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated reasoning 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/493744184> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/author> <http://worldcat.org/entity/person/id/2679757318> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/315966622> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/logique_informatique_congres> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/author> <http://worldcat.org/entity/person/id/2627557305> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_australia> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings" .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_australia> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/899960146#Meeting/international_joint_conference_on_automated_reasoning_4th_2008> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://id.worldcat.org/fast/872265> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/genre> "Sydney (2008)"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/computer_logic> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/logica_computacional_congresos_conferencias_etc> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Nsw, Australia, August 12-15, 2008 : proceedings"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007101477> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated reasoning fourth international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/logik> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2639467630> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2009121216> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/mathematical_logic_and_formal_languages> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/496767345> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/901651288> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/author> <http://worldcat.org/entity/person/id/2634494943> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634494943> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/genre> "Kongress"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85008180> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/automatisches_beweisverfahren> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/251865803> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings" .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/name> "Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/artificiele_intelligentie_robotica_simulatie_graphics> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/programmeren_informatica> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/759003602> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2639467630> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2001_2001_sydney_n_s_w> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/beweistheorie> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_n_s_w> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/robots> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/mathematische_logica> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/genre> "Conference proceedings"@en .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://id.worldcat.org/fast/817247> .
<http://worldcat.org/entity/work/id/899960146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/899960146#Topic/demostracion_automatica_de_teoremas_congresos_conferencias_etc> .
<http://experiment.worldcat.org/entity/work/data/899960146#Place/sydney_&lt_2008&gt> <http://schema.org/name> "Sydney &lt;2008&gt;" .
<http://experiment.worldcat.org/entity/work/data/899960146#Place/sydney_&lt_2008&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/mathematical_logic_and_formal_languages> <http://schema.org/name> "Mathematical Logic and Formal Languages." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/mathematical_logic_and_formal_languages> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/electronic_books> <http://schema.org/name> "Electronic books." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/electronic_books> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_n_s_w> <http://schema.org/name> "IJCAR 2008 (2008 : Sydney, N.S.W.)" .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_n_s_w> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_n_s_w> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/artificial_intelligence_incl_robotics> <http://schema.org/name> "Artificial Intelligence (incl. Robotics)" .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/artificial_intelligence_incl_robotics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/artificial_intelligence_incl_robotics> <http://schema.org/name> "Artificial Intelligence (incl. Robotics)." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/artificiele_intelligentie_robotica_simulatie_graphics> <http://schema.org/name> "Artificiële intelligentie. Robotica. Simulatie. Graphics." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/artificiele_intelligentie_robotica_simulatie_graphics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_australia> <http://schema.org/name> "IJCAR 2008 (2008 : Sydney, Australia)" .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_australia> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_australia> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_australia> <http://schema.org/name> "IJCAR 2008 (2008 (Sydney, Australia) )" .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_conference_4th_2008_sydney_n_s_w> <http://schema.org/name> "IJCAR (Conference) (4th : 2008 : Sydney, N.S.W.)" .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_conference_4th_2008_sydney_n_s_w> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_conference_4th_2008_sydney_n_s_w> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/informatique> <http://schema.org/name> "Informatique." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/mathematische_logica> <http://schema.org/name> "Mathematische logica." .
<http://experiment.worldcat.org/entity/work/data/899960146#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/899960146#Topic/logica> <http://schema.org/name> "logica." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Organization/springerlink_online_service> <http://schema.org/name> "SpringerLink (Online service)" .
<http://experiment.worldcat.org/entity/work/data/899960146#Organization/springerlink_online_service> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/demonstration_de_theoreme_intelligence_artificielle_raisonnement_congres> <http://schema.org/name> "démonstration de théorème intelligence artificielle raisonnement [congrès]" .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/demonstration_de_theoreme_intelligence_artificielle_raisonnement_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/demostracion_automatica_de_teoremas_congresos_conferencias_etc> <http://schema.org/name> "Demostración automática de teoremas Congresos, conferencias, etc." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/demostracion_automatica_de_teoremas_congresos_conferencias_etc> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_aug_12_15_sydney_australia> <http://schema.org/name> "IJCAR 2008 (2008 Aug. 12-15 : Sydney, Australia)" .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_aug_12_15_sydney_australia> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_aug_12_15_sydney_australia> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/theoretische_informatica> <http://schema.org/name> "Theoretische informatica." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/theoretische_informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_australie> <http://schema.org/name> "IJCAR 2008 (2008 : Sydney, Australie)" .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_australie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/ijcar_2008_2008_sydney_australie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/logique_informatique_congres> <http://schema.org/name> "Logique informatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/logique_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/899960146.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/899960146> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/automatisches_beweisverfahren> <http://schema.org/name> "Automatisches Beweisverfahren." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/automatisches_beweisverfahren> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/theoremes_demonstration_automatique_congres> <http://schema.org/name> "Théorèmes Démonstration automatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/theoremes_demonstration_automatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/logik> <http://schema.org/name> "Logik." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/beweistheorie> <http://schema.org/name> "Beweistheorie." .
<http://experiment.worldcat.org/entity/work/data/899960146#Topic/beweistheorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/international_joint_conference_on_automated_reasoning_4th_2008> <http://schema.org/name> "International Joint Conference on Automated Reasoning (4th : 2008)." .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/international_joint_conference_on_automated_reasoning_4th_2008> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/899960146#Meeting/international_joint_conference_on_automated_reasoning_4th_2008> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .