{"entities":{"Q5941260":{"pageid":8118062,"ns":120,"title":"Item:Q5941260","lastrevid":41621664,"modified":"2025-05-06T11:34:52Z","type":"item","id":"Q5941260","labels":{"en":{"language":"en","value":"The prime number theorem is PRA-provable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635425"}},"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":"Q5941260$4866AD69-0888-46DB-A907-B106DA1EA175","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71bc33402911f60a370671fba8cc6d1593238548","datavalue":{"value":{"text":"The prime number theorem is PRA-provable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941260$A05E6549-937C-4A3C-9DF8-260FB3857E8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b99a9322f2ef910bf26a0269aad22f55be4e10a3","datavalue":{"value":"0974.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941260$4C91C6F3-8C64-4C9C-9AAD-A4F30C26B45D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e799e6f5846293604439a77c9ab2982a37bb5f83","datavalue":{"value":"10.1016/S0304-3975(00)00116-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941260$03A3D6D2-56C6-42A8-A275-D66ED007C072","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd7b2f11d95ac9127939e0cba4f014e20ab43100","datavalue":{"value":{"entity-type":"item","numeric-id":198163,"id":"Q198163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$A9874698-8028-425E-9FFB-FC4B6D698A79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$5C6734C9-3D53-4C9D-882C-902234520AA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941260$442BB202-25D2-4F6D-9C30-2AFB7D3D22A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941260$EF2DCFD4-64D0-4065-95EB-907A11A1BAF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c328feabf457627d2cfc3869f71ea16ea895f7a","datavalue":{"value":"1635425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941260$C8262A9D-9304-4F8E-AE6A-0AC12E919A7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941260$CD25EF6E-EC52-4B30-A858-C1BBB34CCA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81b6f32f274a1d1a79b36ca8e6cf4dc87d7dcbf0","datavalue":{"value":"recursive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941260$91700CC8-482F-4385-B578-DAEF982726B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"873039695ad91397d651c9fb376cb74e9266956a","datavalue":{"value":"analytical number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941260$AB52C8FB-B1AE-415D-8C08-28BA34E149F5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"90ecb3c48f82357b9b7ddf17d55103f5ecb00afa","datavalue":{"value":"Q55967658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941260$2DA41D72-0C88-4F42-844F-1FCBDDFDB760","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":"Q5941260$40B8C8B7-0E5A-4E62-B344-857FB863C401","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd8ece08e75629f9685a17d83c010309d761056","datavalue":{"value":{"entity-type":"item","numeric-id":5542101,"id":"Q5542101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$3768AE74-82F1-417F-B778-61C464E1D650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd06ae5202dd80859d0fd11b1b229caa7bf7c87","datavalue":{"value":{"entity-type":"item","numeric-id":3910522,"id":"Q3910522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$437262A1-4CCE-45DE-B828-15700E94635C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1beb33ed16ec91a08fd62fe548ba31c76d1406aa","datavalue":{"value":{"entity-type":"item","numeric-id":5750978,"id":"Q5750978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$37306325-6FC8-4D34-863D-B0C5AF9DC33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"469378792a386f2757a1cb70ee4e84657b339ea2","datavalue":{"value":{"entity-type":"item","numeric-id":3762388,"id":"Q3762388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$B5CA5CB3-1B5E-4BD7-89E0-2DE12578210F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$4132A3A2-40A1-4A8D-8656-E99735CC53F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$34ED75B1-6283-43B3-9EFB-CC7119F9C39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1471561664a60145d47d1e15e3cf276b325fe4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1147134,"id":"Q1147134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$6DFA0DA7-3940-46F1-9951-BC60FCA73623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ec33a6af92313a64a277ab9e310fbbb6b46d77","datavalue":{"value":{"entity-type":"item","numeric-id":5274810,"id":"Q5274810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$1E5A3D55-7AC0-4AAA-B999-951B39FA61C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$5FEF8E9B-FF43-4FD9-9851-BEB1F44346D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$AE61F03A-2169-4933-BAC5-E841B8832DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67cccf664c50e16d9d7fb3a85d52ae056d65f5b9","datavalue":{"value":{"entity-type":"item","numeric-id":3260574,"id":"Q3260574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$0669CFD9-2D6F-4F44-A01D-3833A32D537B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0d374a436b3eff4a0fc4a6b0d2d906601e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4175544,"id":"Q4175544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941260$98850E88-75C8-41B1-B8B5-31C1211A325F","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"707e831bb37240637c62b8f30bf1f4acf9ddaf3a","datavalue":{"value":"journals/tcs/Sudac01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941260$BDA7D15D-0B06-47EB-A095-8DF4F54E9961","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":"635cc59fafcc9caa7cf383dc35da6cd4ecbb72bb","datavalue":{"value":{"amount":"+0.9099141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941260$21204719-77A3-41A7-8FBB-52E40271E277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53177b00bc77b4d12bec11188bd34f2511c10d8b","datavalue":{"value":{"entity-type":"item","numeric-id":5620635,"id":"Q5620635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba4c3d04871a5441c80da38ae874adca7a20308","datavalue":{"value":{"amount":"+0.90927535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941260$E2168D9C-18AF-4A9A-B532-35B877879224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c49d1ea40d7718c4e4652a59941cf9aefb54a5","datavalue":{"value":{"entity-type":"item","numeric-id":842502,"id":"Q842502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8de7851dfcfa67de85ba9321faf345e2a3b23a9","datavalue":{"value":{"amount":"+0.9062995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941260$8FD1C0A9-9AFB-46BC-A435-08298C4C33F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a86ee8b69d14b19c55675967d1ac9eeacf07e7","datavalue":{"value":{"entity-type":"item","numeric-id":3001613,"id":"Q3001613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df79253abc0f30152856dbd989d6b485c3d56e30","datavalue":{"value":{"amount":"+0.90532696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941260$8D4C030F-122A-4306-802D-F5F85A15CF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c707b2ed626eaa95ae5c55020a723ee71f6cddb","datavalue":{"value":{"entity-type":"item","numeric-id":4780264,"id":"Q4780264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a22f6c239020e253e8ce65ed51a5b00d94ba27b","datavalue":{"value":{"amount":"+0.90391886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941260$11592304-E5A5-4ADF-9A69-BBF5552BC2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01c88ceead1207f5c50dda1e0a63581ba8e71ef","datavalue":{"value":{"entity-type":"item","numeric-id":5073849,"id":"Q5073849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a22f6c239020e253e8ce65ed51a5b00d94ba27b","datavalue":{"value":{"amount":"+0.90391886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941260$2C73064E-763A-43ED-930B-33C480FA5E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664b62ab53940b6daecbdd5bb73161182d22d4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2648387,"id":"Q2648387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f2370c590fc33ab880317b2573c19a99483fc3","datavalue":{"value":{"amount":"+0.8979965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941260$F63DFEF8-51DA-457E-946A-E31887666B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff81a3d8717882cedfc3bd69f8e3710ced4926eb","datavalue":{"value":{"entity-type":"item","numeric-id":5021652,"id":"Q5021652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2ead0630f1038916c6e94dacca344b8f19b8d9","datavalue":{"value":{"amount":"+0.89224553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941260$0CD5A0A6-EB0B-42FC-8D0B-1303963169F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941260","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941260"}}}}}