About: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Conference series on automated reasoning with analytic tableaux methodologies

Property	Value
dbo:description	conference series on automated reasoning with analytic tableaux methodologies (en)
dbo:wikiPageExternalLink	http://i12www.ira.uka.de/TABLEAUX/
dbo:wikiPageWikiLink	dbr:Automated_reasoning dbr:Seattle dbr:France dbr:Springer_Science+Business_Media dbc:Logic_conferences dbr:International_Joint_Conference_on_Automated_Reasoning dbr:Academic_conference dbc:Theoretical_computer_science_conferences dbr:Conference_on_Automated_Deduction dbr:Aix_en_Provence dbr:United_States_of_America dbr:Analytic_tableaux dbr:Lecture_Notes_in_Artificial_Intelligence dbr:TPHOLs
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Compu-conference-stub dbt:Comp-sci-stub dbt:Primary_sources
dct:subject	dbc:Logic_conferences dbc:Theoretical_computer_science_conferences
gold:hypernym	dbr:Conference
rdfs:label	International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (en)
owl:sameAs	freebase:International Conference on Automated Reasoning with Analytic Tableaux and Related Methods wikidata:International Conference on Automated Reasoning with Analytic Tableaux and Related Methods http://d-nb.info/gnd/1091948747 http://viaf.org/viaf/2049145857007322921051 dbpedia-global:International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
prov:wasDerivedFrom	wikipedia-en:International_Conference_on_Automated_...Related_Methods?oldid=1179298233&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:International_Conference_on_Automated_...Analytic_Tableaux_and_Related_Methods
is dbo:wikiPageRedirects of	dbr:Automated_Reasoning_with_Analytic_Tableaux_and_Related_Methods dbr:TABLEAUX
is dbo:wikiPageWikiLink of	dbr:Automated_reasoning dbr:List_of_computer_science_conferences dbr:List_of_computer_science_conference_acronyms dbr:Automated_Reasoning_with_Analytic_Tableaux_and_Related_Methods dbr:List_of_astronomy_acronyms dbr:TABLEAUX
is foaf:primaryTopic of	wikipedia-en:International_Conference_on_Automated_...Analytic_Tableaux_and_Related_Methods

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International