<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_new_brunswick> <http://schema.org/name> "International Conference on Automated Deduction (13 : 1996 : New Brunswick)" .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_new_brunswick> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_new_brunswick> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891631443#Place/new_brunswick_&lt_nj_1996&gt> <http://schema.org/name> "New Brunswick &lt;NJ, 1996&gt;." .
<http://experiment.worldcat.org/entity/work/data/891631443#Place/new_brunswick_&lt_nj_1996&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_new_brunswick_nj_1996_07_1996_08> <http://schema.org/name> "International Conference on Automated Deduction (New Brunswick (NJ)) (1996/07) (1996/08)" .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_new_brunswick_nj_1996_07_1996_08> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_new_brunswick_nj_1996_07_1996_08> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13th_1996_new_brunswick_n_j> <http://schema.org/name> "International Conference on Automated Deduction (13th : 1996 : New Brunswick, N.J.)" .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13th_1996_new_brunswick_n_j> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13th_1996_new_brunswick_n_j> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logica_simbolica_congressi_1996> <http://schema.org/name> "Logica simbolica - Congressi - 1996." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logica_simbolica_congressi_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatisches_beweisverfahren> <http://schema.org/name> "Automatisches Beweisverfahren." .
<http://experiment.worldcat.org/entity/work/data/891631443#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/891631443#Topic/logic_symbolic_and_mathematical> <http://schema.org/name> "Logic, Symbolic and mathematical." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logic_symbolic_and_mathematical> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_new_brunswick_nj_usa_1996> <http://schema.org/name> "International conference on Automated Deduction, 13., New Brunswick, NJ, USA, 1996." .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_new_brunswick_nj_usa_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_new_brunswick_nj_usa_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_temporelle> <http://schema.org/name> "logique temporelle." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_temporelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_new_brunswick_nueva_jersey> <http://schema.org/name> "International Conference on Automated Deduction (13. 1996. New Brunswick, Nueva Jersey)" .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_new_brunswick_nueva_jersey> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_new_brunswick_nueva_jersey> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/cade_13_13_1996_new_brunswick> <http://schema.org/name> "Cade-13 (13 ; 1996 ; New Brunswick)." .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/cade_13_13_1996_new_brunswick> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/cade_13_13_1996_new_brunswick> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logika_symboliczna_i_matematyczna_konferencje> <http://schema.org/name> "Logika symboliczna i matematyczna konferencje." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logika_symboliczna_i_matematyczna_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/cade_13_1996_07_30_08_03_new_brunswick_nj> <http://schema.org/name> "CADE (13 1996.07.30-08.03 New Brunswick, NJ)" .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/cade_13_1996_07_30_08_03_new_brunswick_nj> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/cade_13_1996_07_30_08_03_new_brunswick_nj> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/kongress> <http://schema.org/name> "Kongreß." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatic_theorem_proving> <http://schema.org/name> "Automatic theorem proving." .
<http://experiment.worldcat.org/entity/work/data/891631443#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/891631443#Topic/automatyczne_dowodzenie_twierdzen_konferencje> <http://schema.org/name> "Automatyczne dowodzenie twierdzeń konferencje." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatyczne_dowodzenie_twierdzen_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/deduction_automatique> <http://schema.org/name> "déduction automatique." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/deduction_automatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_symbolique_et_mathematique_congres> <http://schema.org/name> "Logique symbolique et mathématique Congrès." .
<http://experiment.worldcat.org/entity/work/data/891631443#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/891631443#Topic/programacion_logica_congresos_en_linea> <http://schema.org/name> "Programación lógica Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/programacion_logica_congresos_en_linea> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/congressi_new_brunswick_n_j_1996> <http://schema.org/name> "Congressi - New Brunswick, N.J. - 1996." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/congressi_new_brunswick_n_j_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logica_matematica_congressi_1996> <http://schema.org/name> "Logica matematica - Congressi - 1996." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logica_matematica_congressi_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/unification> <http://schema.org/name> "unification." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/unification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85008180> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/kongress> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/alternateName> "CADE-13" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction : CADE-13"@en .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_temporelle> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801012634> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/programacion_logica_congresos> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/demonstration_automatique_de_theoremes> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_07_30_08_03_new_brunswick_nj> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction Cade-13 : 13th International Conference on automated deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/846689970> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_intuitionniste> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2639008721> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891631443#Organization/cade_international_conference_on_automated_deduction_13_1996_new_brunswick_nj> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760579455> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_new_brunswick_nj_1996_07_1996_08> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logic_symbolic_and_mathematical> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction : CADE-13 : 13th international conference on automated deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630630367> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction, CADE-13 : 13th international conference on Automated Deduction : New Brunswick, NJ, USA : July 30-August 3, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://id.worldcat.org/fast/822777> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/889693536> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845510141> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85010111> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_new_brunswick_nueva_jersey> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2630630367> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Place/new_brunswick_&lt_nj_1996&gt> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatisches_beweisverfahren> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction, CADE-13 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction, CADE-13 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings"@en .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/dimostrazione_automatica_di_teoremi_congressi_1996> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatische_bewijsvoering> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logika_symboliczna_i_matematyczna_konferencje> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/demonstration_de_theoreme_congres> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logica_simbolica_congressi_1996> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/750971037> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/description> "\"This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.\"--PUBLISHER'S WEBSITE." .
<http://worldcat.org/entity/work/id/891631443> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/717822281> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/author> <http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_new_brunswick_nj_usa_1996> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logica_matematica_congressi_1996> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://id.worldcat.org/fast/817247> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996 ; proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2639008721> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/326678558> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_new_brunswick> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891631443#Organization/international_conference_on_automated_deduction> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891631443#Meeting/cade_13_1996_07_30_08_03_new_brunswick_nj> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891631443#Organization/cade> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logic_symbolic_and_mathematical_congresses> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/description> "This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area." .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007101477> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797756188> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13th_1996_new_brunswick_n_j> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/851790601> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/theoremes_demonstration_automatique_congres> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/440944495> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction - CADE-13" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/deduction_automatique> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/unification> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/891631443#Meeting/cade_13_13_1996_new_brunswick> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/911377502> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/theoremes_demonstration_automatique_congres_congres> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/induction> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatyczne_dowodzenie_twierdzen_konferencje> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473452891> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatic_theorem_proving> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/75749111> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction : proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_modale> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/workExample> <http://www.worldcat.org/oclc/35029668> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/programacion_logica_congresos_en_linea> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction - CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996 : proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2630630367> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008107112> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/congressi_new_brunswick_n_j_1996> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_new_brunswick> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated Deduction - Cade-13 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 - August 3, 1996 Proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/alternateName> "Automated deduction" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated Deduction -- Cade-13 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 - August 3, 1996 Proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_symbolique_et_mathematique_congres> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/genre> "Kongreß" .
<http://worldcat.org/entity/work/id/891631443> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/name> "Automated deduction, Cade-13 : 13th. International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996 : Proceedings" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/genre> "New Brunswick (NJ, 1996)" .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatic_theorem_proving_congresses> .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/alternateName> "CADE-13"@en .
<http://worldcat.org/entity/work/id/891631443> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatisches_beweisverfahren_kongress> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_intuitionniste> <http://schema.org/name> "logique intuitionniste." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_intuitionniste> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Organization/international_conference_on_automated_deduction> <http://schema.org/name> "International Conference on Automated Deduction" .
<http://experiment.worldcat.org/entity/work/data/891631443#Organization/international_conference_on_automated_deduction> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/demonstration_de_theoreme_congres> <http://schema.org/name> "démonstration de théorème [congrès]" .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/demonstration_de_theoreme_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/programacion_logica_congresos> <http://schema.org/name> "Programación lógica Congresos." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/programacion_logica_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_07_30_08_03_new_brunswick_nj> <http://schema.org/name> "International Conference on Automated Deduction (13 1996.07.30-08.03 New Brunswick, NJ)" .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_07_30_08_03_new_brunswick_nj> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13_1996_07_30_08_03_new_brunswick_nj> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891631443.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/891631443.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/891631443> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/theoremes_demonstration_automatique_congres> <http://schema.org/name> "Théorèmes Démonstration automatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/891631443#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/891631443#Topic/automatische_bewijsvoering> <http://schema.org/name> "Automatische bewijsvoering." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatische_bewijsvoering> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_modale> <http://schema.org/name> "logique modale." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_modale> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Organization/cade_international_conference_on_automated_deduction_13_1996_new_brunswick_nj> <http://schema.org/name> "CADE (International Conference on Automated Deduction, 13, 1996, New Brunswick, NJ)" .
<http://experiment.worldcat.org/entity/work/data/891631443#Organization/cade_international_conference_on_automated_deduction_13_1996_new_brunswick_nj> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatic_theorem_proving_congresses> <http://schema.org/name> "Automatic theorem proving Congresses." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatic_theorem_proving_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logic_symbolic_and_mathematical_congresses> <http://schema.org/name> "Logic, Symbolic and mathematical Congresses." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logic_symbolic_and_mathematical_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/theoremes_demonstration_automatique_congres_congres> <http://schema.org/name> "Théorèmes Démonstration automatique Congrès Congrès." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/theoremes_demonstration_automatique_congres_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/dimostrazione_automatica_di_teoremi_congressi_1996> <http://schema.org/name> "Dimostrazione automatica di teoremi - Congressi - 1996." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/dimostrazione_automatica_di_teoremi_congressi_1996> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Organization/cade> <http://schema.org/name> "CADE" .
<http://experiment.worldcat.org/entity/work/data/891631443#Organization/cade> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/demonstration_automatique_de_theoremes> <http://schema.org/name> "Démonstration automatique de théorèmes." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/demonstration_automatique_de_theoremes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/induction> <http://schema.org/name> "induction." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/induction> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatisches_beweisverfahren_kongress> <http://schema.org/name> "Automatisches Beweisverfahren Kongress." .
<http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatisches_beweisverfahren_kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .