<http://experiment.worldcat.org/entity/work/data/13810613#Topic/programiranje_teorija_logika_enacbe_racunalniska_algebra_algoritmi> <http://schema.org/name> "programiranje teorija logika enačbe računalniška algebra algoritmi." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/programiranje_teorija_logika_enacbe_racunalniska_algebra_algoritmi> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reecriture> <http://schema.org/name> "réécriture." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reecriture> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/logique_equationnelle> <http://schema.org/name> "logique équationnelle." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/logique_equationnelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reduktion> <http://schema.org/name> "Reduktion." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reduktion> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/systemy_przepisujace_informatyka> <http://schema.org/name> "Systemy przepisujące (informatyka)." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/systemy_przepisujace_informatyka> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algorithmes> <http://schema.org/name> "Algorithmes." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algorithmes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/theoretische_informatica> <http://schema.org/name> "Theoretische informatica." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/theoretische_informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/monoide> <http://schema.org/name> "monoïde." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/monoide> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/kurzungsverfahren> <http://schema.org/name> "Kürzungsverfahren." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/kurzungsverfahren> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/theorie_demonstration> <http://schema.org/name> "théorie démonstration." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/theorie_demonstration> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algorithme_non_numerique> <http://schema.org/name> "algorithme non numérique." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algorithme_non_numerique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2738709071> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2628640883> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebra_universal> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/612087880> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751028563> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/funciones_calculables> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87003035> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/genre> "Reduktion (Informatik)" .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/genre> "Electronic resources (Books)" .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/reduktionssystem> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/468706593> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/calcul_formel> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/monoide> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algorithmes> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/13810613> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2725248456> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636696122> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2630763216> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.worldcat.org/fast/1096809> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/name> "Systems of Reductions" .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/name> "Systems of Reductions"@en .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/reductie> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/programiranje_teorija_logika_enacbe_racunalniska_algebra_algoritmi> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/reecriture> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/logique_equationnelle> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/878751645> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/systemes_de_reecriture_informatique> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/16982243> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760737259> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/author> <http://worldcat.org/entity/person/id/2630763216> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.worldcat.org/fast/804928> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85003487> .
<http://worldcat.org/entity/work/id/13810613> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algorithme_non_numerique> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/800989833> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.worldcat.org/fast/872010> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebra_uniwersalna_informatyka> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.worldcat.org/fast/872527> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/reduktion> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/automate> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.worldcat.org/fast/804885> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/systemy_przepisujace_informatyka> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle_informatique> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/datenverarbeitung> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/475226613> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/699823897> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630763216> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/811367276> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.worldcat.org/fast/805020> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.worldcat.org/fast/804929> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/computeralgebra> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/901561373> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/848502139> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/name> "SYSTEMS OF REDUCTIONS"@it .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85008180> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/911369916> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/author> <http://worldcat.org/entity/person/id/2636696122> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85003425> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/author> <http://worldcat.org/entity/person/id/2738709071> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/name> "Systems of reductions" .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/reduction> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/name> "Systems of reductions"@en .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85003433> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029534> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algoritmen> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/849796667> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/466133825> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/author> <http://worldcat.org/entity/person/id/2628640883> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.worldcat.org/fast/817247> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/theoretische_informatica> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/theorie_demonstration> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/kurzungsverfahren> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh91000149> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/computer_algorithms> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/workExample> <http://www.worldcat.org/oclc/443715517> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/reecriture_systemes_de_informatique> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/13810613#Topic/algorytmy> .
<http://worldcat.org/entity/work/id/13810613> <http://schema.org/name> "Systems of Reduction" .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algorytmy> <http://schema.org/name> "Algorytmy." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algorytmy> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/automate> <http://schema.org/name> "automate." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/automate> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/datenverarbeitung> <http://schema.org/name> "Datenverarbeitung." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/datenverarbeitung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebra_universal> <http://schema.org/name> "Algebra, Universal." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebra_universal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reduktionssystem> <http://schema.org/name> "Reduktionssystem." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reduktionssystem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/systemes_de_reecriture_informatique> <http://schema.org/name> "Systèmes de réécriture (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/13810613#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/13810613.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/13810613.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/13810613> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reduction> <http://schema.org/name> "réduction." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reduction> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reductie> <http://schema.org/name> "Reductie." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reductie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/calcul_formel> <http://schema.org/name> "calcul formel." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/calcul_formel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/computer_algorithms> <http://schema.org/name> "Computer algorithms." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/computer_algorithms> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/computer_algorithms> <http://schema.org/name> "Computer Algorithms." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reecriture_systemes_de_informatique> <http://schema.org/name> "Réécriture, Systèmes de (informatique)" .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reecriture_systemes_de_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/reecriture_systemes_de_informatique> <http://schema.org/name> "Réécriture, Systèmes de (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/computeralgebra> <http://schema.org/name> "Computeralgebra." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/computeralgebra> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle_informatique> <http://schema.org/name> "Algèbre universelle Informatique." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle_informatique> <http://schema.org/name> "Algèbre universelle - Informatique." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/funciones_calculables> <http://schema.org/name> "Funciones calculables." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/funciones_calculables> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algoritmen> <http://schema.org/name> "Algoritmen." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algoritmen> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle> <http://schema.org/name> "algèbre universelle." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle> <http://schema.org/name> "Algebre universelle." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebre_universelle> <http://schema.org/name> "Algèbre universelle." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebra_uniwersalna_informatyka> <http://schema.org/name> "Algebra uniwersalna informatyka." .
<http://experiment.worldcat.org/entity/work/data/13810613#Topic/algebra_uniwersalna_informatyka> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .