<http://experiment.worldcat.org/entity/work/data/862941723#Topic/intel_ligencia_artificial> <http://schema.org/name> "Intel·ligència artificial." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/intel_ligencia_artificial> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Organization/springerlink_service_en_ligne> <http://schema.org/name> "SpringerLink (Service en ligne)" .
<http://experiment.worldcat.org/entity/work/data/862941723#Organization/springerlink_service_en_ligne> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/automatyczne_dowodzenie_twierdzen_konferencje> <http://schema.org/name> "Automatyczne dowodzenie twierdzeń konferencje." .
<http://experiment.worldcat.org/entity/work/data/862941723#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/862941723#Topic/automatic_theorem_proving_congresses> <http://schema.org/name> "Automatic theorem proving, Congresses." .
<http://experiment.worldcat.org/entity/work/data/862941723#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/862941723#Topic/automatic_theorem_proving_congresses> <http://schema.org/name> "Automatic theorem proving Congresses." .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_versailles_1968> <http://schema.org/name> "Symposium on Automatic Demonstration, Versailles, 1968." .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_versailles_1968> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_versailles_1968> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_versailles_1968> <http://schema.org/name> "Symposium on automatic demonstration, Versailles, 1968." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/teoremes_deduccio_i_demostracio_congressos> <http://schema.org/name> "Teoremes Deducció i demostració Congressos." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/teoremes_deduccio_i_demostracio_congressos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/teoremas_demostracion_automatica_congresos_y_asambleas> <http://schema.org/name> "Teoremas demostración automática congresos y asambleas." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/teoremas_demostracion_automatica_congresos_y_asambleas> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/dimostrazione_automatica_di_teoremi_congressi_1968> <http://schema.org/name> "Dimostrazione automatica di teoremi - Congressi - 1968." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/dimostrazione_automatica_di_teoremi_congressi_1968> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Organization/symposium_on_automatic_demonstration_&lt_1968_versailles&gt> <http://schema.org/name> "Symposium on Automatic Demonstration. &lt;1968, Versailles&gt;." .
<http://experiment.worldcat.org/entity/work/data/862941723#Organization/symposium_on_automatic_demonstration_&lt_1968_versailles&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/colloque_international_sur_la_demonstration_automatique_1968_versailles_france> <http://schema.org/name> "Colloque international sur la démonstration automatique (1968 : Versailles, France)" .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/colloque_international_sur_la_demonstration_automatique_1968_versailles_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/colloque_international_sur_la_demonstration_automatique_1968_versailles_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versalles> <http://schema.org/name> "Symposium on Automatic Demonstration, (1968. Versalles)" .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versalles> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versalles> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_versalles_1968> <http://schema.org/name> "Symposium on Automatic Demonstration (Versalles) : 1968)" .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_versalles_1968> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_versalles_1968> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/862941723#Organization/symposium_on_automatic_demonstration> <http://schema.org/name> "Symposium on Automatic Demonstration" .
<http://experiment.worldcat.org/entity/work/data/862941723#Organization/symposium_on_automatic_demonstration> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/automatyczne_dowodzenie_twierdzen> <http://schema.org/name> "Automatyczne dowodzenie twierdzeń." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/automatyczne_dowodzenie_twierdzen> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/inteligencia_artificial_congresos_y_asambleas> <http://schema.org/name> "Inteligencia artificial congresos y asambleas." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/inteligencia_artificial_congresos_y_asambleas> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/logica_matematica_congressi_1968> <http://schema.org/name> "Logica matematica - Congressi - 1968." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/logica_matematica_congressi_1968> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/mathematiques_informatique_congres> <http://schema.org/name> "Mathématiques Informatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/mathematiques_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versalles_francia> <http://schema.org/name> "Symposium on Automatic Demonstration (1968. Versalles, Francia)" .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versalles_francia> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versalles_francia> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/862941723#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/862941723#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/862941723#Meeting/symposium_on_automatic_demonstration_1968_versailles_france> <http://schema.org/name> "Symposium on Automatic Demonstration (1968 : Versailles, France)" .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versailles_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versailles_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/commande_automatique> <http://schema.org/name> "Commande automatique." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/commande_automatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/862941723.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/862941723> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/metamathematik> <http://schema.org/name> "Metamathematik." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/metamathematik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on automatic demonstration held at Versailles, December 1968 [organised by the French Institut de recherche en informatique et en automatique]" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/862941723#Meeting/colloque_international_sur_la_demonstration_automatique_1968_versailles_yvelines> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/644384044> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on automatic demonstration : held at Versailles/France, December 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/502495775> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007101477> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_versailles_1968> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/610012116> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/commande_automatique> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on Automatic Demonstration"@en .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on Automatic Demonstration" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/metamathematik> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/874008588> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85010111> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versalles_francia> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/601514339> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://id.worldcat.org/fast/1012163> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on Automatic Demonstration held at Versailles/France, December 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2690916663> .
<http://worldcat.org/entity/work/id/862941723> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on automatic demonstration - held at versailles, france, december 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/logica_matematica> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/genre> "Conference proceedings"@en .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/423252929> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on Automatic Demonstration : held at Versailles/France, December 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on automatic demonstration : held in Versailles/France, december 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/908968721> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/489617401> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636792591> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2638047008> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/878745873> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/771383843> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/alternateName> "Automatic demonstration" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/matematica> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on Automatic Demonstration Held at Versailles/France, December 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/67589628> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versalles> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/868613315> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/automatic_theorem_proving_congresses> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on automatic demonstration, held at Versailles/France, December 1968"@en .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/859806893> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "symposium on automatic demonstration - held at versailles/france december 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/teoremes_deduccio_i_demostracio_congressos> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2735978271> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on automatic demonstration held at Versailles, France, December 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on Automatic Demonstration held at Versailles, France, december 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2635920739> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/contributor> <http://viaf.org/viaf/167497650> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on Automatic Demonstration : Held at : Versailles, France, December 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on Automatic Demonstration held at Versilles/France, December 1968"@en .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/295010237> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on Automatic Demonstration : held at Versailles, France, Dec. 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/logica_simbolica_y_matematica_congresos> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2642942872> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801002714> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/theoremes_demonstration_automatique_congres> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/804634542> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/dimostrazione_automatica_di_teoremi_congressi_1968> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/genre> "Llibres electrònics" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versailles> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/310800581> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2635920739> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2627887864> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/802777494> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2627887864> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/250172558> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://id.worldcat.org/fast/822777> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/802898827> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/logica_matematica_congressi_1968> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2744183805> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on Automatic Demonstration : Held at Versailles/France, December 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/teoremas_demostracion_automatica_congresos_y_asambleas> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2635920739> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/mathematische_logik> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/intel_ligencia_artificial> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/genre> "Materiały konferencyjne" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_wersal> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/718258829> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/congressi_versailles_1968> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on automatic demonstration" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/472064970> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on automatic demonstration held at Versailles/France, December 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797639037> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/114071> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/862941723#Organization/symposium_on_automatic_demonstration_&lt_1968_versailles&gt> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/862941723#Organization/springerlink_service_en_ligne> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/theoremes_demonstration_automatique_congres_congres> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on Automatic Demonstration : held at Versailles-France, December 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/862941723#Meeting/colloque_international_sur_la_demonstration_automatique_1968_versailles_france> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/850842694> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on automatic demonstration : held at Versailles, France, December 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/inteligencia_artificial_congresos_y_asambleas> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85082139> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2690916663> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/name> "Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2664932544> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/440600305> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_versalles_1968> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versailles> .
<http://worldcat.org/entity/work/id/862941723> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versailles_france> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/864256609> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/automatyczne_dowodzenie_twierdzen_konferencje> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/862941723#Organization/symposium_on_automatic_demonstration> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/mathematiques_informatique_congres> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/316678600> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2664932544> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/teoremes_demostracio_automatica_congressos> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/workExample> <http://www.worldcat.org/oclc/837992337> .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/genre> "Congressi" .
<http://worldcat.org/entity/work/id/862941723> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941723#Topic/automatyczne_dowodzenie_twierdzen> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/colloque_international_sur_la_demonstration_automatique_1968_versailles_yvelines> <http://schema.org/name> "Colloque international sur la démonstration automatique (1968 ; Versailles, Yvelines)." .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/colloque_international_sur_la_demonstration_automatique_1968_versailles_yvelines> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/colloque_international_sur_la_demonstration_automatique_1968_versailles_yvelines> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/logica_matematica> <http://schema.org/name> "Lògica matemàtica." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/logica_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/logica_matematica> <http://schema.org/name> "Lògica matemàtica" .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/teoremes_demostracio_automatica_congressos> <http://schema.org/name> "Teoremes Demostració automàtica Congressos." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/teoremes_demostracio_automatica_congressos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/mathematische_logik> <http://schema.org/name> "Mathematische Logik." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/mathematische_logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/matematica> <http://schema.org/name> "Matemàtica." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/theoremes_demonstration_automatique_congres> <http://schema.org/name> "Théorèmes Démonstration automatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/862941723#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/862941723#Topic/congressi_versailles_1968> <http://schema.org/name> "Congressi - Versailles - 1968." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/congressi_versailles_1968> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versailles> <http://schema.org/name> "Symposium on Automatic Demonstration (1968 : Versailles)" .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versailles> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versailles> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_versailles> <http://schema.org/name> "Symposium on Automatic Demonstration (1968) (Versailles)" .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_wersal> <http://schema.org/name> "Symposium on Automatic Demonstration (1968 ; Wersal)." .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_wersal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/862941723#Meeting/symposium_on_automatic_demonstration_1968_wersal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/logica_simbolica_y_matematica_congresos> <http://schema.org/name> "Lógica simbólica y matemática Congresos." .
<http://experiment.worldcat.org/entity/work/data/862941723#Topic/logica_simbolica_y_matematica_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .