Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Interactive_Theorem_Proving_(conference)> }
Showing triples 1 to 19 of
19
with 100 triples per page.
- ITP wikiPageDisambiguates Interactive_Theorem_Proving_(conference).
- Interactive_Theorem_Proving wikiPageRedirects Interactive_Theorem_Proving_(conference).
- TPHOLs wikiPageRedirects Interactive_Theorem_Proving_(conference).
- Theorem_Proving_in_Higher-Order_Logics wikiPageRedirects Interactive_Theorem_Proving_(conference).
- Theorem_Proving_in_Higher_Order_Logics wikiPageRedirects Interactive_Theorem_Proving_(conference).
- Astronomical_acronyms wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- Automated_proof_checking wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- Federated_Logic_Conference wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- Higher-order_abstract_syntax wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- ITP wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- Interactive_Theorem_Proving wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- International_Conference_on_Automated_Reasoning_with_Analytic_Tableaux_and_Related_Methods wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- International_Joint_Conference_on_Automated_Reasoning wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- List_of_computer_science_conference_acronyms wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- Mizar_system wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- TPHOLs wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- Theorem_Proving_in_Higher-Order_Logics wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- Theorem_Proving_in_Higher_Order_Logics wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- Interactive_Theorem_Proving_(conference) primaryTopic Interactive_Theorem_Proving_(conference).