<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_2006_5_2006_08_11_12_wokingham> <http://schema.org/name> "MKM 2006 (5 : 2006.08.11-12 : Wokingham)" .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_2006_5_2006_08_11_12_wokingham> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_2006_5_2006_08_11_12_wokingham> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5_2006_08_11_12_wokingham> <http://schema.org/name> "International Conference on Mathematical Knowledge Management (5 : 2006.08.11-12 : Wokingham)" .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5_2006_08_11_12_wokingham> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5_2006_08_11_12_wokingham> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_conference_5th_2006_wokingham_england> <http://schema.org/name> "MKM (Conference) (5th : 2006 : Wokingham, England)" .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_conference_5th_2006_wokingham_england> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_conference_5th_2006_wokingham_england> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_retrieval> <http://schema.org/name> "Information Retrieval." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_retrieval> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematique_discrete> <http://schema.org/name> "Mathématique discrète." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematique_discrete> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/web_semantique> <http://schema.org/name> "web sémantique." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/web_semantique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/expertensystem> <http://schema.org/name> "Expertensystem." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/expertensystem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5th_2006> <http://schema.org/name> "International Conference on Mathematical Knowledge Management (5th : 2006)." .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5th_2006> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5th_2006> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/informacion_almacenamiento_y_recuperacion_congresos_en_linea> <http://schema.org/name> "Información Almacenamiento y recuperación Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/informacion_almacenamiento_y_recuperacion_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/321969833#Topic/informatique> <http://schema.org/name> "Informatique." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Organization/springerlink_service_en_ligne> <http://schema.org/name> "SpringerLink (Service en ligne)" .
<http://experiment.worldcat.org/entity/work/data/321969833#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/321969833#Topic/ordenadores_matematicas_congresos_libros_electronicos> <http://schema.org/name> "Ordenadores Matemáticas Congresos Libros electrónicos." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/ordenadores_matematicas_congresos_libros_electronicos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/logique_formelle> <http://schema.org/name> "logique formelle." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/logique_formelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/sistemas_de_informacion_congresos_libros_electronicos> <http://schema.org/name> "Sistemas de información Congresos Libros electrónicos." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/sistemas_de_informacion_congresos_libros_electronicos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/321969833#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/321969833#Topic/mathematics_data_processing> <http://schema.org/name> "Mathematics Data processing." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematics_data_processing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/workExample> <http://www.worldcat.org/oclc/476057459> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.worldcat.org/fast/1012179> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/workExample> <http://www.worldcat.org/oclc/496485079> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007101477> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/name> "Mathematical knowledge management : 5th International Conference, MKM 2006 : Wokingham, UK, August 11-12, 2006 : proceedings" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/name> "Mathematical knowledge management 5th international conference : proceedings" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/workExample> <http://www.worldcat.org/oclc/912408873> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_storage_and_retrieval> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/database_management> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/workExample> <http://www.worldcat.org/oclc/652682640> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/workExample> <http://www.worldcat.org/oclc/780980714> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/demonstration_automatique_de_theoremes> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/workExample> <http://www.worldcat.org/oclc/743288928> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/name> "Mathematical knowledge management : 5th international conference : proceedings" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/name> "Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/systeme_d_information> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.worldcat.org/fast/822777> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/computer_science> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85035848> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/informacion_almacenamiento_y_recuperacion_congresos> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_systems> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/workExample> <http://www.worldcat.org/oclc/783005170> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/automatic_theorem_proving> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/workExample> <http://www.worldcat.org/oclc/262693839> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/workExample> <http://www.worldcat.org/oclc/850521328> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/formule_mathematique> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/kongress> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/informatica_aplicaciones_en_matematicas_congresos> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/name> "Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings"@en .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/workExample> <http://www.worldcat.org/oclc/255286138> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/genre> "Conference proceedings" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/genre> "Conference proceedings"@en .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/321969833#Organization/springerlink_service_en_ligne> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/contributor> <http://viaf.org/viaf/129261154> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5a_2006_wokingham_gran_bretana> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/informatique> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/logique_formelle> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/name> "Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85082139> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/alternateName> "MKM 2006"@en .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/alternateName> "MKM 2006" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/informacion_almacenamiento_y_recuperacion_congresos_en_linea> .
<http://worldcat.org/entity/work/id/321969833> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematik> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_2006_5_2006_08_11_12_wokingham> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/workExample> <http://www.worldcat.org/oclc/636910390> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/alternateName> "International Conference on Mathematical Knowledge Management" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematique_discrete> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/theoremes_demonstration_automatique_congres> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5_2006_08_11_12_wokingham> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/systemes_d_information_mathematiques_congres> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/name> "Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11 - 12, 2006 ; proccedings" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/name> "Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings"@en .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/elektronische_bibliothek> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/informatica_aplicaciones_en_matematicas_congresos_en_linea> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/name> "Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/expertensystem> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2640837230> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_2006_2006_wokingham_angleterre> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/wissensmanagement> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.worldcat.org/fast/1012163> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.worldcat.org/fast/888037> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/nb2006018929> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/alternateName> "5th International Conference on Mathematical Knowledge Management" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/theoremes_demonstration_automatique> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_retrieval> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85066163> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematique> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.worldcat.org/fast/817247> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/demonstration_theoreme> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/computer_communication_networks> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/genre> "Kongress"@en .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/wissensbasiertes_system> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/electronic_books> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2632234444> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_conference_5th_2006_wokingham_england> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematics_data_processing> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematics_general> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/systemes_d_information_mathematiques> .
<http://worldcat.org/entity/work/id/321969833> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/workExample> <http://www.worldcat.org/oclc/70841018> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/ordenadores_matematicas_congresos_libros_electronicos> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5ª_2006_wokingham_gran_bretana> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/web_semantique> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008107562> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85008180> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.worldcat.org/fast/972781> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematiques_informatique_congres> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5th_2006> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/sistemas_de_informacion_congresos_libros_electronicos> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_storage_and_retrieval_systems_mathematics> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2640837230> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_systems_applications_incl_internet> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632234444> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://id.worldcat.org/fast/972943> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/name> "Mathematical knowledge management 5th International Conference, MKM 2006 : Wokingham, UK, August 11-12, 2006 : proceedings" .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/systeme_expert> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2640837230> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/artificial_intelligence_incl_robotics> .
<http://worldcat.org/entity/work/id/321969833> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematiques_informatique> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematics_general> <http://schema.org/name> "Mathematics, general." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematics_general> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/electronic_books> <http://schema.org/name> "Electronic books." .
<http://experiment.worldcat.org/entity/work/data/321969833#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/321969833#Topic/demonstration_automatique_de_theoremes> <http://schema.org/name> "Démonstration automatique de théorèmes." .
<http://experiment.worldcat.org/entity/work/data/321969833#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/321969833#Topic/informacion_almacenamiento_y_recuperacion_congresos> <http://schema.org/name> "Información Almacenamiento y recuperación Congresos." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/informacion_almacenamiento_y_recuperacion_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematiques_informatique> <http://schema.org/name> "Mathématiques Informatique." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematiques_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/informatica_aplicaciones_en_matematicas_congresos_en_linea> <http://schema.org/name> "Informática Aplicaciones en Matemáticas Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/informatica_aplicaciones_en_matematicas_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/321969833#Topic/information_storage_and_retrieval_systems_mathematics> <http://schema.org/name> "Information storage and retrieval systems Mathematics." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_storage_and_retrieval_systems_mathematics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/wissensbasiertes_system> <http://schema.org/name> "Wissensbasiertes System." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/wissensbasiertes_system> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/demonstration_theoreme> <http://schema.org/name> "démonstration théorème." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/demonstration_theoreme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_systems> <http://schema.org/name> "Information systems." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_systems> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/theoremes_demonstration_automatique_congres> <http://schema.org/name> "Théorèmes Démonstration automatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/321969833#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/321969833#Topic/systeme_expert> <http://schema.org/name> "système expert." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/systeme_expert> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/automatic_theorem_proving> <http://schema.org/name> "Automatic theorem proving." .
<http://experiment.worldcat.org/entity/work/data/321969833#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/321969833#Topic/computer_communication_networks> <http://schema.org/name> "Computer Communication Networks." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/computer_communication_networks> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/artificial_intelligence_incl_robotics> <http://schema.org/name> "Artificial Intelligence (incl. Robotics)" .
<http://experiment.worldcat.org/entity/work/data/321969833#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/321969833.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/321969833.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/321969833> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/systemes_d_information_mathematiques> <http://schema.org/name> "Systèmes d'information Mathématiques." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/systemes_d_information_mathematiques> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematiques_informatique_congres> <http://schema.org/name> "Mathématiques Informatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/321969833#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/321969833#Topic/information_systems_applications_incl_internet> <http://schema.org/name> "Information Systems Applications (incl.Internet)" .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_systems_applications_incl_internet> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_systems_applications_incl_internet> <http://schema.org/name> "Information Systems Applications (incl. Internet)" .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management> <http://schema.org/name> "International Conference on Mathematical Knowledge Management." .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/elektronische_bibliothek> <http://schema.org/name> "Elektronische Bibliothek." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/elektronische_bibliothek> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/systemes_d_information_mathematiques_congres> <http://schema.org/name> "Systèmes d'information Mathématiques Congrès." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/systemes_d_information_mathematiques_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/formule_mathematique> <http://schema.org/name> "formule mathématique." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/formule_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5ª_2006_wokingham_gran_bretana> <http://schema.org/name> "International Conference on Mathematical Knowledge Management (5ª. 2006. Wokingham, Gran Bretaña)" .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5ª_2006_wokingham_gran_bretana> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5ª_2006_wokingham_gran_bretana> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/wissensmanagement> <http://schema.org/name> "Wissensmanagement." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/wissensmanagement> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_storage_and_retrieval> <http://schema.org/name> "Information Storage and Retrieval." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_storage_and_retrieval> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5a_2006_wokingham_gran_bretana> <http://schema.org/name> "International Conference on Mathematical Knowledge Management (5a. 2006. Wokingham, Gran Bretaña)" .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5a_2006_wokingham_gran_bretana> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/international_conference_on_mathematical_knowledge_management_5a_2006_wokingham_gran_bretana> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/kongress> <http://schema.org/name> "Kongress." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematique> <http://schema.org/name> "Mathématique." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/theoremes_demonstration_automatique> <http://schema.org/name> "Théorèmes Démonstration automatique." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/theoremes_demonstration_automatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematik> <http://schema.org/name> "Mathematik." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/database_management> <http://schema.org/name> "Database Management." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/database_management> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_2006_2006_wokingham_angleterre> <http://schema.org/name> "MKM 2006 (2006 : Wokingham, Angleterre)" .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_2006_2006_wokingham_angleterre> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_2006_2006_wokingham_angleterre> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/informatica_aplicaciones_en_matematicas_congresos> <http://schema.org/name> "Informática Aplicaciones en Matemáticas Congresos." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/informatica_aplicaciones_en_matematicas_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/systeme_d_information> <http://schema.org/name> "Système d'information." .
<http://experiment.worldcat.org/entity/work/data/321969833#Topic/systeme_d_information> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .