<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/rta_2005_16_2005_04_nara> <http://schema.org/name> "RTA 2005 (16 : 2005.04 : Nara)" .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/rta_2005_16_2005_04_nara> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/rta_2005_16_2005_04_nara> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/computer_programming> <http://schema.org/name> "Computer programming." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/computer_programming> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/informatique> <http://schema.org/name> "Informatique." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/programacion_de_ordenadores_congresos_libros_electronicos> <http://schema.org/name> "Programación de ordenadores Congresos Libros electrónicos." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/programacion_de_ordenadores_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/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications> <http://schema.org/name> "International Conference on Rewriting Techniques and Applications." .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/termersetzungssystem_kongress_nara_&lt_2005&gt> <http://schema.org/name> "Termersetzungssystem Kongress Nara &lt;2005&gt;" .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/termersetzungssystem_kongress_nara_&lt_2005&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/180735614.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/180735614> .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_rta_2005_16_2005_21_04_2005_nara_japan> <http://schema.org/name> "International Conference, RTA 2005 (16 : 2005 - 21-04-2005 : Nara, Japan)" .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_rta_2005_16_2005_21_04_2005_nara_japan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_rta_2005_16_2005_21_04_2005_nara_japan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/logic_design> <http://schema.org/name> "Logic design." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/logic_design> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/mathematical_logic_and_formal_languages> <http://schema.org/name> "Mathematical Logic and Formal Languages." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/mathematical_logic_and_formal_languages> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/mathematical_logic_and_formal_languages> <http://schema.org/name> "Mathematical Logic and Formal Languages" .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/lambda_calcul> <http://schema.org/name> "lambda calcul." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/lambda_calcul> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/sistemas_de_reescritura_informatica_congresos_libros_electronicos> <http://schema.org/name> "Sistemas de reescritura (Informática) Congresos Libros electrónicos." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/sistemas_de_reescritura_informatica_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/180735614#Topic/deduction_automatique> <http://schema.org/name> "déduction automatique." .
<http://experiment.worldcat.org/entity/work/data/180735614#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/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16_2005_04_nara> <http://schema.org/name> "International Conference on Rewriting Techniques and Applications (16 : 2005.04 : Nara)" .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16_2005_04_nara> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16_2005_04_nara> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/programmation_en_logique> <http://schema.org/name> "programmation en logique." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/programmation_en_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/180735614#Meeting/rta_2005_16_2005_04_nara> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/496680288> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term rewriting and applications 16th international conference : proceedings" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/algorithmes> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/262680770> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/743288889> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/60286659> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term rewriting and applications : 16th International Conference, RTA 2005 : Nara, Japan, April 19-21, 2005 : proceedings" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007004295> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.worldcat.org/fast/1096809> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_rta_2005_16_2005_21_04_2005_nara_japan> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/symbolic_and_algebraic_manipulation> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2636523651> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/logic_design> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Place/nara_&lt_2005&gt> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636523651> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/lambda_calcul> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/progracion_de_ordenadores_congresos_en_linea> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/computers_programming_languages_general> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/computer_science> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/algorithms> .
<http://worldcat.org/entity/work/id/180735614> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/systemes_de_reecriture_informatique> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings"@en .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/demonstration_theoreme> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16th_2005_nara_shi_japan> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.worldcat.org/fast/804890> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/programacion_de_ordenadores_congresos_libros_electronicos> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/sistemas_de_reescritura_informatica_congresos_libros_electronicos> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/sistemas_de_reescritura_informatica_congresos_en_linea> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings"@en .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/alternateName> "16th International Conference on rewriting Techniques and Applications" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_and_applications_16a_2005_nara_japon> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/254608749> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.worldcat.org/fast/817247> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/programming_languages_compilers_interpreters> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 ; proceedings" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings"@en .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007100982> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/alternateName> "RTA 2005"@en .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term rewriting and applications 16th International Conference, RTA 2005 : Nara, Japan, April 19-21, 2005 : proceedings" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/alternateName> "RTA 2005" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/artificial_intelligence> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/rewriting_systems_computer_science> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/777970519> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/mathematical_logic_and_formal_languages> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16th_2005_nara_ken_japan> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/reecriture_systemes_de_informatique_congres> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/780913436> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/850369898> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.worldcat.org/fast/805020> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85008180> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_and_applications_16ª_2005_nara_japon> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/912352758> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/150395491> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/progracion_de_ordenadores_congresos> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term rewriting and applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_term_rewriting_and_applications_16th_2005> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : Proceedings" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/reecriture> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.worldcat.org/fast/872390> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/verification> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2636523651> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/programmation_informatique> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/782255774> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16_2005_04_nara> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007100991> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/genre> "Conference proceedings"@en .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/sistemas_de_reescritura_informatica_congresos> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/genre> "Conference proceedings" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/computer_programming> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/403851326> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/workExample> <http://www.worldcat.org/oclc/896252469> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/termersetzungssystem> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/programmation_en_logique> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/artificial_intelligence_incl_robotics> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/name> "Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings" .
<http://worldcat.org/entity/work/id/180735614> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/unification> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/algebra_data_processing> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/alternateName> "International Conference on Rewriting Techniques and Applications" .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/informatique> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2010111020> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/systeme_de_reecriture_informatique_congres> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/deduction_automatique> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/termersetzungssystem_kongress_nara_&lt_2005&gt> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/reduktionssystem> .
<http://worldcat.org/entity/work/id/180735614> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/180735614#Topic/reduktionssystem_kongress_nara_&lt_2005&gt> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/sistemas_de_reescritura_informatica_congresos> <http://schema.org/name> "Sistemas de reescritura (Informática) Congresos." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/sistemas_de_reescritura_informatica_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/algebra_data_processing> <http://schema.org/name> "Algebra Data processing." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/algebra_data_processing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/reecriture_systemes_de_informatique_congres> <http://schema.org/name> "Réécriture, Systèmes de (informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/reecriture_systemes_de_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/reecriture> <http://schema.org/name> "réécriture." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/reecriture> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/artificial_intelligence> <http://schema.org/name> "Artificial intelligence." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/artificial_intelligence> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/computers_programming_languages_general> <http://schema.org/name> "COMPUTERS Programming Languages General." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/computers_programming_languages_general> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/logics_and_meanings_of_programs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs" .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/180735614#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/180735614#Topic/computer_science> <http://schema.org/name> "Computer science." .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16th_2005_nara_ken_japan> <http://schema.org/name> "International Conference on Rewriting Techniques and Applications (16th : 2005 : Nara-ken, Japan)" .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16th_2005_nara_ken_japan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16th_2005_nara_ken_japan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16th_2005_nara_shi_japan> <http://schema.org/name> "International Conference on Rewriting Techniques and Applications (16th : 2005 : Nara-shi, Japan)" .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16th_2005_nara_shi_japan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_techniques_and_applications_16th_2005_nara_shi_japan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/artificial_intelligence_incl_robotics> <http://schema.org/name> "Artificial Intelligence (incl. Robotics)" .
<http://experiment.worldcat.org/entity/work/data/180735614#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/180735614#Topic/symbolic_and_algebraic_manipulation> <http://schema.org/name> "Symbolic and Algebraic Manipulation." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/symbolic_and_algebraic_manipulation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/symbolic_and_algebraic_manipulation> <http://schema.org/name> "Symbolic and Algebraic Manipulation" .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/systemes_de_reecriture_informatique> <http://schema.org/name> "Systèmes de réécriture (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/systemes_de_reecriture_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/programmation_informatique> <http://schema.org/name> "Programmation (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/programmation_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/algorithms> <http://schema.org/name> "Algorithms." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/algorithms> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/systeme_de_reecriture_informatique_congres> <http://schema.org/name> "système de réécriture (informatique) congrès." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/systeme_de_reecriture_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/demonstration_theoreme> <http://schema.org/name> "démonstration théorème." .
<http://experiment.worldcat.org/entity/work/data/180735614#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/180735614#Topic/programming_languages_compilers_interpreters> <http://schema.org/name> "Programming Languages, Compilers, Interpreters." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/programming_languages_compilers_interpreters> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/programming_languages_compilers_interpreters> <http://schema.org/name> "Programming Languages, Compilers, Interpreters" .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_and_applications_16ª_2005_nara_japon> <http://schema.org/name> "International Conference on Rewriting and Applications (16ª. 2005. Nara, Japón)" .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_and_applications_16ª_2005_nara_japon> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_and_applications_16ª_2005_nara_japon> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/algorithmes> <http://schema.org/name> "Algorithmes." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/algorithmes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/reduktionssystem> <http://schema.org/name> "Reduktionssystem." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/reduktionssystem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/reduktionssystem_kongress_nara_&lt_2005&gt> <http://schema.org/name> "Reduktionssystem Kongress Nara &lt;2005&gt;" .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/reduktionssystem_kongress_nara_&lt_2005&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Place/nara_&lt_2005&gt> <http://schema.org/name> "Nara &lt;2005&gt;" .
<http://experiment.worldcat.org/entity/work/data/180735614#Place/nara_&lt_2005&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/progracion_de_ordenadores_congresos> <http://schema.org/name> "Progración de ordenadores Congresos." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/progracion_de_ordenadores_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/verification> <http://schema.org/name> "vérification." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/verification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/rewriting_systems_computer_science> <http://schema.org/name> "Rewriting systems (Computer science)" .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/rewriting_systems_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/progracion_de_ordenadores_congresos_en_linea> <http://schema.org/name> "Progración de ordenadores Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/progracion_de_ordenadores_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/180735614#Topic/unification> <http://schema.org/name> "unification." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/unification> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/sistemas_de_reescritura_informatica_congresos_en_linea> <http://schema.org/name> "Sistemas de reescritura (Informática) Congresos En línea." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/sistemas_de_reescritura_informatica_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/180735614#Meeting/international_conference_on_term_rewriting_and_applications_16th_2005> <http://schema.org/name> "International Conference on Term Rewriting and Applications (16th : 2005)." .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_term_rewriting_and_applications_16th_2005> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_term_rewriting_and_applications_16th_2005> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/termersetzungssystem> <http://schema.org/name> "Termersetzungssystem." .
<http://experiment.worldcat.org/entity/work/data/180735614#Topic/termersetzungssystem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_and_applications_16a_2005_nara_japon> <http://schema.org/name> "International Conference on Rewriting and Applications (16a. 2005. Nara, Japón)" .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_and_applications_16a_2005_nara_japon> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/180735614#Meeting/international_conference_on_rewriting_and_applications_16a_2005_nara_japon> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .