{"entities":{"Q5717443":{"pageid":7746997,"ns":120,"title":"Item:Q5717443","lastrevid":101651513,"modified":"2026-06-06T01:55:57Z","type":"item","id":"Q5717443","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244725"}},"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":"Q5717443$BA974808-0E7A-4DFB-A0A9-7BAAF150D175","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":"Q5717443$6E4E58F6-A63C-4B5F-BA6F-BBFF1B15AB9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7eb2925e57e1a49856b6c28a23ed976ff10f0519","datavalue":{"value":"1098.68695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717443$E5E7DAC2-12CA-4F62-9592-620D1865E0D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717443$AB3855DB-EEC6-403A-8541-2F84AE2D312A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41eb43f669c6e9bd047f95552906672fa500745e","datavalue":{"value":{"entity-type":"item","numeric-id":1322771,"id":"Q1322771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717443$01EBEFA4-CA7B-42F1-A05E-812FA7433BA5","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":"Q5717443$01C35E8B-4D4A-4E69-98B6-3B9090C4F623","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":"Q5717443$18CFE7D6-2E3E-4539-8152-C63B820D119C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717443$6DA77C7E-B9CF-4D9C-A320-0D9CA1AFAB5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d66826a7c3d5e1c8a443054574dc982e847655e9","datavalue":{"value":"2244725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717443$3C6F36AA-AC9D-4D36-BFBB-489403AE4C97","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717443$4C35F96D-D497-418B-8446-9DA00C601000","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":"Q5717443$EF9C4365-0AEE-4DDC-BEC2-E0833FD1552F","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":"Q5717443$31D46CBE-3F6E-49BD-B505-B5DB617FACE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717443$4A4BE57A-D176-41C5-A8AC-0FE194BB7165","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717443$FBFEB485-5F37-4FF4-A2E1-44583512BCB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d0ee9e11fc32e1b0753bd4e43ae88705cf3b42","datavalue":{"value":{"entity-type":"item","numeric-id":2767917,"id":"Q2767917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6cb93dd93a9727f94f472f307d0468193b588b4","datavalue":{"value":{"amount":"+0.8492826819419861","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":"Q5717443$369EEC0A-62BC-4ECD-86CF-248F9C1AAA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c7206706f5c441b76706999383c5a1494df06f","datavalue":{"value":{"entity-type":"item","numeric-id":3134856,"id":"Q3134856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6cb93dd93a9727f94f472f307d0468193b588b4","datavalue":{"value":{"amount":"+0.8492826819419861","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":"Q5717443$2940F13C-8B36-483B-BFA1-C3A53197C457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef7fd51a83f6accaa5090d5f876046edaf576cf","datavalue":{"value":{"entity-type":"item","numeric-id":1810920,"id":"Q1810920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b70af37478650b85905ed2748509aad36d2408d","datavalue":{"value":{"amount":"+0.8420059680938721","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":"Q5717443$2901BB36-55FB-409B-A908-BEC89A6A9FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050befdf8477652a6f6e3c1291975490d044d737","datavalue":{"value":{"entity-type":"item","numeric-id":2487870,"id":"Q2487870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a769c97a2244b6c74ac14ca54eb1e7f064504f","datavalue":{"value":{"amount":"+0.7101094722747803","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":"Q5717443$29B60338-14E9-46B8-B5EA-F90F8B9DE2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3317123e5c3251d222b5f976bdb77838accc61e9","datavalue":{"value":{"entity-type":"item","numeric-id":3995436,"id":"Q3995436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2603f8bba517734d7aac03d773652029f934ec97","datavalue":{"value":{"amount":"+0.7017771601676941","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":"Q5717443$5D3B3193-1587-4BE4-BF26-5B513FE443FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing Mathematical Reasoning (scientific article; zbMATH DE number 2244725)","badges":[]}}}}}