{"entities":{"Q2655322":{"pageid":2666065,"ns":120,"title":"Item:Q2655322","lastrevid":79303487,"modified":"2026-05-06T13:36:39Z","type":"item","id":"Q2655322","labels":{"en":{"language":"en","value":"Formalizing an analytic proof of the prime number theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5662153"}},"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":"Q2655322$24FCF4C1-C811-41D4-97BC-ABCBF60A9A4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52094248e03a5009c8363b30adfb126fdec07147","datavalue":{"value":{"text":"Formalizing an analytic proof of the prime number theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655322$7CD6A779-BD38-4F27-953C-290840579DC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d84859db1c3fdb7428a2d70c75adff61e9d9a40a","datavalue":{"value":"1185.68624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655322$2E34BCBE-F300-492D-B560-AE85A4CCCE1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$6140AD92-85BB-47A0-BFE9-E766C5BD0767","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$B40CDA43-327A-4A5D-9629-4325237BD5A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeda675146eaac960e312504b1b7dd784f800a08","datavalue":{"value":{"time":"+2010-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2655322$5E20096B-793F-4648-AA4E-C5A5FA0CC0C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655322$56219005-BD1D-4CA2-8962-0B6D38212130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655322$07A4DFE3-3FA2-4181-BD4B-C86F0742AFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e16b73d668e1481a22707de3aa06c6e25136661","datavalue":{"value":"11A41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655322$C0A395E7-9D0F-47D8-BA69-A83B7DCC17CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a69af57df7339d5ba0333688e5515561c25670d","datavalue":{"value":"5662153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655322$8D2F3494-A4BC-4671-A067-8BB5988035A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe01a5a7a5e177b29450dd28da2d0b980a791cd","datavalue":{"value":"analytic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655322$3661291A-9CFA-4454-81F7-D94CC0E694A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"952f21178d1a225b51df1682ef92b4d9e390d96b","datavalue":{"value":"prime number theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655322$D0403272-F3F3-4921-A0E1-29A80BF6786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4afb99ebb13d4e922d0895c44c4e1e5a05b5edcb","datavalue":{"value":"computer formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655322$7DB97443-6A27-4CD1-A8FA-E1CBD2AFDBE0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$B0B2121D-C36A-4438-ADAF-E21AD9C5363C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$44AB74E8-DA8B-4161-878D-7C8C3F14ED07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$8954D05B-BA47-40FD-98E3-715CE5CE46E7","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":"Q2655322$F0D50737-0B23-4F8E-9CA3-F34917EA2CC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3e25487809a2298f1c8d624cea7599e189f26b3","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9145-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655322$3083659A-4946-4AFD-A905-309DEAA3554D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6001e38d511fe53123af956474b8ba4381af637","datavalue":{"value":"W1984801909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655322$5CCF97B5-5023-496D-8424-60D72198ABBA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a9e407457f243aa54a326aa29806d6498df6445b","datavalue":{"value":"Q56059244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655322$A05BE168-824D-400B-AEAC-0A566C1E87EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1234570f11caddb900135131d2fd06479f5792ac","datavalue":{"value":{"entity-type":"item","numeric-id":1772458,"id":"Q1772458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$5B2DFB93-AFD8-46BE-B639-008E2C65162C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4abdf463f9105c4e4fd649d7ddfcd37bdfff4dab","datavalue":{"value":{"entity-type":"item","numeric-id":4332931,"id":"Q4332931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$E9DEA41A-FFCA-4C8A-8CA5-82259BF0CB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841ebb012a03486673b3188515f4c63e162c9e3b","datavalue":{"value":{"entity-type":"item","numeric-id":867159,"id":"Q867159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$39F407D0-05F4-431E-9F7D-050614A0DA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$B6DBB0D0-7F38-49D7-BD28-7D896A6B24B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$5E5DF887-EE69-480A-A7B4-FC147692CF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6496304f13783e82d12a275120aa4626825ea47b","datavalue":{"value":{"entity-type":"item","numeric-id":4231030,"id":"Q4231030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$AA0888C2-64B1-4463-90E5-C62AEA3A8C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5e182d22cd63374751049cb1ad374f0b5175f7","datavalue":{"value":{"entity-type":"item","numeric-id":5477650,"id":"Q5477650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$D146ECE7-BE28-411B-8C3F-EC652DCEF14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeedc506ee95714a79cfc16f82862182df8774bc","datavalue":{"value":{"entity-type":"item","numeric-id":3613408,"id":"Q3613408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$41DC3FEA-BA1B-41A3-B403-55FAA74E76FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f041fe2e1ca81e29adbd0cb5978f1ac464e261","datavalue":{"value":{"entity-type":"item","numeric-id":4752704,"id":"Q4752704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$9AF3B5CA-47AB-42F7-B0B1-02D9E53408B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec857327ff4d4a3446074f11689fe91b3c32839","datavalue":{"value":{"entity-type":"item","numeric-id":4780264,"id":"Q4780264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$A71AE6E2-48A6-4DF2-8B3A-FDE5FA127A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043d123eea368f4ca41b305129130ac14e8a96a7","datavalue":{"value":{"entity-type":"item","numeric-id":4377812,"id":"Q4377812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$B7686020-A10C-4F01-B6D1-14E60D1C636D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bd7a7804d462c14eca2f48adcb648eadeff050","datavalue":{"value":{"entity-type":"item","numeric-id":1100932,"id":"Q1100932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$A3639701-1B3D-4556-AA31-EF35954D27E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6bdea74028ef36aeae03983e78f737893a135f","datavalue":{"value":{"entity-type":"item","numeric-id":3126398,"id":"Q3126398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$1A97B983-A254-4A92-8455-FFCD4861519A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a662d0a669249953ff028cb36b6fd9630a821f4d","datavalue":{"value":{"entity-type":"item","numeric-id":3523185,"id":"Q3523185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$CE50325E-7174-4B26-8055-108A41F33C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb09d9f7d2450446aae397d3e90233b6c50e1785","datavalue":{"value":{"entity-type":"item","numeric-id":865658,"id":"Q865658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$D68F9944-12D3-42DC-8D40-DC26F0C533FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cef60f49122cbdc8855980bc9949c7fcffb3541","datavalue":{"value":{"entity-type":"item","numeric-id":5444850,"id":"Q5444850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$773E3D30-03BB-41E2-A941-DD05B5C6D642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a657edc3869ba182834968592942a5a166405a40","datavalue":{"value":{"entity-type":"item","numeric-id":4373313,"id":"Q4373313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655322$6CD769A6-8AEB-4DDA-AB96-14B6CFD3B23C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acb5debb8ceb4968adc4085b806b52acd597e2b9","datavalue":{"value":"10.1007/S10817-009-9145-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655322$1BC4B3C8-0309-48C0-A64A-57BCCB0459A7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"db29ba02949d46d9eef379bce8a9756b70ba2c22","datavalue":{"value":"journals/jar/Harrison09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655322$38EEAC03-16A3-496B-A663-E69DDBD84C85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89216159a55347760b5115e9d5f129e5afa4aba1","datavalue":{"value":{"entity-type":"item","numeric-id":5277791,"id":"Q5277791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d26bac2c85c415e8bf895d889ad7637807dfbc9","datavalue":{"value":{"amount":"+0.8548723459243774","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":"Q2655322$9707789A-DA7B-402D-986A-A5AC15042A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb285e69c1e5393152079f189335ae32274feaa1","datavalue":{"value":{"entity-type":"item","numeric-id":3075240,"id":"Q3075240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d9a129c261e5b07ceb25a6b35f607dc2efe968","datavalue":{"value":{"amount":"+0.8155075907707214","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":"Q2655322$CA5ABD45-E63B-45DC-855B-4640DA5B00BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bafdf3b5dbc88837df05c14f6387e729816f18a9","datavalue":{"value":{"entity-type":"item","numeric-id":5941260,"id":"Q5941260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9deb8c9e349ff9b153478949137d537d8fdf6bb0","datavalue":{"value":{"amount":"+0.7666193246841431","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":"Q2655322$78BAD632-A4CE-423E-B5FA-A6000B0379F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1822182d9b0bb8d3af7dabbc18e28dd6bed3f857","datavalue":{"value":{"entity-type":"item","numeric-id":5195248,"id":"Q5195248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f1384d848536d2a96e912b250ddee538d341a4","datavalue":{"value":{"amount":"+0.7620285153388977","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":"Q2655322$54D3D822-87A5-4FE3-95EB-D72C1EB3EA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cbb88c593d6af501a884f9ca1984172ef2d9689","datavalue":{"value":{"entity-type":"item","numeric-id":3638243,"id":"Q3638243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9847e1b999d26d4c4d38a052bad8caad05718905","datavalue":{"value":{"amount":"+0.7610331177711487","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":"Q2655322$502C617E-DBED-418F-8208-B4B900403742","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing an analytic proof of the prime number theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_an_analytic_proof_of_the_prime_number_theorem"}}}}}