{"entities":{"Q5717455":{"pageid":7747009,"ns":120,"title":"Item:Q5717455","lastrevid":101651621,"modified":"2026-06-06T01:55:58Z","type":"item","id":"Q5717455","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244737"}},"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":"Q5717455$1DF9C5A6-0A17-4ADF-9B15-C99C82861B72","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":"Q5717455$221F879E-F10E-42F1-AEEE-58C1A89C60C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d8f7b8515fb3e3b7b633c54bcdfbe685ccad36b","datavalue":{"value":"1098.68588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717455$3F20EBF7-DF5A-4CA4-A343-4A65BDC33DB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f59f2b238bcce2cb167eae8f1644fc8816001400","datavalue":{"value":{"entity-type":"item","numeric-id":681468,"id":"Q681468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717455$95D3275A-AAA5-48AF-B12E-4B61A2D22C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd598425370b4985d32bc384815931fbce8a5f2b","datavalue":{"value":{"entity-type":"item","numeric-id":1856148,"id":"Q1856148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717455$B37A9209-B505-442A-AA6C-3B39455B0C65","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":"Q5717455$A75BB515-88A5-4FB0-9161-3B2DD5EB1220","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":"Q5717455$B4551D7E-1E3C-4B19-927F-2832060A067C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717455$DBC850DF-64F9-474A-96F2-C014CC156F3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"495d6f2bfa42ff697f5a049a7259a24474775a8a","datavalue":{"value":"2244737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717455$A6E4F181-2CBA-4609-B9D5-8ABE8F5F0223","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"01712194c207617871fd4fb99ad1e9fcc6e71eb8","datavalue":{"value":{"entity-type":"item","numeric-id":15955,"id":"Q15955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717455$DA123023-62D6-4E5F-81F7-CA6EECE273DC","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":"Q5717455$3B60C6E9-81CC-42E7-B2BD-32C9F690063B","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":"Q5717455$A7ADF458-BD14-4013-BD9C-0DD53E9DAF73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717455$FACC5B78-ABAA-4D1C-98AB-53DDE8546972","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717455$222C28C1-4F21-45AE-BA48-6C657212EBC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f8ce5d21b13362ce2bde3292bb3b710be48ef0","datavalue":{"value":{"entity-type":"item","numeric-id":2763969,"id":"Q2763969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4466dcaa2d5cb629c3caaa04fe24131b30697d","datavalue":{"value":{"amount":"+0.8267440795898438","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":"Q5717455$29AB5963-993B-4ED4-8A55-3209D6BA13C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c11aab4601b1c1e6e49ae69d301579b2c3b0e73","datavalue":{"value":{"entity-type":"item","numeric-id":5170740,"id":"Q5170740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ae48a2bbef8309bf3d7b1303d6d0eb48b38134","datavalue":{"value":{"amount":"+0.7456805109977722","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":"Q5717455$254C1277-300C-4E71-A451-9F64D4E88831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8020b365259e62e4524692a9e8824c3949487e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4798029,"id":"Q4798029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9af23b9f8311f725c0eca8071b906930315db3","datavalue":{"value":{"amount":"+0.7317429184913635","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":"Q5717455$6B423723-3914-4C54-955E-3A2771C5EA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798b072a1398816b9fba0aa3d1f2e29da56583bf","datavalue":{"value":{"entity-type":"item","numeric-id":5936652,"id":"Q5936652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46eae244f8ec74a98c992a26cb55674081c1fd5","datavalue":{"value":{"amount":"+0.7287274599075317","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":"Q5717455$0562337C-712A-4302-A520-42A0664113DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207cef1f9debe8bf2839f9ab723c6bd67fe1a2d2","datavalue":{"value":{"entity-type":"item","numeric-id":1566911,"id":"Q1566911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e98089cda093c747503c38a1958c17dff972d5d","datavalue":{"value":{"amount":"+0.7274676561355591","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":"Q5717455$7BB20D4C-073E-4A79-85B4-B7C14967CDAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing Mathematical Reasoning (scientific article; zbMATH DE number 2244737)","badges":[]}}}}}