Matches in Wikidata for { <http://www.wikidata.org/entity/Q106244999> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- Q106244999 description "academic conference" @default.
- Q106244999 description "academic conference" @default.
- Q106244999 description "наукова конференція" @default.
- Q106244999 name "Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997" @default.
- Q106244999 name "Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997" @default.
- Q106244999 type Item @default.
- Q106244999 label "Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997" @default.
- Q106244999 label "Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997" @default.
- Q106244999 altLabel "10. TPHOLs 1997: Murray Hill, NJ, USA" @default.
- Q106244999 altLabel "10. TPHOLs 1997: Murray Hill, NJ, USA" @default.
- Q106244999 prefLabel "Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997" @default.
- Q106244999 prefLabel "Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997" @default.
- Q106244999 P1476 Q106244999-9F1C3BFD-33F9-4867-BC28-40B90EF1A1F6 @default.
- Q106244999 P17 Q106244999-22288EEC-05D1-4C2B-9240-248B524F0C53 @default.
- Q106244999 P179 Q106244999-097DE8E1-209A-4AB2-AC4F-FDEE91698D7A @default.
- Q106244999 P1813 Q106244999-47D34BD2-7450-42E7-ABB7-67BB01E0E73A @default.
- Q106244999 P214 Q106244999-5E437869-34C9-4795-9A7C-B224449FC57A @default.
- Q106244999 P227 Q106244999-31E5F74D-52DB-4EE4-96AD-AD27ABFE629C @default.
- Q106244999 P244 Q106244999-B30DABAB-2EBF-496F-B226-49F6E0939917 @default.
- Q106244999 P276 Q106244999-C551BAF7-49DB-4D98-A641-6FB7007E6F5B @default.
- Q106244999 P31 Q106244999-4ACF0C3C-23CC-4564-B686-C10B80FA6A9C @default.
- Q106244999 P580 Q106244999-9650E2BB-B409-436E-BD16-53C3DEEE15E8 @default.
- Q106244999 P582 Q106244999-23E39138-70ED-4550-8340-E737EFDC1C76 @default.
- Q106244999 P973 Q106244999-25EBE694-ABDE-4D1A-B40A-527AF62C924A @default.
- Q106244999 P214 125173010 @default.
- Q106244999 P227 2164705-7 @default.
- Q106244999 P244 n98069261 @default.
- Q106244999 P1476 "Theorem Proving in Higher Order Logics, 10th International Conference" @default.
- Q106244999 P17 Q30 @default.
- Q106244999 P179 Q105696709 @default.
- Q106244999 P1813 "TPHOLs 1997" @default.
- Q106244999 P214 "125173010" @default.
- Q106244999 P227 "2164705-7" @default.
- Q106244999 P244 "n98069261" @default.
- Q106244999 P276 Q14705780 @default.
- Q106244999 P31 Q2020153 @default.
- Q106244999 P580 "1997-08-19T00:00:00Z" @default.
- Q106244999 P582 "1997-08-22T00:00:00Z" @default.
- Q106244999 P973 tphol97.html @default.