<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logic_symbolic_and_mathematical> <http://schema.org/name> "Logic, Symbolic and mathematical." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logic_symbolic_and_mathematical> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/theorie_programmation> <http://schema.org/name> "théorie programmation." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/theorie_programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/llenguatges_de_programacio> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/resolution_probleme> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/679316190> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/logique_algebrique> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2724456341> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/name> "MATHEMATICAL LOGIC IN COMPUTER SCIENCE"@it .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/767970554> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/electronic_digital_computers> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://id.worldcat.org/fast/1078704> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_salgotarjan_hungary_1978> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_salgotarjan_10_15_september_1978> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/congressos_i_conferencies> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://id.worldcat.org/fast/1078716> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2707607787> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/ordinateurs_programmation_congres> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/781397745> .
<http://worldcat.org/entity/work/id/510048882> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/logica_matematica_congresos_y_asambleas> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/genre> "Congressi" .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungary> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungria> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmation_des_ordinateurs_discours_essais_conferences> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2637529537> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/878754769> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/genre> "Kongreß" .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/theorie_programmation> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/name> "Mathematical logic in computer science"@en .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/name> "Mathematical logic in computer science" .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/elaboratori_elettronici_programmazione_congressi_salgotarjan_1978> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/langage_logique> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/langages_de_programmation_semantique_discours_essais_conferences> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/803240952> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/510048882#Organization/bolyai_janos_mathematikai_tarsulat> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/datenverarbeitung> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/szamitogep_matemetikai_logika> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/850854732> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/semantique> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/8306779> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/logica_simbolica_congressi_salgotarjan_1978> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/474323379> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/name> "Mathematical logic in computer science papers" .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/logic_symbolic_and_mathematical> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/logik> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/490778843> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/895196076> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2637529537> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/251431020> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://viaf.org/viaf/155264236> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmation_en_logique> .
<http://worldcat.org/entity/work/id/510048882> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n80094256> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2630637385> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/computer_programming> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/name> "Mathematical Logic in Computer Science : Updated Papers from a Colloquium held in Salgótarján between 10-15 September, 1978" .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/logique_mathematique> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmierung> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/informatik> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/programming_languages_electronic_computers_semantics> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://id.worldcat.org/fast/872390> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630637385> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/theorie_demonstration> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797326060> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2637529537> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/510048882#Meeting/mathematical_logic_in_computer_science_1978_salgotarjan> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/715904232> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85107310> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/908781533> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/logica_simbolica_si_matematica> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/workExample> <http://www.worldcat.org/oclc/693423569> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85107316> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85107313> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/matematikai_logika_szamitastudomany> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/mathematische_logik> .
<http://worldcat.org/entity/work/id/510048882> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/510048882#Topic/programacio_ordinadors> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/ordinateurs_programmation_congres> <http://schema.org/name> "Ordinateurs Programmation Congrès." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/ordinateurs_programmation_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/matematikai_logika_szamitastudomany> <http://schema.org/name> "Matematikai logika számítástudomány." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/matematikai_logika_szamitastudomany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logique_mathematique> <http://schema.org/name> "logique mathématique." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logique_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/theorie_demonstration> <http://schema.org/name> "théorie démonstration." .
<http://experiment.worldcat.org/entity/work/data/510048882#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/510048882#Topic/elaboratori_elettronici_programmazione_congressi_salgotarjan_1978> <http://schema.org/name> "Elaboratori elettronici - Programmazione - Congressi - Salgótarján - 1978." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/elaboratori_elettronici_programmazione_congressi_salgotarjan_1978> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logica_simbolica_congressi_salgotarjan_1978> <http://schema.org/name> "Logica simbolica - Congressi - Salgótarján - 1978." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logica_simbolica_congressi_salgotarjan_1978> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmation_des_ordinateurs_discours_essais_conferences> <http://schema.org/name> "Programmation des ordinateurs Discours, essais, conférences." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmation_des_ordinateurs_discours_essais_conferences> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungria> <http://schema.org/name> "Colloquium on Mathematical Logic in Computer Science, (1978. Salgótarján, Hungria)" .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungria> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungria> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/semantique> <http://schema.org/name> "sémantique." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/semantique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logica_matematica_congresos_y_asambleas> <http://schema.org/name> "Lógica matemática congresos y asambleas." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logica_matematica_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/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_salgotarjan_hungary_1978> <http://schema.org/name> "Colloquium on Mathematical Logic in Computer Science (Salgótarján, Hungary) (1978)" .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_salgotarjan_hungary_1978> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_salgotarjan_hungary_1978> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan> <http://schema.org/name> "COLLOQUIUM ON MATHEMATICAL LOGIC IN COMPUTER SCIENCE, 1978, Salgótarján." .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan> <http://schema.org/name> "Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján)" .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/electronic_digital_computers> <http://schema.org/name> "Electronic digital computers." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/electronic_digital_computers> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/langage_logique> <http://schema.org/name> "langage logique." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/langage_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/informatik> <http://schema.org/name> "Informatik." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/informatik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/langages_de_programmation_semantique_discours_essais_conferences> <http://schema.org/name> "Langages de programmation Sémantique Discours, essais, conférences." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/langages_de_programmation_semantique_discours_essais_conferences> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/llenguatges_de_programacio> <http://schema.org/name> "Llenguatges de programació" .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/llenguatges_de_programacio> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/510048882.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/510048882> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_salgotarjan_10_15_september_1978> <http://schema.org/name> "Colloquium on Mathematical Logic in Computer Science (Salgótarján) (10-15 September, 1978.)" .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_salgotarjan_10_15_september_1978> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_salgotarjan_10_15_september_1978> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/computer_programming> <http://schema.org/name> "Computer programming." .
<http://experiment.worldcat.org/entity/work/data/510048882#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/510048882#Topic/programming_languages_electronic_computers_semantics> <http://schema.org/name> "Programming languages (Electronic computers) Semantics." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/programming_languages_electronic_computers_semantics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logik> <http://schema.org/name> "Logik." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmierung> <http://schema.org/name> "Programmierung." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmierung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungary> <http://schema.org/name> "Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján, Hungary)" .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungary> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungary> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/colloquium_on_mathematical_logic_in_computer_science_1978_salgotarjan_hungary> <http://schema.org/name> "Colloquium on Mathematical Logic in Computer Science (1978 (Salgótarján, Hungary))" .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/datenverarbeitung> <http://schema.org/name> "Datenverarbeitung." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/datenverarbeitung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/szamitogep_matemetikai_logika> <http://schema.org/name> "Számítógép matemetikai logika." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/szamitogep_matemetikai_logika> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/congressos_i_conferencies> <http://schema.org/name> "Congressos i conferències" .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/congressos_i_conferencies> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/mathematische_logik> <http://schema.org/name> "Mathematische Logik." .
<http://experiment.worldcat.org/entity/work/data/510048882#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/510048882#Topic/logica_simbolica_si_matematica> <http://schema.org/name> "Logică simbolică şi matematică." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logica_simbolica_si_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmation_en_logique> <http://schema.org/name> "programmation en logique." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/programmation_en_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Organization/bolyai_janos_mathematikai_tarsulat> <http://schema.org/name> "Bolyai János Mathematikai Társulat." .
<http://experiment.worldcat.org/entity/work/data/510048882#Organization/bolyai_janos_mathematikai_tarsulat> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logique_algebrique> <http://schema.org/name> "logique algébrique." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/logique_algebrique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/programacio_ordinadors> <http://schema.org/name> "Programació (Ordinadors)" .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/programacio_ordinadors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/mathematical_logic_in_computer_science_1978_salgotarjan> <http://schema.org/name> "Mathematical Logic in Computer Science (1978 : Salgótarjan)" .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/mathematical_logic_in_computer_science_1978_salgotarjan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/510048882#Meeting/mathematical_logic_in_computer_science_1978_salgotarjan> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/resolution_probleme> <http://schema.org/name> "résolution problème." .
<http://experiment.worldcat.org/entity/work/data/510048882#Topic/resolution_probleme> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .