Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/International_Workshop_on_First-Order_Theorem_Proving> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples per page.
- International_Workshop_on_First-Order_Theorem_Proving abstract "The International Workshop on First-Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving for first-order logic and related fields. FTP workshops are less formal than many conferences, but more formal than most workshops. While FTP proceedings are published informally, most FTP workshops have resulted in a special issue of a recognized peer-reviewed academic journal.FTP is one of the constituent meetings of the International Joint Conference on Automated Reasoning, and is merged with this conference in years where it takes place.".
- International_Workshop_on_First-Order_Theorem_Proving wikiPageExternalLink FTP-WS.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageID "18819745".
- International_Workshop_on_First-Order_Theorem_Proving wikiPageLength "1800".
- International_Workshop_on_First-Order_Theorem_Proving wikiPageOutDegree "21".
- International_Workshop_on_First-Order_Theorem_Proving wikiPageRevisionID "581662514".
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Austria.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Automated_theorem_proving.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Bern.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Category:Logic_conferences.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Category:Theoretical_computer_science_conferences.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink First-order_logic.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Germany.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink International_Joint_Conference_on_Automated_Reasoning.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Koblenz.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Linz.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Liverpool.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Norway.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Oslo.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Research_Institute_for_Symbolic_Computation.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Scotland.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Spain.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink St._Andrews.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink St_Andrews.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Switzerland.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink United_Kingdom.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Valencia.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Valencia,_Spain.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLink Vienna.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLinkText "FTP".
- International_Workshop_on_First-Order_Theorem_Proving wikiPageWikiLinkText "International Workshop on First-Order Theorem Proving".
- International_Workshop_on_First-Order_Theorem_Proving hasPhotoCollection International_Workshop_on_First-Order_Theorem_Proving.
- International_Workshop_on_First-Order_Theorem_Proving wikiPageUsesTemplate Template:Comp-sci-theory-stub.
- International_Workshop_on_First-Order_Theorem_Proving subject Category:Logic_conferences.
- International_Workshop_on_First-Order_Theorem_Proving subject Category:Theoretical_computer_science_conferences.
- International_Workshop_on_First-Order_Theorem_Proving hypernym Meeting.
- International_Workshop_on_First-Order_Theorem_Proving type OfficeHolder.
- International_Workshop_on_First-Order_Theorem_Proving comment "The International Workshop on First-Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving for first-order logic and related fields. FTP workshops are less formal than many conferences, but more formal than most workshops.".
- International_Workshop_on_First-Order_Theorem_Proving label "International Workshop on First-Order Theorem Proving".
- International_Workshop_on_First-Order_Theorem_Proving sameAs m.04gpdct.
- International_Workshop_on_First-Order_Theorem_Proving sameAs Q6054337.
- International_Workshop_on_First-Order_Theorem_Proving sameAs Q6054337.
- International_Workshop_on_First-Order_Theorem_Proving wasDerivedFrom International_Workshop_on_First-Order_Theorem_Proving?oldid=581662514.
- International_Workshop_on_First-Order_Theorem_Proving isPrimaryTopicOf International_Workshop_on_First-Order_Theorem_Proving.