{"entities":{"Q5717448":{"pageid":7747002,"ns":120,"title":"Item:Q5717448","lastrevid":48625138,"modified":"2026-01-05T10:33:01Z","type":"item","id":"Q5717448","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244730"}},"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":"Q5717448$79F2C9B0-0191-42AD-89C4-8DBF91FCCBE2","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":"Q5717448$047D98C4-0228-483C-B67D-D2D1EBE9AE2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1ecf2ba0615317f04f76af6dc49a6d1af9e85f2","datavalue":{"value":"1098.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717448$8F14FB63-4CA1-45CC-AD09-75F328D8A990","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717448$F33D162F-D168-488A-8C9B-51CE34EE4BF4","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":"Q5717448$337412EF-2782-451C-B493-10C9E859A159","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":"Q5717448$C8C98ED3-B1E4-4EEE-9303-279422AB47E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717448$C776C5FF-D119-4E24-AED8-CFCD6859D9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717448$8D5CC5AB-BDBE-48C0-A95B-8322CE0154CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717448$66FA704A-EBEE-486E-8207-79F33039A0FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17a19a36fa98ab3c7f5cb99cfde1c0a6cf97ff69","datavalue":{"value":"2244730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717448$D0513460-0D7F-4A78-9D93-66C2AD5A9CF9","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":"Q5717448$5F6E3325-846E-4810-92C9-1704A2A9D6A5","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":"Q5717448$D1481C12-352B-4650-8266-D2F9D76616FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717448$569B0973-076E-4124-9D3E-A27BE9916052","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717448$65AB52CF-CDDC-4091-BF0B-A316FF428C1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33df592e28ab06a83d8404441908fe453818eab","datavalue":{"value":{"entity-type":"item","numeric-id":4593636,"id":"Q4593636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45aa51bf634c6a990a6bbec80fc0e2782ae4a45b","datavalue":{"value":{"amount":"+0.6989008784294128","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":"Q5717448$7B611758-DA94-4A3B-8D80-E426244A3C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3a05f56f7473f615ba5f02f68ca1753640757b","datavalue":{"value":{"entity-type":"item","numeric-id":3338233,"id":"Q3338233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8205c6e65b1e141d652cb4e635e2cb25e110ab","datavalue":{"value":{"amount":"+0.6981080174446106","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":"Q5717448$7F79AEC6-A6DB-4003-B66E-027F8C5E0B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991f0a0d01b0a98d538b91b6b4422d888fb4f6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3654811,"id":"Q3654811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51c5fa2a09d262930c31449127bc628397e8b23","datavalue":{"value":{"amount":"+0.6978749632835388","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":"Q5717448$F5879F9E-7B25-4752-8BE3-05B78C2BE3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239e9cc47417fe356132f0300d7025f42b281036","datavalue":{"value":{"entity-type":"item","numeric-id":6488544,"id":"Q6488544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9537e8676ffaee7d65620b6bff32ed5ef718a9","datavalue":{"value":{"amount":"+0.6934895515441895","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":"Q5717448$21FD2623-6552-49C3-9740-CCEC5565DF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151afb132a63865fa7e6cee89d7b3bcf831840f8","datavalue":{"value":{"entity-type":"item","numeric-id":2726302,"id":"Q2726302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d44a9fca89fb467cf606e1d41990e5d1f61f84","datavalue":{"value":{"amount":"+0.68315190076828","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":"Q5717448$E12D5AC5-A268-449D-BFCB-0025CE3A6E77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717448"}}}}}