{"entities":{"Q5717451":{"pageid":7747005,"ns":120,"title":"Item:Q5717451","lastrevid":48625147,"modified":"2026-01-05T10:33:02Z","type":"item","id":"Q5717451","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244733"}},"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":"Q5717451$42F87890-A8D9-4618-9988-4C07FD042FFC","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":"Q5717451$F95EF148-F96A-4E6D-AC03-891AB7B8C802","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a41843e8e7aa375073085c360529866170fb561","datavalue":{"value":"1098.97500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717451$65DA31CF-66E0-4471-8B17-DD813A31DFA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cea051d05f9c82cd45fe09a993a2a5ee175b6ff","datavalue":{"value":{"entity-type":"item","numeric-id":578890,"id":"Q578890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717451$C62D5914-A3EE-497B-9289-F70624667017","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":"Q5717451$5854AA20-23D5-4AB9-8379-CB3035D3C6B0","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":"Q5717451$8DA31217-23B0-4434-B817-D8DCAE76D8F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd2488fa5387264618f9d0753309e41d713621f6","datavalue":{"value":"97U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717451$88B64CA7-C1FB-44A5-B723-A5CE93751650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cdc6607323b1932e270dcc852c92792416514a3","datavalue":{"value":"97U70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717451$5AFA29E5-E5CD-4AA3-9ECF-5E87ABFC7BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717451$DDC16268-7F2E-46AD-9CF8-A8A9E364AC15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7549af2444e7b1ba0118f26ceb73ca32351a31b2","datavalue":{"value":"2244733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717451$08B9A337-BE25-4BF7-BD57-572B88CDA7B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c26e502945d8663f2c00a3f3699c4f3ceb44ef","datavalue":{"value":{"entity-type":"item","numeric-id":15955,"id":"Q15955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717451$26CF5EAE-0C5E-4B25-8887-C0A7862BC898","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":"Q5717451$730A6EF5-5259-45C4-A504-EBD445982A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8867cc230123c9cdf6c24d64516128716c50086d","datavalue":{"value":{"entity-type":"item","numeric-id":14336,"id":"Q14336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717451$D689116E-5D0D-404D-A26C-E305DAB30582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322cfa9d250a6a53032394dc0d9f662b03cdb062","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717451$4500D2CF-965D-44CE-A0E0-C7DCBA83D941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717451$9FDDBD86-74CD-442D-B701-59239F790C38","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":"Q5717451$B3EC63F0-61B0-4512-8482-F7028864852E","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":"Q5717451$D30CA6F5-7C8A-4F98-8C11-B5DAA71E17E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717451$AAA318F1-F0A9-4CCC-996C-4E8A1DD1BDF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717451$57A0634C-E5E2-46CF-A07D-DA3E6D42D70F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c875195e00a6f0911d0b23680ae39a0e0e6692","datavalue":{"value":{"entity-type":"item","numeric-id":3297988,"id":"Q3297988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2aa79b8c16115b2eee1cd36852e2604cb813a71","datavalue":{"value":{"amount":"+0.6996358036994934","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":"Q5717451$3B138CB3-F8C5-45B4-A85E-E212616EEB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3fc75238540899c4c4f83c33d041b7b731ed90b","datavalue":{"value":{"entity-type":"item","numeric-id":2779559,"id":"Q2779559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbfc46fb3d3ab81500661de181401b90b60d8502","datavalue":{"value":{"amount":"+0.6676134467124939","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":"Q5717451$D2693521-D18B-42D0-9957-1FDC4965EE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0939945381a493e45d80ae14420cb93b453bc6ac","datavalue":{"value":{"entity-type":"item","numeric-id":4325513,"id":"Q4325513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fa3e070708aa8559aa55b9d17260e84b2b9116","datavalue":{"value":{"amount":"+0.667293131351471","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":"Q5717451$E2768F42-B457-4C8D-92E2-65CDD9F88C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3f2fc6ee9274e6ac1bb03dcab2daf0188f9692","datavalue":{"value":{"entity-type":"item","numeric-id":3046062,"id":"Q3046062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a077ca3c7d976a966d1ed105ca9f409562ad42da","datavalue":{"value":{"amount":"+0.6664705276489258","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":"Q5717451$4BF80138-E2F6-4D5B-A542-58D2AFC91F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6fed5cacfff0431de5782e79494a176cc1b9426","datavalue":{"value":{"entity-type":"item","numeric-id":4496880,"id":"Q4496880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec82dfb6d0b23db1731366c141b325d51d0c61bf","datavalue":{"value":{"amount":"+0.6640129685401917","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":"Q5717451$4EC225D8-3B35-4323-A48B-5C2D5BFD06EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717451"}}}}}