{"entities":{"Q1337499":{"pageid":1348238,"ns":120,"title":"Item:Q1337499","lastrevid":67615905,"modified":"2026-04-12T19:02:46Z","type":"item","id":"Q1337499","labels":{"en":{"language":"en","value":"The prime number theorem and fragments of PA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 682651"}},"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":"Q1337499$859F8809-9D92-460B-83B2-7EFD448D3AA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77411f397fcd513d67cefad45d478b352a6b5dbe","datavalue":{"value":{"text":"The prime number theorem and fragments of PA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337499$90297B66-76DC-479F-A0AB-C32FC38702F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1f0f625536664c4866bb0e01f640814db112b48","datavalue":{"value":"0813.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337499$0EB5ACB6-F565-483E-A0C5-12A235C152A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f4ba399b7f2e229b5fa8e76890d5da5ab444638","datavalue":{"value":"10.1007/BF01270626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337499$B25A877C-4FB0-4EF9-9D71-0C152A9B0F36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337499$DAD19CB2-EE9E-460A-AF5C-DB38B3812C92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"093fa04023e5f4c0c7c6ff4ef30755200a49a96c","datavalue":{"value":{"time":"+1995-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337499$207717F3-30E5-4997-8277-BE1FFF590F1E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"62c91400929b3326f6ed0caa336a03658649c506","datavalue":{"value":"Let \\(I\\Delta_ 0\\) denote the subsystem of Peano arithmetic obtained by allowing induction for bounded formulas only. Let exp denote the axiom \\(\\forall x,y \\exists z (z= x^ y)\\), where \\(z= x^ y\\) is a \\(\\Delta_ 0\\) formula defining the graph of the exponential function in \\(\\mathbb{N}\\) and having, provably in \\(I\\Delta_ 0\\), all the usual properties of exponentiation. The system \\(I\\Delta_ 0+ \\exp\\) is a strong fragment of Peano arithmetic. The author proves in this system the following version of the prime number theorem: \\(\\pi(x)\\sim x/\\log x\\), where \\(\\pi(x)\\) is the number of primes less than or equal to \\(x\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337499$E5F7DA8D-1004-413D-9592-9ED6FEC81581","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337499$2C0FA2F7-389F-4D3A-9138-E0F6A2E8313C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cac14364dd9684aebfc8382bb0dc505c23da141","datavalue":{"value":"682651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337499$E65615E6-A0B5-4A90-A8C5-8762CFB94A02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2e0989b712fc2b3b968403b4a2a3f8e168b345","datavalue":{"value":"exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337499$59E7631A-A8E3-443A-B3F3-5F686501857A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0faa968a065262a101dc6518327712af033e0adf","datavalue":{"value":"strong fragment of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337499$D3769E2D-9B87-4E93-984A-84E006F68B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"952f21178d1a225b51df1682ef92b4d9e390d96b","datavalue":{"value":"prime number theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337499$BFDEBF00-E5A5-4E07-9FA9-378914008715","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f2e2bd4fdb8852cdf83144981d02cf03486367","datavalue":{"value":{"entity-type":"item","numeric-id":937207,"id":"Q937207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337499$60DC1F63-57A6-482B-845A-DDA525A5A74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c46066897f4146c41a0041e290f798947c61a702","datavalue":{"value":{"entity-type":"item","numeric-id":286694,"id":"Q286694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337499$1612423F-CC0E-491E-84FB-903B9AC10C6C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b07fff8e24e213d71938c843c08dd4401c027091","datavalue":{"value":{"entity-type":"item","numeric-id":1250213,"id":"Q1250213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337499$5117B738-CE3C-4A40-91CF-010C72B59DBA","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":"Q1337499$3CFA78A4-DD27-40E9-992B-ACCFC64064DC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6ad75f100b1654803311512297eedbd7b1034a9c","datavalue":{"value":"Q56059243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337499$E02A446B-0F82-4B54-ABA0-38039D285225","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"305afa85a8cc04e13d160761258e43b79fcfb022","datavalue":{"value":{"entity-type":"item","numeric-id":1182430,"id":"Q1182430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337499$C8B0595A-60FE-4F54-8C0E-87819B5E0BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aae2a08f7a2b5e1c257a710321ddb1f6bd108cd","datavalue":{"value":{"entity-type":"item","numeric-id":1264147,"id":"Q1264147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337499$4D0ACE5E-916B-41D1-954F-449E3F4E46B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6e4157373fd58274a40973fa66ad7b141c13cd","datavalue":{"value":{"entity-type":"item","numeric-id":3962995,"id":"Q3962995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337499$4EFCDDF7-2D46-421E-B94F-639A1E0A0F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337499$C04969A2-AC6E-4C2C-AFC3-0030230D9DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337499$69FF39B5-92F0-4353-9934-B2704D150C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1d9d6ec01674f0e772a5ca45aaa575cd28057a","datavalue":{"value":{"entity-type":"item","numeric-id":3661646,"id":"Q3661646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337499$D9424D36-1D1B-48F0-85A9-A6DEA6387EAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70fc9dae620321b2f4eed7839474b5386e087fd4","datavalue":{"value":"https://doi.org/10.1007/bf01270626","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337499$69E50E6E-EA80-4133-8E48-315655C5E20B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5202ef75d45378904c0de915b87f81e0256e197a","datavalue":{"value":"W2088885554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337499$47636DE0-29CE-4E32-AE98-B884C5ACCAD2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2d20e990d9435fe342a67a2bdae32b27d83708fb","datavalue":{"value":"journals/aml/CornarosD94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337499$DAD97187-ED73-4556-86F9-4E8035F4DA68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1d59d9939b0ef1190b5487035dcffa2259a7e7","datavalue":{"value":{"entity-type":"item","numeric-id":5767482,"id":"Q5767482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cdc50946e47123e7958647ca3d299b57b900d2e","datavalue":{"value":{"amount":"+0.903388","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":"Q1337499$9CDC424D-D2A6-4ACE-95B2-ACD8549B60C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3747b59fd1ffeaa4b78f6b5e19ddf66382d4e7d4","datavalue":{"value":{"entity-type":"item","numeric-id":5844340,"id":"Q5844340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43c5c5f1ffe920bc8e795ed9c66c589e64b3a6e","datavalue":{"value":{"amount":"+0.89277136","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":"Q1337499$BB75A5FF-25EC-470B-861F-276E08B535CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e522d0a628dacd0d4a9d393b109701411722249a","datavalue":{"value":{"entity-type":"item","numeric-id":5598277,"id":"Q5598277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6442230525c3832384e8e77021f9f9286ea56b5b","datavalue":{"value":{"amount":"+0.8923012","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":"Q1337499$3EDF8948-5B83-4BDC-9502-DAD8D9A572D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e398cb65eb28563522fddca85d91e607bb37b1","datavalue":{"value":{"entity-type":"item","numeric-id":3531310,"id":"Q3531310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6442230525c3832384e8e77021f9f9286ea56b5b","datavalue":{"value":{"amount":"+0.8923012","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":"Q1337499$FBCAE739-6899-4B74-9F00-0E2343F45A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8df6b0d5108ece4a719cd6f21bccb8c3a090bcf","datavalue":{"value":{"entity-type":"item","numeric-id":3282992,"id":"Q3282992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a632d96c66cb3f23e124f2ba8206ed3c4aadfe48","datavalue":{"value":{"amount":"+0.88760054","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":"Q1337499$971588E5-9D2D-49F4-801A-EA1886432663","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":"8990d8142e8577869880b1e2c690834dbd57aff8","datavalue":{"value":{"amount":"+0.8863216","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":"Q1337499$24B40F82-0406-43D9-B284-A682807DBD04","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":"8990d8142e8577869880b1e2c690834dbd57aff8","datavalue":{"value":{"amount":"+0.8863216","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":"Q1337499$024CF2CC-F172-486F-B918-AF680650996E","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":"bd36e86825bf3402173bfef02e473ef6dea2641f","datavalue":{"value":{"amount":"+0.8860132","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":"Q1337499$061ABD89-B2B6-4ED1-A007-8E48FCEBEA30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The prime number theorem and fragments of PA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_prime_number_theorem_and_fragments_of_PA"}}}}}