{"entities":{"Q5717458":{"pageid":7747012,"ns":120,"title":"Item:Q5717458","lastrevid":48625165,"modified":"2026-01-05T10:33:04Z","type":"item","id":"Q5717458","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244740"}},"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":"Q5717458$836D7805-7C48-43EB-A39B-3B173F834C00","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":"Q5717458$3B04DAD1-BDBA-490D-BBAF-824056B5E55C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a605ead65cd6938d582435299c95c6c13e15564a","datavalue":{"value":"1098.68713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717458$A190D19C-F312-4395-9AB1-82EBEFB9BED7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d115b43facea72d5a4874dfa26a3352e0430e6ba","datavalue":{"value":{"entity-type":"item","numeric-id":1855608,"id":"Q1855608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717458$ED0C8375-4C75-4587-A1FD-32739E3CF78F","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":"Q5717458$7B3B6A93-4BF4-4940-81E7-F6A0743C8FB1","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":"Q5717458$DD9A468A-6792-4683-B4A5-56DDFEC2A28B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717458$3AC7955B-E37C-4DB8-BD8A-7EF06B37C8B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4ea2fe7386d955db626f7cf4eb8d9acaa488bfb","datavalue":{"value":"2244740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717458$7550B865-AEF4-4FF4-B201-D427ECB88606","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":"Q5717458$BFEF6F23-12A7-4982-AE9D-91F75AA80C8B","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":"Q5717458$C0893541-66CB-4A8B-A06E-A2366A8E76E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717458$057AAA5A-DE75-435B-8E45-7C0C48973E66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717458$F1681502-C4DE-4AC9-8B99-C03BE1D14296","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f2791900d5f86a6dc1fffc8923cd8928e11b12","datavalue":{"value":{"entity-type":"item","numeric-id":1855609,"id":"Q1855609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889476eb0e740b31ec695bf52cb34b0fb304f8db","datavalue":{"value":{"amount":"+0.7468788027763367","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":"Q5717458$CAA3F381-5426-4F46-AFA2-CED424D7C3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3888c3e21e48b30b99b98805c7836f2efd0111","datavalue":{"value":{"entity-type":"item","numeric-id":1878973,"id":"Q1878973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7efedd4d3fb5027464f92409bf6566e50c66982","datavalue":{"value":{"amount":"+0.7446919083595276","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":"Q5717458$583F2A8B-0B5F-4476-8616-E67DF0E27EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f4b3a8ca5c6aefd6f49cba3afbf5f3f8df177cb","datavalue":{"value":{"entity-type":"item","numeric-id":3770353,"id":"Q3770353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c76d3eab5f01ab02c81a4069543748d85a10138","datavalue":{"value":{"amount":"+0.7072640657424927","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":"Q5717458$94273378-D8D1-434E-A41E-7CA1935D4B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f3791d94a57b16a106cd9190c5cd52372d4b96","datavalue":{"value":{"entity-type":"item","numeric-id":4411517,"id":"Q4411517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314e5d395a2f06e90a0b72b15265563a1fc3dee9","datavalue":{"value":{"amount":"+0.704643726348877","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":"Q5717458$B3E6E63F-331A-4E57-8AAF-01565FAA3738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be2b571300677ae64b71349bbadb97395127928","datavalue":{"value":{"entity-type":"item","numeric-id":4411508,"id":"Q4411508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfec9cda090f138b3903e7d6cc3731d5693e978","datavalue":{"value":{"amount":"+0.7020547389984131","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":"Q5717458$204457A1-5A7E-47C7-8B72-4AFD288466AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717458"}}}}}