{"entities":{"Q5717461":{"pageid":7747015,"ns":120,"title":"Item:Q5717461","lastrevid":48625174,"modified":"2026-01-05T10:33:04Z","type":"item","id":"Q5717461","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244743"}},"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":"Q5717461$2DBE8869-6D79-4790-94BD-90AFD85D5F1B","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":"Q5717461$F3843C55-FEC0-4917-8332-DB0098417E0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c32538ed1fe390fd49d21690d18b064296ee3ae0","datavalue":{"value":"1098.68913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717461$F18D1F17-CFE7-4908-AB2C-DC4C0652F20D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"815398644a498decddd1ae73a372fae389a433df","datavalue":{"value":{"entity-type":"item","numeric-id":1109822,"id":"Q1109822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717461$B9396605-14FF-4DF4-B546-0560EC575F45","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":"Q5717461$BC1F24E5-5591-4530-9822-2A52B526FF8F","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":"Q5717461$4FE4B0E6-098E-43B4-8369-36D71B5D95E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717461$3CE5BBEB-5F45-4661-AA9C-0D4F1D06731E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc14837060c53be717c97a69a71b9f9bedd491ac","datavalue":{"value":"2244743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717461$1F743566-6C1F-49F7-8689-79D1AE183D8A","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":"Q5717461$C2E4D44D-9F83-4D3B-A647-03FB81A98C19","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":"Q5717461$573BE2D7-E7FE-4F81-A083-844E9CC03C19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717461$1AFDBCA6-30BC-4FD4-A6EB-2DDA3555A5BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717461$495F4746-AA97-45C7-8C7A-B878A3418A3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df16dd32b8b346a13fb782f5cb732413df93251","datavalue":{"value":{"entity-type":"item","numeric-id":4540950,"id":"Q4540950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0980cce4ae3b8795133bae457fc2ac8ea5cf7c","datavalue":{"value":{"amount":"+0.8301494121551514","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":"Q5717461$D9BC0EE0-EA58-42E2-A78C-2E6BCD137DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397fad21a06a8dfa23d1763865cbdf7289c7e6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5709755,"id":"Q5709755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8bfb9782369b44af1b785ac15a1114abbadf1c6","datavalue":{"value":{"amount":"+0.7948351502418518","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":"Q5717461$FB2F02F9-B8BA-47C4-9919-81542C0D25AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa35f789b6692c674a5bd069e0c4b06ff8b9536f","datavalue":{"value":{"entity-type":"item","numeric-id":3379042,"id":"Q3379042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fc5ab02b479851ecbb315b404f2b4e5ca1289e","datavalue":{"value":{"amount":"+0.7892690300941467","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":"Q5717461$CF9C7811-7918-4C2D-9CB3-2691D5CFA3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82dc1b5311742da2fd19c0de07c000bf1d2ba2bd","datavalue":{"value":{"entity-type":"item","numeric-id":2263409,"id":"Q2263409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493111d79dddb4ee9edb2aeef83ec81b7c719fc8","datavalue":{"value":{"amount":"+0.7867022156715393","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":"Q5717461$1368A0F9-81E6-4884-9D02-D5E224FC3226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5bbf404a66724e138bb9a0b9f9e8c13aac9bc3","datavalue":{"value":{"entity-type":"item","numeric-id":5714179,"id":"Q5714179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c47830ede68494515ceda6b879a77c876a96008","datavalue":{"value":{"amount":"+0.7713847756385803","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":"Q5717461$64F890CB-F079-4792-BEE3-8B7672CD410C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717461"}}}}}