Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Interactive_Theorem_Proving_(conference)> ?p ?o }
Showing triples 1 to 50 of
50
with 100 triples per page.
- Interactive_Theorem_Proving_(conference) abstract "Interactive Theorem Proving (ITP) is an annual international academic conference on the topic of automated theorem proving, proof assistants and related topics, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.ITP brings together the communities using many systems based on higher-order logic such as ACL2, Coq, Mizar, HOL, Isabelle, NuPRL, PVS, and Twelf. Individual workshops or meetings devoted to individual systems are usually held concurrently with the conference.Together with CADE and TABLEAUX, ITP is usually one of the three main conferences of the International Joint Conference on Automated Reasoning (IJCAR) whenever it convenes,".
- Interactive_Theorem_Proving_(conference) wikiPageExternalLink index.html.
- Interactive_Theorem_Proving_(conference) wikiPageID "36522087".
- Interactive_Theorem_Proving_(conference) wikiPageLength "2029".
- Interactive_Theorem_Proving_(conference) wikiPageOutDegree "24".
- Interactive_Theorem_Proving_(conference) wikiPageRevisionID "612989435".
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink ACL2.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Academic_conference.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Automated_theorem_proving.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Category:Automated_theorem_proving.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Category:Logic_conferences.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Category:Theoretical_computer_science_conferences.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Conference_on_Automated_Deduction.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Coq.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Federated_Logic_Conference.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Formal_verification.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink HOL_(proof_assistant).
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink HOL_theorem_prover.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink International_Conference_on_Automated_Reasoning_with_Analytic_Tableaux_and_Related_Methods.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink International_Joint_Conference_on_Automated_Reasoning.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Isabelle_(proof_assistant).
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Isabelle_theorem_prover.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Mizar_system.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink NuPRL.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Nuprl.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Program_verification.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Proof_assistant.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Prototype_Verification_System.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Security.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Springer_Science+Business_Media.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink TABLEAUX.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Twelf.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLinkText "Interactive Theorem Proving (conference)".
- Interactive_Theorem_Proving_(conference) hasPhotoCollection Interactive_Theorem_Proving_(conference).
- Interactive_Theorem_Proving_(conference) wikiPageUsesTemplate Template:Compu-conference-stub.
- Interactive_Theorem_Proving_(conference) subject Category:Automated_theorem_proving.
- Interactive_Theorem_Proving_(conference) subject Category:Logic_conferences.
- Interactive_Theorem_Proving_(conference) subject Category:Theoretical_computer_science_conferences.
- Interactive_Theorem_Proving_(conference) hypernym Conference.
- Interactive_Theorem_Proving_(conference) type Convention.
- Interactive_Theorem_Proving_(conference) comment "Interactive Theorem Proving (ITP) is an annual international academic conference on the topic of automated theorem proving, proof assistants and related topics, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.ITP brings together the communities using many systems based on higher-order logic such as ACL2, Coq, Mizar, HOL, Isabelle, NuPRL, PVS, and Twelf.".
- Interactive_Theorem_Proving_(conference) label "Interactive Theorem Proving (conference)".
- Interactive_Theorem_Proving_(conference) sameAs m.0g9npq.
- Interactive_Theorem_Proving_(conference) sameAs Q6045337.
- Interactive_Theorem_Proving_(conference) sameAs Q6045337.
- Interactive_Theorem_Proving_(conference) wasDerivedFrom Interactive_Theorem_Proving_(conference)?oldid=612989435.
- Interactive_Theorem_Proving_(conference) homepage index.html.
- Interactive_Theorem_Proving_(conference) isPrimaryTopicOf Interactive_Theorem_Proving_(conference).