Matches in Wikidata for { <http://www.wikidata.org/entity/Q6045337> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- Q6045337 description "annual conference series on automated theorem proving and proof assistants" @default.
- Q6045337 name "Interactive Theorem Proving" @default.
- Q6045337 type Item @default.
- Q6045337 label "Interactive Theorem Proving" @default.
- Q6045337 altLabel "ITP" @default.
- Q6045337 altLabel "TPHOLs" @default.
- Q6045337 altLabel "Theorem Proving in Higher Order Logics" @default.
- Q6045337 prefLabel "Interactive Theorem Proving" @default.
- Q6045337 P1476 Q6045337-742DAEE3-073D-4CAE-868D-1976D0514003 @default.
- Q6045337 P1813 Q6045337-d09ce115-43f4-381e-2f2b-144ca348093d @default.
- Q6045337 P214 Q6045337-20FC5C1E-F1E2-4DB6-A1C2-1C27DEF54F24 @default.
- Q6045337 P227 Q6045337-8A00B752-0D9D-47F0-99B7-6339D119A640 @default.
- Q6045337 P244 Q6045337-55263EAF-D6B3-4FB0-9AB3-8C741AB7B3DE @default.
- Q6045337 P2699 Q6045337-45058584-4ac1-d6ed-a149-ea2fdfa135e4 @default.
- Q6045337 P2699 Q6045337-5f1e3b5f-44be-007f-fba5-6f8acf49cecc @default.
- Q6045337 P31 Q6045337-b795cce6-4fe8-5b84-90c8-d5127296f671 @default.
- Q6045337 P5127 Q6045337-f2edb411-402b-a59e-f2a7-4bc332a0abb1 @default.
- Q6045337 P571 Q6045337-806a9f7b-4641-b1e1-1346-769d97f3e10c @default.
- Q6045337 P6366 Q6045337-6A4476B5-7B16-42D2-9109-9DDC47C3D007 @default.
- Q6045337 P6366 Q6045337-DD919700-A336-44A3-80C4-630B8C6ECEEA @default.
- Q6045337 P646 Q6045337-C9BF7B9E-458F-41D7-9156-863907C80C91 @default.
- Q6045337 P856 Q6045337-D9A067EE-3DC3-4CD9-845F-1A4FDCFAADB1 @default.
- Q6045337 P8926 Q6045337-9e693c99-4020-21b3-b80f-6c26cab833d3 @default.
- Q6045337 P8926 Q6045337-ecc96a4d-49df-dd6e-b047-bf46b953fb31 @default.
- Q6045337 P921 Q6045337-b39f3c72-4cd0-b517-0629-9e558fab10af @default.
- Q6045337 P921 Q6045337-e2b63781-45a8-4bb6-821f-5e4d198a88bd @default.
- Q6045337 P214 274210089 @default.
- Q6045337 P227 1092429654 @default.
- Q6045337 P244 nb2012023921 @default.
- Q6045337 P6366 1177357382 @default.
- Q6045337 P6366 2538859667 @default.
- Q6045337 P1476 "International Conference on Interactive Theorem Proving" @default.
- Q6045337 P1813 "ITP" @default.
- Q6045337 P214 "274210089" @default.
- Q6045337 P227 "1092429654" @default.
- Q6045337 P244 "nb2012023921" @default.
- Q6045337 P2699 itp @default.
- Q6045337 P2699 tphol @default.
- Q6045337 P31 Q47258130 @default.
- Q6045337 P5127 "1792" @default.
- Q6045337 P571 "2010-01-01T00:00:00Z" @default.
- Q6045337 P6366 "1177357382" @default.
- Q6045337 P6366 "2538859667" @default.
- Q6045337 P646 "/m/0g9npq" @default.
- Q6045337 P856 itp-conference.github.io @default.
- Q6045337 P8926 "conf/itp" @default.
- Q6045337 P921 Q11387554 @default.
- Q6045337 P921 Q431667 @default.