{"entities":{"Q1774486":{"pageid":1785228,"ns":120,"title":"Item:Q1774486","lastrevid":72522204,"modified":"2026-04-14T05:29:29Z","type":"item","id":"Q1774486","labels":{"en":{"language":"en","value":"Theorem proving in higher order logics. 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14--17, 2004. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2166988"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774486$FE1E7848-35BA-4494-BE97-156294C0BDF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65300a76e42a545868fcd611c504f4d8745203d0","datavalue":{"value":{"text":"Theorem proving in higher order logics. 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14--17, 2004. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1774486$A3CF592A-633C-4E99-BF38-8BAC03948624","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71202bd079cc7b1a1370fb63cfe9d07ee147c39e","datavalue":{"value":"1060.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774486$EC9B6AE4-3490-47C8-851C-56599F884BCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774486$4F82737B-B1AC-4512-8508-CDCB86952E1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db212be9653cc45c575d3797785d80297f43e5eb","datavalue":{"value":{"time":"+2005-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1774486$8EE824E8-8664-4E7A-B912-14112259F3E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774486$70218F4F-BB83-4736-8468-3D0CAFBAC770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774486$81A2C713-D37C-4FD9-9DEE-95F48BEE4588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774486$5D1E56B2-4BB8-49BB-B3DF-AC0113C1B61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774486$D3AA25E2-932C-4AD7-AB13-50A50B57B254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774486$AA5AEC92-FB29-4363-B1EC-9987A196705D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3cdf1675cc80c27b953e110c75531f94bbe7036","datavalue":{"value":"2166988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774486$82827FC4-0E59-4F37-8912-FB4098F824D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774486$D56875C6-825B-46DD-BDE0-D271C36602C5","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774486$63498BAA-3AC5-4773-8292-581EC51B0C28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d0827adfce9e95a41e9b241cb6e71fc5161e244","datavalue":{"value":"https://doi.org/10.1007/b100400","type":"string"},"datatype":"url"},"type":"statement","id":"Q1774486$3D0168B7-4FE5-4956-ABA7-3BC091359CB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774486$4E3129A7-4F30-4AC0-851C-1DE828409CDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774486$0642F247-6E2B-4419-A696-E94BCF72C355","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving in higher order logics. 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14--17, 2004. Proceedings.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_proving_in_higher_order_logics._17th_international_conference,_TPHOLs_2004,_Park_City,_Utah,_USA,_September_14--17,_2004._Proceedings."}}}}}