{"entities":{"Q5717449":{"pageid":7747003,"ns":120,"title":"Item:Q5717449","lastrevid":101651567,"modified":"2026-06-06T01:55:58Z","type":"item","id":"Q5717449","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244731"}},"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":"Q5717449$3E192A57-3AA2-45D3-ABE2-6D827F51B51E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72fe85e01709f12944d8ecd77a8d9733a0d516d8","datavalue":{"value":{"text":"Mechanizing Mathematical Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5717449$BE09D7D1-1245-4FCD-A869-0BB3D29CDDD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55ab006496d1f1927e5c3b7b41c93e8212114169","datavalue":{"value":"1098.68697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717449$30C76A07-7E69-41FF-85C1-EE1095CD3994","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d967be3a064d3a539902cfc5014c43e64cf1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":2779420,"id":"Q2779420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717449$48554EF4-427E-4583-AD04-771543F1E2EE","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":"Q5717449$BCC664D1-F382-4514-882F-75F507128D80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5717449$3AA95901-7C79-46F4-92D4-798A2AD02EF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717449$0A41B222-F141-4DD7-BDF9-0964586054D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c549ee76f30e527ec9f71645d1d7471c5a21ffa","datavalue":{"value":"2244731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717449$24581631-3B1D-4AD6-B270-3C6169C09982","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f028a8a6db3bc5ae4579b69f24eb8d66b93659f7","datavalue":{"value":{"entity-type":"item","numeric-id":31448,"id":"Q31448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717449$65FD5C2F-FE36-4881-9E13-3071A524D80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a49c6eab3f20625da110b159712fcc58d765d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":31454,"id":"Q31454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717449$2BC68A86-61DC-4291-9CF5-7F7C83A9F7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dab39ec190c7fb2818b71468da9efc600915608f","datavalue":{"value":{"entity-type":"item","numeric-id":33151,"id":"Q33151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717449$9891AE28-45C5-487D-B9D8-01C04E3BEED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3acb32b58b6648ab24c4f56d1580ed655087764","datavalue":{"value":{"entity-type":"item","numeric-id":33152,"id":"Q33152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717449$97A023E6-D923-4841-9AFB-000B61F6DE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717449$BFDC748D-FA42-4618-B645-E40EC3762359","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":"Q5717449$3C88C059-149C-4F80-ADC9-2B40BF8C1EE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"703773b8d2bd6b8fbc89ad622e8566bce28b2e06","datavalue":{"value":"https://doi.org/10.1007/b106663","type":"string"},"datatype":"url"},"type":"statement","id":"Q5717449$24B93C4C-D489-4B6B-8C12-93D9B17B6A5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717449$B86DE838-A371-4D82-B9EC-301986AFFAFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717449$68645A09-C19C-43A3-A694-7F0B447F8D9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636c4f21d4a807ff879d307bca82bf32802534df","datavalue":{"value":{"entity-type":"item","numeric-id":4539626,"id":"Q4539626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b172c327c3b112e4a8e42ab04a092f4105acbc","datavalue":{"value":{"amount":"+0.8363506197929382","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":"Q5717449$880ABE08-6D17-49AE-85ED-AECBC74B7A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554a63a767f74be5643a0902b982692276597fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4647515,"id":"Q4647515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758c30f5cb88139816099304465fc683c0e9161e","datavalue":{"value":{"amount":"+0.8329578042030334","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":"Q5717449$9020FB10-2EC0-442B-8D48-F55E8F26BA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab8385e60b2d92832b7d9f00cb7ee75d33b687c","datavalue":{"value":{"entity-type":"item","numeric-id":4499291,"id":"Q4499291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b5ed30198c17d8c61cd5cd350afb1421e4ee7c","datavalue":{"value":{"amount":"+0.7310833930969238","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":"Q5717449$7A32B8CC-1BC1-48DF-836C-3F8F44C200CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e74be111e7310838d3555ac536d1cf46c6084ed","datavalue":{"value":{"entity-type":"item","numeric-id":4370238,"id":"Q4370238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf36a2447e1c15d52f9566681f57d1e818aa6241","datavalue":{"value":{"amount":"+0.725482702255249","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":"Q5717449$C1155CC3-2368-419D-BD9B-F418872BB5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee2626a7ebeafe9534d0338c5aeb25841f2e563","datavalue":{"value":{"entity-type":"item","numeric-id":2867936,"id":"Q2867936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf36a2447e1c15d52f9566681f57d1e818aa6241","datavalue":{"value":{"amount":"+0.725482702255249","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":"Q5717449$0951E578-0EE4-47A6-A88B-1A688BF80969","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing Mathematical Reasoning (scientific article; zbMATH DE number 2244731)","badges":[]}}}}}