Wikidata

(Q6045337)

English

Interactive Theorem Proving

annual conference series on automated theorem proving and proof assistants

  • ITP
  • Theorem Proving in Higher Order Logics
  • TPHOLs
In more languages

Statements

inception
2010
0 references
short name
ITP (English)
0 references
title
International Conference on Interactive Theorem Proving (English)
1 reference
stated in
dblp computer science bibliography
reference URL
https://dblp.org/db/conf/itp/
retrieved
13 February 2021

Identifiers

GND ID
1092429654
1 reference
stated in
lobid-gnd
retrieved
3 March 2021
Freebase ID
/m/0g9npq
0 references
Microsoft Academic ID
1177357382
subject named as
ITP: Interactive Theorem Proving
1 reference
stated in
Microsoft Academic
Microsoft Academic ID
1177357382
retrieved
13 February 2021
2538859667
subject named as
TPHOLs: Theorem Proving in Higher Order Logics
1 reference
stated in
Microsoft Academic
Microsoft Academic ID
2538859667
retrieved
13 February 2021
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q6045337&oldid=1375408899"