About: Conference on Automated Deduction

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

Conference series on automated theorem proving

Property	Value
dbo:description	conference series on automated theorem proving (en) cykliczna konferencja poświęcona automatycznemu dowodzeniu twierdzeń (pl)
dbo:wikiPageWikiLink	dbr:Argonne_National_Laboratory dbr:Automated_theorem_proving dbr:Donald_W._Loveland dbr:Berlin dbr:Chicago dbr:Europe dbr:Paris dbr:Pittsburgh dbr:Wrocław dbr:Lake_Placid,_New_York dbr:Les_Arcs dbr:Alan_Bundy dbr:Andrei_Voronkov dbc:Logic_conferences dbr:William_McCune dbr:Franz_Baader dbr:Harald_Ganzinger dbr:Wolfgang_Bibel dbr:Natal,_Rio_Grande_do_Norte dbr:David_A._McAllester dbr:International_Joint_Conference_on_Automated_Reasoning dbr:Oxford dbr:Gothenburg dbr:Academic_conference dbc:Theoretical_computer_science_conferences dbr:Robert_Kowalski dbr:Association_for_Automated_Reasoning dbr:Frank_Pfenning dbr:Robert_Shostak dbr:LNAI dbr:Mark_Stickel dbr:Michael_A._McRobbie dbr:Ross_A._Overbeek
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Compu-conference-stub dbt:Reflist dbt:Comp-sci-stub dbt:Official_website
dct:subject	dbc:Logic_conferences dbc:Theoretical_computer_science_conferences
gold:hypernym	dbr:Conference
rdfs:label	Conference on Automated Deduction (en) Conference on Automated Deduction (pl)
owl:sameAs	yago-res:Conference on Automated Deduction freebase:Conference on Automated Deduction wikidata:Conference on Automated Deduction dbpedia-pl:Conference on Automated Deduction http://d-nb.info/gnd/1091753512 http://d-nb.info/gnd/1091859086 http://d-nb.info/gnd/125954-4 http://viaf.org/viaf/152442227 dbpedia-global:Conference on Automated Deduction
prov:wasDerivedFrom	wikipedia-en:Conference_on_Automated_Deduction?oldid=1288703030&ns=0
foaf:homepage	http://www.cadeinc.org http://www.cadeinc.org
foaf:isPrimaryTopicOf	wikipedia-en:Conference_on_Automated_Deduction
is dbo:award of	dbr:Melvin_Fitting
is dbo:wikiPageRedirects of	dbr:Conference_on_automated_deduction
is dbo:wikiPageWikiLink of	dbr:Automated_reasoning dbr:Michael_Kohlhase dbr:Herbrand_Award dbr:Termination_analysis dbr:Interactive_Theorem_Proving_(conference) dbr:International_Conference_on_Automated_...Analytic_Tableaux_and_Related_Methods dbr:Gérard_Huet dbr:List_of_computer_science_conference_acronyms dbr:Andrei_Voronkov dbr:Christoph_Walther dbr:International_Joint_Conference_on_Automated_Reasoning dbr:CADE_ATP_System_Competition dbr:Competitions_and_prizes_in_artificial_intelligence dbr:Tanel_Tammet dbr:Association_for_Automated_Reasoning dbr:Sigma_knowledge_engineering_environment dbr:Melvin_Fitting dbr:Geoff_Sutcliffe dbr:Robert_Shostak dbr:List_of_computer_science_awards dbr:Conference_on_automated_deduction
is foaf:primaryTopic of	wikipedia-en:Conference_on_Automated_Deduction