Matches in DBpedia 2014 for { <http://dbpedia.org/resource/International_Workshop_on_First-Order_Theorem_Proving> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items 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 wikiPageRevisionID "581662514".
- International_Workshop_on_First-Order_Theorem_Proving hasPhotoCollection International_Workshop_on_First-Order_Theorem_Proving.
- 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 type Abstraction100002137.
- International_Workshop_on_First-Order_Theorem_Proving type Conference108308497.
- International_Workshop_on_First-Order_Theorem_Proving type Gathering107975026.
- International_Workshop_on_First-Order_Theorem_Proving type Group100031264.
- International_Workshop_on_First-Order_Theorem_Proving type LogicConferences.
- International_Workshop_on_First-Order_Theorem_Proving type Meeting108307589.
- International_Workshop_on_First-Order_Theorem_Proving type SocialGroup107950920.
- International_Workshop_on_First-Order_Theorem_Proving type TheoreticalComputerScienceConferences.
- 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 sameAs International_Workshop_on_First-Order_Theorem_Proving.
- 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.