<http://experiment.worldcat.org/entity/work/data/37201032#Topic/tableau> <http://schema.org/name> "tableau." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/tableau> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logika_symboliczna_i_matematyczna_konferencje> <http://schema.org/name> "Logika symboliczna i matematyczna konferencje." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logika_symboliczna_i_matematyczna_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/name> "Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings"@en .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/name> "Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX'95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/37201032#Meeting/international_workshop_tableaux_4_1995_st_goar_germany> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://id.worldcat.org/fast/822777> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://viaf.org/viaf/133336387> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/genre> "Sankt Goar (1995)"@en .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/logic_symbolic_and_mathematical> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/37201032> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801007860> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/genre> "Kongress"@en .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/tableau> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_95_4_1995_st_goar> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2685462438> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/author> <http://experiment.worldcat.org/entity/work/data/37201032#Meeting/workshop_on_theorem_proving_with_analytic_tableaux_and_related_methods_04_1995_st_goar_allemagne> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/alternateName> "TABLEAUX '95"@en .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/description> "This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schlo Rheinfels, St. Goar, Germany in May 1995. Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, non-clausal proof procedures, linear logic, higher-order logic, and applications."@en .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/theorie_demonstration> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/dimostrazione_automatica_di_teoremi_congressi_1995> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_95_1995_sankt_goar_germany> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/name> "Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings"@en .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/name> "Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/logika_matematyczna_nieklasyczna_konferencje> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/782229010> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/logica_matematica_congressi_1995> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_lineaire> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/name> "Theorem proving with analytic tableaux and related methods : 4th International workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/name> "Theorem proving with analytic tableaux and related methods"@en .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/name> "Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/nonclassical_mathematical_logic_congresses> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/demonstration_theoreme> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatische_bewijsvoering> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845015710> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_4_1995_05_07_10_st_goar> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/alternateName> "TABLEAUX '94" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/37201032#Meeting/workshop_on_theorem_proving_with_analytic_tableaux_and_related_methods_&lt_4_1995_sankt_goar&gt> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2640769647> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751074300> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85092240> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/150398068> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/theoremes_demonstration_automatique_congres_congres> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/genre> "Congressen (vorm)" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/demonstration_de_theoremes> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007101477> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_symbolique_et_mathematique_congres> .
<http://worldcat.org/entity/work/id/37201032> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n95069965> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Place/sankt_goar_&lt_1995&gt> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/722836003> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/467496278> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_modale> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/314237298> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2640760794> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85010111> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_mathematique_non_classique_congres_congres> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473142742> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/name> "Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany,May 7-10, 1995 : proceedings" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2677723172> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/genre> "Conference proceedings"@en .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/theoremes_demonstration_automatique_congres> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/genre> "Kongreß" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/genre> "Kongreß"@en .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008107112> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/nonclassical_mathematical_logic> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2640760794> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/37201032#Meeting/theorem_proving_with_analytic_tableaux_and_related_methods_tableaux_4_1995_05_07_10_st_goar> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2674607797> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/kalkul> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/name> "Theorem proving with analytic tableaux and related methods 4th international workshop ; tableaux '95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995 ; proceedings" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/modallogik> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://id.worldcat.org/fast/1038606> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2639558942> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/800931458> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/sankt_goar_1995> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/37201032#Meeting/international_workshop_tableaux_4_07_10_05_1995_st_goar_germany> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_informatique> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85008180> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/logika_symboliczna_i_matematyczna_konferencje> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatisches_beweisverfahren> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/semantique> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/congressi_sankt_goar_1995> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/logic_symbolic_and_mathematical_congresses> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/name> "Theorem Proving with Analytic Tableaux and Related Methods 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7-10, 1995 Proceedings" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/kongress> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2640760794> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/37201032#Meeting/international_workshop_tableaux_4_1995_05_07_10_sankt_goar> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatyczne_dowodzenie_twierdzen_konferencje> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/326712344> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_mathematique_non_classique_congres> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2640769647> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatic_theorem_proving_congresses> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/845514991> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/name> "Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995 ; proceedings" .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/32644245> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatic_theorem_proving> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2639558942> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/workExample> <http://www.worldcat.org/oclc/441638655> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://id.worldcat.org/fast/817247> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/37201032#Meeting/workshop_on_theorem_proving_with_analytic_tableaux_and_related_methods_4_1995_05_07_10_st_goar> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/tableau_semantique> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/37201032#Topic/demonstration_de_theoreme_logique_mathematique_congres> .
<http://worldcat.org/entity/work/id/37201032> <http://schema.org/name> "Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings" .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/sankt_goar_1995> <http://schema.org/name> "Sankt Goar (1995)" .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/sankt_goar_1995> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/nonclassical_mathematical_logic_congresses> <http://schema.org/name> "Nonclassical mathematical logic Congresses." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/nonclassical_mathematical_logic_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/congressi_sankt_goar_1995> <http://schema.org/name> "Congressi - Sankt Goar - 1995." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/congressi_sankt_goar_1995> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatyczne_dowodzenie_twierdzen_konferencje> <http://schema.org/name> "Automatyczne dowodzenie twierdzeń konferencje." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatyczne_dowodzenie_twierdzen_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatic_theorem_proving> <http://schema.org/name> "Automatic theorem proving." .
<http://experiment.worldcat.org/entity/work/data/37201032#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/37201032#Topic/logic_symbolic_and_mathematical> <http://schema.org/name> "Logic, Symbolic and mathematical." .
<http://experiment.worldcat.org/entity/work/data/37201032#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/37201032#Meeting/international_workshop_tableaux_4_07_10_05_1995_st_goar_germany> <http://schema.org/name> "International workshop, TABLEAUX (4 : 07/10-05-1995 : St. Goar, Germany)" .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/international_workshop_tableaux_4_07_10_05_1995_st_goar_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/international_workshop_tableaux_4_07_10_05_1995_st_goar_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/theoremes_demonstration_automatique_congres> <http://schema.org/name> "Théorèmes Démonstration automatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/37201032#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/37201032#Topic/theoremes_demonstration_automatique_congres_congres> <http://schema.org/name> "Théorèmes Démonstration automatique Congrès Congrès." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/theoremes_demonstration_automatique_congres_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logika_matematyczna_nieklasyczna_konferencje> <http://schema.org/name> "Logika matematyczna nieklasyczna konferencje." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logika_matematyczna_nieklasyczna_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_informatique> <http://schema.org/name> "Logique (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/37201032.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/37201032> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/workshop_on_theorem_proving_with_analytic_tableaux_and_related_methods_04_1995_st_goar_allemagne> <http://schema.org/name> "Workshop on theorem proving with analytic tableaux and related methods (04 : 1995 : St. Goar, Allemagne)" .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/workshop_on_theorem_proving_with_analytic_tableaux_and_related_methods_04_1995_st_goar_allemagne> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/workshop_on_theorem_proving_with_analytic_tableaux_and_related_methods_04_1995_st_goar_allemagne> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatisches_beweisverfahren> <http://schema.org/name> "Automatisches Beweisverfahren." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatisches_beweisverfahren> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatisches_beweisverfahren> <http://schema.org/name> "Automatisches Beweisverfahren" .
<http://experiment.worldcat.org/entity/work/data/37201032#Place/sankt_goar_&lt_1995&gt> <http://schema.org/name> "Sankt Goar &lt;1995&gt;" .
<http://experiment.worldcat.org/entity/work/data/37201032#Place/sankt_goar_&lt_1995&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Place> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_mathematique_non_classique_congres_congres> <http://schema.org/name> "Logique mathématique non classique Congrès Congrès." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_mathematique_non_classique_congres_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_lineaire> <http://schema.org/name> "logique linéaire." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_lineaire> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatische_bewijsvoering> <http://schema.org/name> "Automatische bewijsvoering." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatische_bewijsvoering> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatic_theorem_proving_congresses> <http://schema.org/name> "Automatic theorem proving Congresses." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatic_theorem_proving_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_symbolique_et_mathematique_congres> <http://schema.org/name> "Logique symbolique et mathématique Congrès." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_symbolique_et_mathematique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/semantique> <http://schema.org/name> "sémantique." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/semantique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_4_1995_05_07_10_st_goar> <http://schema.org/name> "TABLEAUX (4 1995.05.07-10 St. Goar)" .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_4_1995_05_07_10_st_goar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_4_1995_05_07_10_st_goar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_mathematique_non_classique_congres> <http://schema.org/name> "Logique mathématique non classique Congrès." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_mathematique_non_classique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_95_1995_sankt_goar_germany> <http://schema.org/name> "TABLEAUX '95 (1995 : Sankt Goar, Germany)" .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_95_1995_sankt_goar_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_95_1995_sankt_goar_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/workshop_on_theorem_proving_with_analytic_tableaux_and_related_methods_4_1995_05_07_10_st_goar> <http://schema.org/name> "Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4 1995.05.07-10 St. Goar)" .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/workshop_on_theorem_proving_with_analytic_tableaux_and_related_methods_4_1995_05_07_10_st_goar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/workshop_on_theorem_proving_with_analytic_tableaux_and_related_methods_4_1995_05_07_10_st_goar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/international_workshop_tableaux_4_1995_st_goar_germany> <http://schema.org/name> "International workshop, TABLEAUX (4 : 1995 : St. Goar, Germany)" .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/international_workshop_tableaux_4_1995_st_goar_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/international_workshop_tableaux_4_1995_st_goar_germany> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/nonclassical_mathematical_logic> <http://schema.org/name> "Nonclassical mathematical logic." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/nonclassical_mathematical_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_95_4_1995_st_goar> <http://schema.org/name> "TABLEAUX '95 (4 ; 1995 ; St. Goar)." .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_95_4_1995_st_goar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_95_4_1995_st_goar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/dimostrazione_automatica_di_teoremi_congressi_1995> <http://schema.org/name> "Dimostrazione automatica di teoremi - Congressi - 1995." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/dimostrazione_automatica_di_teoremi_congressi_1995> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/modallogik> <http://schema.org/name> "Modallogik." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/modallogik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/kongress> <http://schema.org/name> "Kongreß." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logic_symbolic_and_mathematical_congresses> <http://schema.org/name> "Logic, Symbolic and mathematical Congresses." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logic_symbolic_and_mathematical_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/tableau_semantique> <http://schema.org/name> "tableau sémantique." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/tableau_semantique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/demonstration_de_theoremes> <http://schema.org/name> "Démonstration de théorèmes." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/demonstration_de_theoremes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/workshop_on_theorem_proving_with_analytic_tableaux_and_related_methods_&lt_4_1995_sankt_goar&gt> <http://schema.org/name> "Workshop on Theorem Proving with Analytic Tableaux and Related Methods &lt;4, 1995, Sankt Goar&gt;" .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/workshop_on_theorem_proving_with_analytic_tableaux_and_related_methods_&lt_4_1995_sankt_goar&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/workshop_on_theorem_proving_with_analytic_tableaux_and_related_methods_&lt_4_1995_sankt_goar&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/demonstration_de_theoreme_logique_mathematique_congres> <http://schema.org/name> "démonstration de théorème logique mathématique [congrès]" .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/demonstration_de_theoreme_logique_mathematique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/demonstration_theoreme> <http://schema.org/name> "démonstration théorème." .
<http://experiment.worldcat.org/entity/work/data/37201032#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/37201032#Topic/kalkul> <http://schema.org/name> "Kalkül." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/kalkul> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/international_workshop_tableaux_4_1995_05_07_10_sankt_goar> <http://schema.org/name> "International Workshop, TABLEAUX (4 1995.05.07-10 Sankt Goar)" .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/international_workshop_tableaux_4_1995_05_07_10_sankt_goar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/international_workshop_tableaux_4_1995_05_07_10_sankt_goar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/theorie_demonstration> <http://schema.org/name> "théorie démonstration." .
<http://experiment.worldcat.org/entity/work/data/37201032#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/37201032#Meeting/theorem_proving_with_analytic_tableaux_and_related_methods_tableaux_4_1995_05_07_10_st_goar> <http://schema.org/name> "Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX (4 1995.05.07-10 St. Goar)" .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/theorem_proving_with_analytic_tableaux_and_related_methods_tableaux_4_1995_05_07_10_st_goar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/37201032#Meeting/theorem_proving_with_analytic_tableaux_and_related_methods_tableaux_4_1995_05_07_10_st_goar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logica_matematica_congressi_1995> <http://schema.org/name> "Logica matematica - Congressi - 1995." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logica_matematica_congressi_1995> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_modale> <http://schema.org/name> "logique modale." .
<http://experiment.worldcat.org/entity/work/data/37201032#Topic/logique_modale> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .