{"entities":{"Q1892940":{"pageid":1903682,"ns":120,"title":"Item:Q1892940","lastrevid":73936587,"modified":"2026-04-14T17:47:24Z","type":"item","id":"Q1892940","labels":{"en":{"language":"en","value":"On Grzegorczyk induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 768746"}},"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":"Q1892940$8DB1F562-63DE-4C6E-B378-9D2B482CB1C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"091c6a0abdbf37c84567243dd181d0ffa5b5da22","datavalue":{"value":{"text":"On Grzegorczyk induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892940$0268AD68-FB6D-4C76-9005-DB9D98D42D82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4c748bea7fe588ba851f05a6f4b5eab1736e318","datavalue":{"value":"0826.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892940$977D6AA8-AA0E-4D61-BEE8-40576FCBD359","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3410156109753fdda48b23cd25195327a7a407d3","datavalue":{"value":"10.1016/0168-0072(94)00029-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892940$4261C9E3-00BB-428D-8302-8CC67159A973","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":"Q1892940$EC45DDF5-0E41-49AA-ABFC-6A7D4C32B222","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892940$DE1D5CBD-5880-4115-8492-2B7BE74FF484","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc3f5466e9c88a7c802540ef52e7255943d06ade","datavalue":{"value":{"time":"+1995-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892940$C3BF95D5-A339-4D6F-B294-746DC4B36146","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2462c41b7445e999fca1c28520b63a9a3747be02","datavalue":{"value":"Let \\(I {\\mathcal E}^2_*\\) denote the fragment of Peano arithmetic PA which allows induction on (a suitable representation of) the predicates whose characteristic function belongs to the class \\({\\mathcal E}^2\\) of Grzegorczyk's hierarchy. \\(I {\\mathcal E}^2_*\\) is one of the weakest fragments of \\(I \\Delta_0 + \\text{exp}\\). It is shown in the paper that \\(I {\\mathcal E}^2_*\\) proves the quadratic reciprocity law and that a suitable fragment of \\(I {\\mathcal E}^2_*\\) (which employs some well- known number-theoretic functions) proves Bertrand's postulate.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892940$C4A3BC4A-1BF4-475D-8972-9FE470BEB436","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892940$CD669BAE-349E-4F0A-A50A-8E1242EBE932","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892940$F827F1B2-E8AA-42BE-9E3A-98270C449F4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f19d8c9c99161b7c2b50404802b37c120f1fcbf7","datavalue":{"value":"768746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892940$206A251D-351B-45A4-A1D2-7EFCE66DD576","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6d03a26b1247abcc543247067285a4ba6c9025","datavalue":{"value":"Grzegorczyk hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892940$A258CB16-D193-44B6-B2DD-716626994F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2a9a133a09d6d269f282033730192967c9b6a6","datavalue":{"value":"quadratic reciprocity law","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892940$23E2133D-4249-4262-AC9B-076BC4F7E19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b4e3322cb82908b88ae367670e0d8ee43eef88","datavalue":{"value":"fragment of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892940$206243D0-FCAC-4DAE-89F5-AC267858A1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"049dbf723930c7fbad2da59dcfb7918a89e0d1f4","datavalue":{"value":"Bertrand's postulate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892940$C8E5D5D9-4A48-4B92-876B-30D9A8EB1B05","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":"Q1892940$75BDBCCB-EB5D-4121-B247-F5C18F9963A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a858e8ae1495aa61fe3cbfb5f05b426824d2dfc1","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)00029-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892940$7688F503-D541-4A14-8753-5CE501DB36C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dafefdc77df5c95e9740fd30c6321c5f90a9d123","datavalue":{"value":"W2052680294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892940$8C2C076E-391A-4C96-96EF-71DB9D67079E","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":"Q1892940$2B314401-89DC-4F48-A237-4EB4E1106DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e28d865b6a527d6aef184a58e15bb15ad21dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3856819,"id":"Q3856819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892940$D10E17FD-A08E-4954-A155-5587952AD7DC","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":"Q1892940$93247246-10F7-4FD2-8F44-CC6546D51D9A","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":"Q1892940$2B1D102B-6259-4D38-BBF1-A932E79349AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eaf58864b6344903f4e733e071e29fea437a683","datavalue":{"value":{"entity-type":"item","numeric-id":3720596,"id":"Q3720596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9703dedade4d0533da45fc35ce1d8643f2d6d30f","datavalue":{"value":{"amount":"+0.7384210228919983","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":"Q1892940$A7C5F612-B87F-4605-A178-C7701B0F45DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9c8d0968e25f1359d723048027b5292154fa72","datavalue":{"value":{"entity-type":"item","numeric-id":1337499,"id":"Q1337499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d21338e102c08c75dce411c5b9e213a216ac6e6","datavalue":{"value":{"amount":"+0.7361443638801575","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":"Q1892940$79E3791C-D036-4C4A-853A-DA34B1369A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1a2d58d571d070913960c80cac8bacc5787644","datavalue":{"value":{"entity-type":"item","numeric-id":3682483,"id":"Q3682483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"320df60c37724852f487380bc6ea5a366e0a63ef","datavalue":{"value":{"amount":"+0.7344920039176941","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":"Q1892940$991E638C-BCDD-4677-BA12-692E63CB0ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a8948e2977355834adc7e0ad2e8103158019f72","datavalue":{"value":{"entity-type":"item","numeric-id":4323042,"id":"Q4323042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b15bbc2a465d81cf29a56b5bc6a1439a2ed1991","datavalue":{"value":{"amount":"+0.7301337122917175","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":"Q1892940$A61CA605-EEBD-46E2-978C-0508D61E8C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98177fbf10ce707badca4635c26289d2eed802f","datavalue":{"value":{"entity-type":"item","numeric-id":1073791,"id":"Q1073791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b9041db6295cdec8f610d303b2514e7de45bcb","datavalue":{"value":{"amount":"+0.729424774646759","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":"Q1892940$E3235059-A51C-4183-8D55-5BA944A3DE70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Grzegorczyk induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Grzegorczyk_induction"}}}}}