About: International Workshop on First-Order Theorem Proving

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

Conference series on automated theorem proving for first-order logic

Property	Value
dbo:description	conference series on automated theorem proving for first-order logic (en)
dbo:wikiPageWikiLink	dbr:Koblenz dbr:First-order_logic dbr:Automated_theorem_proving dbr:Research_Institute_for_Symbolic_Computation dbr:Austria dbr:Bern dbr:Germany dbr:Norway dbr:Oslo dbr:Scotland dbr:Spain dbr:Switzerland dbr:United_Kingdom dbr:Vienna dbc:Logic_conferences dbr:Linz dbr:International_Joint_Conference_on_Automated_Reasoning dbr:Liverpool dbc:Theoretical_computer_science_conferences dbr:St._Andrews dbr:Valencia,_Spain dbr:IJCAR
dbp:wikiPageUsesTemplate	dbt:Comp-sci-theory-stub dbt:Reflist dbt:Use_British_English dbt:Use_dmy_dates dbt:More_citations_needed dbt:Mathlogic-stub dbt:Rp dbt:Short_description
dct:subject	dbc:Logic_conferences dbc:Theoretical_computer_science_conferences
gold:hypernym	dbr:Meeting
rdfs:label	International Workshop on First-Order Theorem Proving (en)
owl:sameAs	freebase:International Workshop on First-Order Theorem Proving yago-res:International Workshop on First-Order Theorem Proving wikidata:International Workshop on First-Order Theorem Proving dbpedia-tt:International Workshop on First-Order Theorem Proving dbpedia-global:International Workshop on First-Order Theorem Proving
prov:wasDerivedFrom	wikipedia-en:International_Workshop_on_First-Order_Theorem_Proving?oldid=1205734034&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:International_Workshop_on_First-Order_Theorem_Proving
is dbo:wikiPageDisambiguates of	dbr:FTP_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:FTP_(disambiguation) dbr:List_of_computer_science_conference_acronyms dbr:International_Joint_Conference_on_Automated_Reasoning
is foaf:primaryTopic of	wikipedia-en:International_Workshop_on_First-Order_Theorem_Proving

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