{"entities":{"Q5464660":{"pageid":7494219,"ns":120,"title":"Item:Q5464660","lastrevid":48530290,"modified":"2026-01-05T03:15:28Z","type":"item","id":"Q5464660","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195673"}},"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":"Q5464660$ACAF797F-52C2-4794-8958-F5903BD9FCFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dbf86f36180251007d930e80e9af96d205b11ea","datavalue":{"value":{"text":"Theorem Proving in Higher Order Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5464660$E4391E5E-928B-40C0-B8B5-98E29FE04122","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebfbe15b7d70e540dec70f1be1926d79c959fb3f","datavalue":{"value":"1099.68584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464660$FC3EFCB4-E005-4DF8-AA72-AF71F9DAFD34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc276cb0285ab91fe37913260a1294cd4b610f4","datavalue":{"value":{"entity-type":"item","numeric-id":710671,"id":"Q710671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464660$05866B12-64E5-4BF7-9605-7B7DA23BED73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464660$7FC7DEEA-BA4E-45B7-8A5F-B170B4AFC170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8135914452c3b1bd839ce74f3161ea4765c65f58","datavalue":{"value":{"entity-type":"item","numeric-id":287276,"id":"Q287276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464660$1D541341-8747-4FE9-8230-15852E9A1B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cb2d83c6e9a26863f5eadd24ed7ef714112a42b","datavalue":{"value":{"entity-type":"item","numeric-id":626930,"id":"Q626930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464660$52B1413E-52AB-4EFF-8B8F-C2295A8B1889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48c83a006ad04a231123636e10733cff431ab658","datavalue":{"value":{"entity-type":"item","numeric-id":2463559,"id":"Q2463559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464660$4B4FAF3C-BEA2-4FFC-880B-88DF3BC6041D","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":"Q5464660$5E857B8B-D48C-43F5-8BCB-C6F6BDF75CEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddb11065d0a8b2eb0c9ba922644fcd7df350e36a","datavalue":{"value":{"time":"+2005-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5464660$60EF1121-A2E2-4D38-B80C-C4450430CA11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464660$1A0AC5CE-8021-4201-BB2C-63915DD0B5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464660$FCFEC292-09BB-48FF-9333-B17FC14D9258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464660$057270B8-D288-4183-AAB6-D2229E00B055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464660$10B22DBE-A8D2-4F86-ADA4-3E5B486F3773","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec57ea4865ecb3d3ab35908e338c9732bd78f3d4","datavalue":{"value":"2195673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464660$ABB24D10-F6A4-447A-9B15-CCE58220C533","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464660$B600BA25-EEFA-4487-A4F9-5FA195DF6A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464660$6F1783EB-8B2B-4157-992C-2C4706677E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5b7ba1ddbabcead97910961d99f53cdff3f03880","datavalue":{"value":{"entity-type":"item","numeric-id":13134,"id":"Q13134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464660$B5C66CE1-C8B2-4DFD-B7B1-6409EEA3D760","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":"Q5464660$24D2B08F-8D63-4FD4-9209-C002984EAFCF","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":"Q5464660$D90BB4AB-A358-4BB2-AA28-B666B4D2A88D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464660$FB380929-774E-495F-AF4E-0012239B1C58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464660$A0DFA950-A95F-4FE2-9BBE-AE5371FD05FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f7a82e5cad8de157500cfb6b195e750d29cb7a","datavalue":{"value":{"entity-type":"item","numeric-id":2463560,"id":"Q2463560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5fb10fb39bf3bcea53e9f7abe2fb049abb3ca96","datavalue":{"value":{"amount":"+0.8784891366958618","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464660$C76E7392-E87F-48FD-84E0-9B341BCFD7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6e0e54c9a5430ace437596f258b2278f7cb408","datavalue":{"value":{"entity-type":"item","numeric-id":3460507,"id":"Q3460507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980df652125ec7a14fe12169334c4b6f028dfc67","datavalue":{"value":{"amount":"+0.7853649854660034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464660$602EE5AB-090F-4A10-88E8-5685D206C588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e44dbe8372a6af1444e365e211c442dff80025","datavalue":{"value":{"entity-type":"item","numeric-id":5705934,"id":"Q5705934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6034bd144f6267a16ed5a8507bfafe9240be07","datavalue":{"value":{"amount":"+0.7796242237091064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464660$D4331BCF-EBEE-4838-BA98-852E93C2C8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7378f1a598c58a10838c419dd9bdef118d4459b","datavalue":{"value":{"entity-type":"item","numeric-id":3183530,"id":"Q3183530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab852892df013b5fa10fe750d9acad59698ad13","datavalue":{"value":{"amount":"+0.7739489078521729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464660$9E2CC5E1-E220-4DFC-9C5E-AC59CCCFCF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c39750c89ae377b7d1f1ee49f4fdd71880dca9","datavalue":{"value":{"entity-type":"item","numeric-id":3558217,"id":"Q3558217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab7e75597f55de3292ffa8070307bb36488810a","datavalue":{"value":{"amount":"+0.7523183822631836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464660$8CA9B26B-1AC7-4780-898A-23A576CC9D61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464660","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464660"}}}}}