{"entities":{"Q5122009":{"pageid":7151583,"ns":120,"title":"Item:Q5122009","lastrevid":53826851,"modified":"2026-01-25T19:01:53Z","type":"item","id":"Q5122009","labels":{"en":{"language":"en","value":"Machine-assisted proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250461"}},"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":"Q5122009$E1EDF09E-4053-4F15-8151-4B2B0A84633E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05bac4fbd14ac64894f189da80f239222b66f1c8","datavalue":{"value":{"text":"MACHINE-ASSISTED PROOFS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5122009$66D8B413-CBD8-431C-A522-A69AE62081FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"908b719627e37df2f104a1f9670b293f0577e109","datavalue":{"value":"1452.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5122009$0E727D59-91EF-4809-B3E7-D67AED5444E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"810d0d2cf74da23c69d2671e7e4f3e5c720c3b8c","datavalue":{"value":"10.1142/9789813272880_0038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5122009$BB8BCB6D-0186-4A5C-8017-C2364E5F4C1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20bfd080fdc3b7e3f20d23c71e1a608a3f5fa0ac","datavalue":{"value":{"entity-type":"item","numeric-id":215971,"id":"Q215971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5122009$3B6AA2AB-BACD-4CDA-90B1-87A0F4216B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cb3e028c83691905c995d8898a2d0be37d82e31","datavalue":{"value":{"entity-type":"item","numeric-id":291017,"id":"Q291017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5122009$9B71EB31-0AAA-4B11-B020-460442576FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"019239a5b99c9161ce4389de57414c8f40f605b4","datavalue":{"value":{"entity-type":"item","numeric-id":340573,"id":"Q340573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5122009$B5BF0CC3-4B48-4584-9F19-EC39C65115EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"840c7d35f2ce10026284ad29eddaaaa6e274a32d","datavalue":{"value":{"entity-type":"item","numeric-id":247220,"id":"Q247220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5122009$9597C4CA-36D9-4E38-A7A5-6AA49F4758D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f0ab18ce57b9ab8347e08f772f7be1210180ec1","datavalue":{"value":{"entity-type":"item","numeric-id":483618,"id":"Q483618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5122009$6F18DD68-46C0-4547-A637-4098EF41EFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c54317f72c62b60ac618deab95f5d4857bda35","datavalue":{"value":{"entity-type":"item","numeric-id":1802779,"id":"Q1802779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5122009$41FC4483-FC03-49EA-902C-B32833D052A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c37746969f52d0363331a271748e1a297146089","datavalue":{"value":{"entity-type":"item","numeric-id":3299248,"id":"Q3299248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5122009$174434D0-F60F-40FB-BF3B-025C81133E76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01916a707effd1d89230bb721fc7f1bfff6d69cd","datavalue":{"value":{"time":"+2020-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5122009$736B8A72-37C7-4B2E-BB55-53D4994421CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ab9abbf1cb4702479c2f2d5563e45dea929033a","datavalue":{"value":"https://hdl.handle.net/1721.1/137150","type":"string"},"datatype":"url"},"type":"statement","id":"Q5122009$D4069809-98C2-4466-9058-F826716917E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5122009$DB1898A0-71ED-4C60-9EA7-93C29F1141E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5122009$B739DFB0-6BB1-4143-832A-EC76708F7CAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf45318736a7a0fb64ad243037f00ab5b79e0cd8","datavalue":{"value":"7250461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5122009$66814A58-4C61-4F29-86FA-03FD5EA7085C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bbfc1d360e43e44e0bcb4399e194ab840cbe248","datavalue":{"value":"machine proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5122009$575A958D-67F8-484A-B6C6-53E4DD5A4EC1","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":"Q5122009$907E92F4-B25A-4EDF-B2C0-F402C1B3F6DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d408db45da43fa516d10ed1499077f51e35aa24e","datavalue":{"value":"W2900834372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5122009$EB84F7BA-24E1-4B64-AF4D-0C42A113B77C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf0a8c02a057c776fe99c81438bcc29f9fca789","datavalue":{"value":{"entity-type":"item","numeric-id":5894879,"id":"Q5894879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9126c8388bda463221d975bf46d499ae87d0dad7","datavalue":{"value":{"amount":"+0.6561630964279175","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":"Q5122009$90DAD68A-BD90-4248-8FE7-895FDD1A2862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2559e06209c9386517dea45b0ea6f3736a6b3d7b","datavalue":{"value":{"entity-type":"item","numeric-id":4999431,"id":"Q4999431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d7a6ff66997d63ed374578fe04f643a8464541","datavalue":{"value":{"amount":"+0.6548013687133789","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":"Q5122009$2FF8EE0E-CC58-47F7-8BD9-639639059EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698e157db28629ef10c9bedc71d22dda03a2adfb","datavalue":{"value":{"entity-type":"item","numeric-id":3602565,"id":"Q3602565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fb9dcb781b731d2c8295ed3a35b86fb3b43223","datavalue":{"value":{"amount":"+0.6399025917053223","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":"Q5122009$D7A049F3-E218-4E48-9EC1-0D2247395CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53fd36785de4a96164f555f93c3baf017fceaf3","datavalue":{"value":{"entity-type":"item","numeric-id":657585,"id":"Q657585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98334e8f7a2ba4efc85569dc89adad434432b878","datavalue":{"value":{"amount":"+0.6393012404441833","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":"Q5122009$61BA02AB-11E1-4BA9-B62C-9760F29D0DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d448e36f8cfd439c62b2349ee8debe81db53b2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3105697,"id":"Q3105697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746d9779cd2185b71f3a7c8e521c654fe373d11d","datavalue":{"value":{"amount":"+0.6356238722801208","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":"Q5122009$C8D8EE5C-B224-4011-9339-3D99BCD0B84C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5122009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5122009"}}}}}