{"entities":{"Q5464646":{"pageid":7494205,"ns":120,"title":"Item:Q5464646","lastrevid":92567372,"modified":"2026-06-05T02:02:20Z","type":"item","id":"Q5464646","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195662"}},"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":"Q5464646$6C98497E-6303-42A5-AEC7-0DB24DD33BB8","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":"Q5464646$50583907-B342-4586-8760-CAE7C7E60647","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31ce8a7c1a44225b551755d471ccfef81569bef2","datavalue":{"value":"1099.68731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464646$8375B425-8A1A-489B-9A60-B9217E5E1AE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464646$B8D94CC2-FAB9-4546-852E-035C7DFC5A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27df1ec270d38bacfabeb263173fececd91ad35b","datavalue":{"value":{"entity-type":"item","numeric-id":939935,"id":"Q939935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464646$C6C5E849-1B40-43AC-86BD-6AD306FE89E4","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":"Q5464646$A30C39C9-53DF-4F5B-BF59-827801B4C4EE","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":"Q5464646$E6B01402-90DC-46DC-8C71-07B43857E5FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464646$B1F757A2-BA5E-4FEF-BA75-2640A0F56C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464646$E13B17C6-CD39-4E4F-9D75-9E81D1B98EF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c1260174e35d50f520aec18068616bfb7fa935b","datavalue":{"value":"2195662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464646$3BAC2BA0-0ADE-4879-B8E6-A6B14ACC33F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464646$55805EF4-F0D5-4950-B784-C4151A78DF87","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":"Q5464646$36BEFBC7-23AB-4307-A784-AB7E1BA26BFA","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":"Q5464646$D985493B-0733-44D2-BCB7-55FB1BC5BBA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464646$BC1E11A2-5F48-4B82-84A5-3A9865D586A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464646$DBB5683D-0940-4D57-8C4C-47178D5841E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75979f83f49c16579936565f94c2ab805195a6c","datavalue":{"value":{"entity-type":"item","numeric-id":2752051,"id":"Q2752051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247aead86956135537a2d73c4d16d59b52aa4a6e","datavalue":{"value":{"amount":"+0.7972576022148132","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":"Q5464646$4C8DAF36-947A-439D-897B-57AC20CFC752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2c52ab8d67f27eb61e5c1ff857d56837dcbe85","datavalue":{"value":{"entity-type":"item","numeric-id":861687,"id":"Q861687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827e4376e5900e98418129558ab2e84c41900b84","datavalue":{"value":{"amount":"+0.7972573041915894","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":"Q5464646$F6FFBC45-569B-4153-BE69-662DD739B0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027d01452061cd96895758d35e71f90332b94a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4551130,"id":"Q4551130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef34e3b067460ecfd0d7aa3767b5e725814cde4b","datavalue":{"value":{"amount":"+0.7969202995300293","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":"Q5464646$DEE1C824-F113-4E79-8E1F-C0773E62E201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5a37b1c080cc6749930416084e59c058a1126e","datavalue":{"value":{"entity-type":"item","numeric-id":2769440,"id":"Q2769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb34c6d8319cbbc7b3435e090a7283f823d9ced0","datavalue":{"value":{"amount":"+0.7798093557357788","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":"Q5464646$17BA56C3-06AF-4B08-B9E1-E05DD3621FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfcee1337228d2b832d0586dc81ccf3907a10efa","datavalue":{"value":{"entity-type":"item","numeric-id":5716545,"id":"Q5716545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57cbfa31c93bb2958437bb324e70ff1c7b97e85","datavalue":{"value":{"amount":"+0.7792186737060547","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":"Q5464646$F1A8B07B-6575-4BEE-B819-6A42269F54AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem Proving in Higher Order Logics (scientific article; zbMATH DE number 2195662)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_Proving_in_Higher_Order_Logics_(scientific_article;_zbMATH_DE_number_2195662)"}}}}}