About: Interactive Theorem Proving (conference)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Annual conference series on automated theorem proving and proof assistants

Property	Value
dbo:description	annual conference series on automated theorem proving and proof assistants (en)
dbo:wikiPageExternalLink	https://itp-conference.github.io/
dbo:wikiPageWikiLink	dbr:Implementation_of_mathematics_in_set_theory dbr:Automated_theorem_proving dbr:Proof_assistant dbr:Lecture_Notes_in_Computer_Science dbr:Prototype_Verification_System dbr:Coq dbr:Computer_security dbr:Springer_Science+Business_Media dbc:Logic_conferences dbc:Automated_theorem_proving dbr:International_Joint_Conference_on_Automated_Reasoning dbr:Mizar_system dbr:Twelf dbr:Academic_conference dbc:Theoretical_computer_science_conferences dbr:ACL2 dbr:Lean_(proof_assistant) dbr:Conference_on_Automated_Deduction dbr:HOL_(proof_assistant) dbr:HOL_theorem_prover dbr:Program_verification dbr:NuPRL dbr:Isabelle_theorem_prover dbr:TABLEAUX
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Compu-conference-stub dbt:Third-party
dct:subject	dbc:Logic_conferences dbc:Automated_theorem_proving dbc:Theoretical_computer_science_conferences
gold:hypernym	dbr:Conference
rdfs:label	Interactive Theorem Proving (conference) (en)
owl:sameAs	freebase:Interactive Theorem Proving (conference) yago-res:Interactive Theorem Proving (conference) wikidata:Interactive Theorem Proving (conference) wikidata:Interactive Theorem Proving (conference) http://d-nb.info/gnd/1092429654 http://d-nb.info/gnd/16147729-X http://viaf.org/viaf/154802758 http://viaf.org/viaf/274210089 http://viaf.org/viaf/440146998514418941960 dbpedia-global:Interactive Theorem Proving (conference) dbr:Interactive Theorem Proving (conference)
prov:wasDerivedFrom	wikipedia-en:Interactive_Theorem_Proving_(conference)?oldid=1281248042&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Interactive_Theorem_Proving_(conference)
is dbo:wikiPageDisambiguates of	dbr:ITP
is dbo:wikiPageRedirects of	dbr:Theorem_Proving_in_Higher-Order_Logics dbr:Theorem_Proving_in_Higher_Order_Logics dbr:Interactive_Theorem_Proving dbr:TPHOLs
is dbo:wikiPageWikiLink of	dbr:ITP dbr:Theorem_Proving_in_Higher-Order_Logics dbr:Theorem_Proving_in_Higher_Order_Logics dbr:Interactive_Theorem_Proving dbr:TPHOLs
is foaf:primaryTopic of	wikipedia-en:Interactive_Theorem_Proving_(conference)

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