About: International Joint Conference on Automated Reasoning

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Conference series on automated reasoning

Property	Value
dbo:description	conference series on automated reasoning (en)
dbo:wikiPageExternalLink	http://ijcar06.uni-koblenz.de/ http://www.ijcar.org/2008/ http://www.uc.pt/en/congressos/ijcar2016 http://www.ijcar.org/
dbo:wikiPageWikiLink	dbr:Automated_reasoning dbr:Seattle dbr:Siena dbr:Sydney dbr:Cork_(city) dbr:Vienna dbr:Alan_Turing_Centenary_Conference dbc:Logic_conferences dbr:Manchester dbr:Automated_deduction dbr:Coimbra dbr:International_Workshop_on_First-Order_Theorem_Proving dbr:Vienna_Summer_of_Logic dbr:Edinburgh dbc:Theoretical_computer_science_conferences dbr:Conference_on_Automated_Deduction dbr:CALCULEMUS dbr:FroCoS dbr:TABLEAUX dbr:TPHOLs
dbp:date	2006-02-09 (xsd:date) 2007-10-14 (xsd:date)
dbp:url	https://web.archive.org/web/20060209211017/http:/ijcar06.uni-koblenz.de/ https://web.archive.org/web/20071014054423/http:/ijcar.org/2008/
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Comp-sci-stub dbt:Use_British_English dbt:Use_dmy_dates dbt:More_citations_needed dbt:Rp dbt:Webarchive dbt:Short_description
dct:subject	dbc:Logic_conferences dbc:Theoretical_computer_science_conferences
gold:hypernym	dbr:Series
rdfs:label	International Joint Conference on Automated Reasoning (en)
owl:sameAs	freebase:International Joint Conference on Automated Reasoning yago-res:International Joint Conference on Automated Reasoning wikidata:International Joint Conference on Automated Reasoning dbpedia-global:International Joint Conference on Automated Reasoning dbr:International Joint Conference on Automated Reasoning
prov:wasDerivedFrom	wikipedia-en:International_Joint_Conference_on_Automated_Reasoning?oldid=1244899712&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:International_Joint_Conference_on_Automated_Reasoning
is dbo:wikiPageRedirects of	dbr:IJCAR dbr:International_Joined_Conference_on_Automated_Reasoning
is dbo:wikiPageWikiLink of	dbr:Automated_reasoning dbr:Satisfiability_modulo_theories dbr:Herbrand_Award dbr:List_of_computer_science_conferences dbr:Interactive_Theorem_Proving_(conference) dbr:International_Conference_on_Automated_...Analytic_Tableaux_and_Related_Methods dbr:List_of_computer_science_conference_acronyms dbr:International_Workshop_on_First-Order_Theorem_Proving dbr:Ulrike_Sattler dbr:CADE_ATP_System_Competition dbr:Vienna_Summer_of_Logic dbr:Association_for_Automated_Reasoning dbr:Conference_on_Automated_Deduction dbr:Geoff_Sutcliffe dbr:IJCAR dbr:International_Joined_Conference_on_Automated_Reasoning
is foaf:primaryTopic of	wikipedia-en:International_Joint_Conference_on_Automated_Reasoning