This HTML5 document contains 69 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n13https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n16http://www.uc.pt/en/congressos/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n15http://www.ijcar.org/
wikipedia-enhttp://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
n21http://www.ijcar.org/2008/
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n22http://ijcar06.uni-koblenz.de/

Statements

Subject Item
dbr:List_of_computer_science_conference_acronyms
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:List_of_computer_science_conferences
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:Ulrike_Sattler
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:Interactive_Theorem_Proving_(conference)
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:International_Conference_on_Automated_Reasoning_with_Analytic_Tableaux_and_Related_Methods
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:International_Joint_Conference_on_Automated_Reasoning
rdf:type
yago:Gathering107975026 yago:Group100031264 yago:Conference108308497 yago:Meeting108307589 yago:Abstraction100002137 dbo:TelevisionShow yago:SocialGroup107950920 yago:WikicatLogicConferences yago:WikicatTheoreticalComputerScienceConferences
rdfs:label
International Joint Conference on Automated Reasoning
rdfs:comment
The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place. The conference is organized by CADE Inc., and CADE has always been one of the conferences partaking in IJCAR.
dcterms:subject
dbc:Logic_conferences dbc:Theoretical_computer_science_conferences
dbo:wikiPageID
4368061
dbo:wikiPageRevisionID
1048430467
dbo:wikiPageWikiLink
dbr:Coimbra dbr:Seattle dbr:Automated_reasoning dbr:Sydney dbr:Conference_on_Automated_Deduction dbr:Vienna_Summer_of_Logic dbr:Manchester dbr:Vienna dbr:Siena dbr:Automated_deduction dbr:Cork_(city) dbr:Edinburgh dbr:International_Workshop_on_First-Order_Theorem_Proving dbr:TPHOLs dbc:Logic_conferences dbr:Alan_Turing_Centenary_Conference dbr:TABLEAUX dbr:CALCULEMUS dbr:FroCoS dbc:Theoretical_computer_science_conferences
dbo:wikiPageExternalLink
n15: n16:ijcar2016 n21: n22:
owl:sameAs
wikidata:Q6051264 n13:4nqzk freebase:m.0bzjd7 yago-res:International_Joint_Conference_on_Automated_Reasoning
dbp:wikiPageUsesTemplate
dbt:Comp-sci-stub dbt:Unreferenced
dbo:abstract
The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place. The conference is organized by CADE Inc., and CADE has always been one of the conferences partaking in IJCAR. * The first IJCAR was held in Siena, Italy in 2001 as a merger of CADE, FTP, and TABLEAUX. * The second IJCAR was held in Cork, Ireland in 2004 as a merger of CADE, FTP, TABLEAUX, and . * The third IJCAR was held as an independent subconference of the fourth Federated Logic Conference in Seattle, United States, and merged CADE, FTP, TABLEAUX, FroCoS and TPHOLs. * The fourth IJCAR was held in Sydney, Australia in 2008, and merged CADE, FroCoS, FTP and TABLEAUX. * The fifth IJCAR was held in 2010 as an independent subconference of the fifth Federated Logic Conference in Edinburgh, UK, and merged CADE, FTP, TABLEAUX, and FroCoS. * The sixth IJCAR was held in Manchester, UK, as part of the Alan Turing Year 2012, and was collocated with the Alan Turing Centenary Conference. It again merged CADE, FTP, TABLEAUX, and FroCoS. * The seventh IJCAR was held in Vienna, Austria, as part of the Vienna Summer of Logic in 2014, and merged CADE, TABLEAUX, and FroCoS. * The eighth IJCAR was held in Coimbra, Portugal, in 2016, and merged CADE, TABLEAUX, and FroCoS.
gold:hypernym
dbr:Series
prov:wasDerivedFrom
wikipedia-en:International_Joint_Conference_on_Automated_Reasoning?oldid=1048430467&ns=0
dbo:wikiPageLength
2066
foaf:isPrimaryTopicOf
wikipedia-en:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:International_Workshop_on_First-Order_Theorem_Proving
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:Geoff_Sutcliffe
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:Conference_on_Automated_Deduction
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:Herbrand_Award
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:Association_for_Automated_Reasoning
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:Automated_reasoning
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:CADE_ATP_System_Competition
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:Satisfiability_modulo_theories
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:Vienna_Summer_of_Logic
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:IJCAR
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
dbo:wikiPageRedirects
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
dbr:International_Joined_Conference_on_Automated_Reasoning
dbo:wikiPageWikiLink
dbr:International_Joint_Conference_on_Automated_Reasoning
dbo:wikiPageRedirects
dbr:International_Joint_Conference_on_Automated_Reasoning
Subject Item
wikipedia-en:International_Joint_Conference_on_Automated_Reasoning
foaf:primaryTopic
dbr:International_Joint_Conference_on_Automated_Reasoning