{"entities":{"Q5464664":{"pageid":7494223,"ns":120,"title":"Item:Q5464664","lastrevid":92567534,"modified":"2026-06-05T02:02:21Z","type":"item","id":"Q5464664","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195677"}},"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":"Q5464664$A34B0E90-B07F-4356-BCC1-88BA3BB5AB5D","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":"Q5464664$713B0AAB-DACD-44D9-BC70-ECA2E176F4F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d78a64dbb83dfd26fd16fc28a788161238cd70b3","datavalue":{"value":"1099.68723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464664$CCC68A97-68C3-4265-A609-3779BCE1BFF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264da1f1819ab39093e1bf553dc9247ae5239bab","datavalue":{"value":{"entity-type":"item","numeric-id":438541,"id":"Q438541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464664$6A285AFC-F2AD-4AD9-AC66-E1E46C3528ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d78e8b1fd2bada0896418639974db329feb4fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2102945,"id":"Q2102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464664$48FCCD7F-3955-4DDA-AE75-0134F0F46795","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":"Q5464664$092B71F2-BFF1-40A8-A5A7-638D47BB5B1C","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":"Q5464664$C70B53F3-177A-4652-9AF2-7DEEA973835D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464664$F3EE0BE5-BDCC-4FF0-9693-711543A104AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d97fe4a51cbbf34529ec759acaf98de53fefa7a5","datavalue":{"value":"2195677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464664$1AAD14AB-ABDB-40DD-82A8-5A3A7921410E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464664$DFB9EFCA-E75F-4245-B691-7DA134C36289","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":"Q5464664$62E8B807-9D56-4EF9-9022-3192046C2032","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":"Q5464664$C0FEF124-A3F3-4EAD-AD57-F0D3352ADB3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464664$86A1C92A-70FB-40E6-B26C-73A511DEA410","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464664$96C07D0A-D0AB-4026-98E7-014D652D3A30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58008fa9e843b740103517488e6a1855d7482e65","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d13bdbc2c9d13f3766c150c5c3c8e510900376","datavalue":{"value":{"amount":"+0.8421695232391357","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":"Q5464664$42E77A41-8FCF-4AF1-B644-261ECED4E5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4a89a7c13b6470a95b012a7f5ee0837e0223f6","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dedcc5fc845ddf3d5cdf71231ce6be3b5a53160","datavalue":{"value":{"amount":"+0.8129177689552307","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":"Q5464664$D3C768AD-091D-4F90-8EB3-9C9AB9695BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bbc84331b16dfa5ce4f84eb5b27783b7534d355","datavalue":{"value":{"entity-type":"item","numeric-id":540694,"id":"Q540694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dedcc5fc845ddf3d5cdf71231ce6be3b5a53160","datavalue":{"value":{"amount":"+0.8129177689552307","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":"Q5464664$D148B3E7-A5FD-47C0-9CAB-B7BDCCDC3F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118f3b6b83d5012f3514f7e33c593da662b42e29","datavalue":{"value":{"entity-type":"item","numeric-id":5210791,"id":"Q5210791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da65febc2f885728023f13eba4299b83f9ab8698","datavalue":{"value":{"amount":"+0.8000811338424683","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":"Q5464664$4E1D35C9-4745-4F33-A42E-1FC2B584D32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7350440adc65afd101108240b617d27ec4780b","datavalue":{"value":{"entity-type":"item","numeric-id":1915137,"id":"Q1915137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb4498b1b00daab8b9ffb057f0bf260fb278084","datavalue":{"value":{"amount":"+0.7992604970932007","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":"Q5464664$4A4A7FF0-E067-4913-882A-8C62AD58DD85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem Proving in Higher Order Logics (scientific article; zbMATH DE number 2195677)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_Proving_in_Higher_Order_Logics_(scientific_article;_zbMATH_DE_number_2195677)"}}}}}