{"entities":{"Q716498":{"pageid":718347,"ns":120,"title":"Item:Q716498","lastrevid":63782265,"modified":"2026-04-11T15:30:33Z","type":"item","id":"Q716498","labels":{"en":{"language":"en","value":"Independence results for variants of sharply bounded induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5949321"}},"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":"Q716498$F062B15C-9390-4976-9C30-4E505D778C91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7bc44ecdd7db10d0cadfcc72ce499727f08963c","datavalue":{"value":{"text":"Independence results for variants of sharply bounded induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q716498$EF3C7E25-0186-412F-B924-60E612A40EEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c621b9888e629224013b4ded04a04ceef66c475","datavalue":{"value":"1230.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716498$7FAA0FE6-BCB7-451F-9DD5-07D4454F5638","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a3ffa17224212fea08254d92b99acde6ca1f899","datavalue":{"value":{"entity-type":"item","numeric-id":476118,"id":"Q476118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$67BB5BBC-4C73-4977-BB64-38922A07B62C","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":"Q716498$C9D38C13-E921-42A9-AB53-4D2DDC4A8FBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0f911d6f8277fb245d8e09b637e9a88b18bd10","datavalue":{"value":{"time":"+2011-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":"Q716498$765AD002-AD97-41F4-983F-9FC6EBA98D0C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd28a8fa9808ef283513e1ebbd8671be19ce33a1","datavalue":{"value":"The paper opens with a brief but informative survey of results and techniques concerning separation of fragments of Buss's bounded arithmetic theory \\(S_2\\). The rest is devoted to independence results for the theory \\(T^0_2\\) (\\(= \\mathrm{BASIC} + \\Sigma^b_0\\)-IND) and its extensions. \\textit{A. J. Wilkie} proved in [``Some results and problems on weak systems of arithmetic'', Logic colloquium '77, Proc., Wroc\u0142aw 1977, Stud. Logic Found. Math. Vol. 96, 285--296 (1978; Zbl 0449.03076)] that every \\({\\mathbb Z}\\)-ring can be extended to a model of Open Induction. Ko\u0142odziejczyk modifies Wilkie's construction by replacing \\({\\mathbb Z}\\) with a suitable nonstandard cut \\(J\\) in a model of Peano arithmetic. For a model \\(N_0\\), a cut \\(J\\) of \\(N_0\\), and an elementary extension \\(N_0\\prec N\\) end extending \\(J\\), a notion of \\(J\\)-ring is defined for subrings of the real closure of \\(N\\). It is shown that if a \\(J\\)-ring is a model of IOpen then it is a model of \\(T^0_2\\). By an iteration argument it follows that every countable \\(J\\)-ring can be extended to a model of \\(T^0_2\\). As a corollary, it is shown that Sheperdson's model of IOpen can be extended to a model of \\(T^0_2\\), which implies that \\(T^0_2\\) is rather weak. It cannot prove that a power of 2 is not divisible by 3, that \\(\\sqrt{2}\\) is irrational, and that there are no positive integers \\(x\\), \\(y\\), and \\(z\\) such that \\(x^3+y^3=z^3\\). The last section of the paper is devoted to the extension of \\(T^0_2\\) obtained by adding the axiom LeastBit: ``for each positive \\(x\\) there is a smallest power of 2 which does not divide \\(x\\)''. It is shown that \\(T^0_2 + \\mathrm{LeastBit}\\) proves that a power of 2 has no non-trivial odd divisors, and that \\(\\sqrt{2}\\) is irrational. In the last result, Ko\u0142odziejczyk constructs a model of \\(T^0_2 + \\mathrm{LeastBit}\\) in which the set of primes is bounded. The proof also shows that \\(T^0_2 + \\mathrm{LeastBit}\\) does not prove Matiyasevich's Theorem: there is no \\(\\Sigma^b_1\\)-formula defining primality in all models of \\(T^0_2 + \\mathrm{LeastBit}\\). The paper concludes with three interesting open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q716498$C71B969A-7997-4F0C-9E76-02CBBC03BF2A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$0FB67C81-F706-4F9E-BBD1-B72E3470409F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716498$D609244D-9865-496D-BD78-E4996D8C32C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716498$30F52FF4-6BBC-4EC8-89F6-F025BC31660D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9c793d2035ae083ab9bca54570c02de616e154c","datavalue":{"value":"5949321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716498$1DA4D1BD-0CFB-43EB-BD80-696132638385","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q716498$AA66D37B-A784-452C-9F66-FB71E536BC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92f1bf0d5cd37c0419a03afb309271b5c6ca5369","datavalue":{"value":"very weak arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q716498$A1F053F0-A2B2-4258-AD5B-31AD328A5295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b53a905acf1801d58cc30fb0954a78fc2caf09","datavalue":{"value":"independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q716498$D593C7E2-C608-4AA9-AF66-0426263023AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6b5a9597aba285d5eed0ba58c05ea2cbb9dd36","datavalue":{"value":"sharply bounded formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q716498$866B03EB-BE86-4643-BF91-42AC444A440D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dd087e83ff5baa0132ab3864c7c11307e7be6d5","datavalue":{"value":"sharply bounded induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q716498$C9564A09-1943-44F9-81F0-1452F2987186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0e61417edca23a18326758ca075e18f0430f7","datavalue":{"value":"open induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q716498$A73B736A-7EAB-4656-AECE-1BDE2D1C991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q716498$25B47F76-7BD6-4C33-8B4C-8F85148A96E8","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":"Q716498$6C039366-38F4-4859-9FC3-9939EEE86B41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acd6455ce1dd1446550b5ae0bea14187c22e8d0d","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q716498$2312F058-562F-4D60-B4FA-D5F9E3DC777F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9eb8a548bd1991e69c01e332dd67fb1c93eb45e","datavalue":{"value":"W2021579914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716498$4342C2A1-3567-4771-9477-319067B35A31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4863c045061d7a4944dab41cc4bc33bfd87b6537","datavalue":{"value":{"entity-type":"item","numeric-id":3773857,"id":"Q3773857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$AB25F818-058D-497F-BD16-DE2C3A00C205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0152dc4ba77f1620088971f1152668d93343657","datavalue":{"value":{"entity-type":"item","numeric-id":636290,"id":"Q636290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$C5ECDFEA-8F67-435A-90EF-E4631F6F7DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b21f8f846459c02394d67dc41249f1ccd3d4d05e","datavalue":{"value":{"entity-type":"item","numeric-id":3128470,"id":"Q3128470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$82EB1DBC-E85F-4B64-B753-018B8E0253E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662fff673eaf3045ce9de1867b7282542113ca61","datavalue":{"value":{"entity-type":"item","numeric-id":636291,"id":"Q636291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$975767B6-CB3D-45F3-A5D0-FAC84BC8A469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c967ae4b0fba59ac6a0c72fafaafab5e42d0c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4215631,"id":"Q4215631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$8D06AF7F-A9DA-47C8-8156-A0D3448C2707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$43525CA3-57F7-4BD3-8EFC-C816623BA846","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":"Q716498$28F8F11C-901A-4862-B4EC-7970C2729488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8afa2c213c5c6af0f30621937ed98f53a9a42b5","datavalue":{"value":{"entity-type":"item","numeric-id":3418091,"id":"Q3418091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$334B0A3A-31C5-421B-8F26-FF39C433CE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55434034f8389163b839788950e404e43cf76d57","datavalue":{"value":{"entity-type":"item","numeric-id":4224090,"id":"Q4224090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$89813AFD-F229-434D-AE31-82BEDEB72E13","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":"Q716498$4D5F9DA1-905F-4652-8C6F-F06404B316AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faeeb3998537a934daa81992683a5240c8c09906","datavalue":{"value":{"entity-type":"item","numeric-id":3140638,"id":"Q3140638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$F3229A51-6EA1-4838-8D8A-CEDBF079BF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$7941AA07-3677-493B-BE01-03732CAEA19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$A0C0D543-B16F-41A0-AA85-50809506DC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122c8ada885963c6405a5c1b36cfb97f07059042","datavalue":{"value":{"entity-type":"item","numeric-id":1353986,"id":"Q1353986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$7AB10D3E-D29D-46A2-9B9A-E2089EC880CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$156DFC7C-A304-4378-B9DC-5D766D73DBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580f986fb36576a01dfd47028d3e77571cc405d5","datavalue":{"value":{"entity-type":"item","numeric-id":1121883,"id":"Q1121883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$7690A5AF-11B8-40BB-A7F0-1CD6BF205EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c9c2510935bea1bc17f2e11eee7494df86190e1","datavalue":{"value":{"entity-type":"item","numeric-id":1577486,"id":"Q1577486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$260E85E1-735F-418D-8A81-6BCB40786B1B","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":"Q716498$544F7107-D7E9-4268-A955-6CA9876EF3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072e91014367104cf566b8b67a728f68b171a4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$EC880471-F25B-406A-9B1E-0F69058F9B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624482bf4f4f5f2f3a61e8b3b57c19ff4498f411","datavalue":{"value":{"entity-type":"item","numeric-id":5341750,"id":"Q5341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$E650F7CA-8856-4CFF-94F8-E80537D89FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fc222e1aede33d91c76556460dc49371a635f2","datavalue":{"value":{"entity-type":"item","numeric-id":687628,"id":"Q687628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$203AD8C9-7808-4B98-8FEE-FA771C7498F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5d818c966d216c869ca19848e8a827e2a70722","datavalue":{"value":{"entity-type":"item","numeric-id":3487339,"id":"Q3487339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$C09A6ADF-99FE-4D49-B119-89FF39206C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a39a3458a2d929a88bbb277027cc93e4af1dfdd","datavalue":{"value":{"entity-type":"item","numeric-id":3901517,"id":"Q3901517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$70AEA6EA-5E24-44DE-8F55-D9A3F5DBE70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea72613d2f5b40460bee7ae9815f8a8c4d3dff8d","datavalue":{"value":{"entity-type":"item","numeric-id":3915074,"id":"Q3915074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$A4F7895B-05BB-443D-B9ED-99D750AA6895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2e6544055a463e29b1edc0f0cd876bf0a147b8","datavalue":{"value":{"entity-type":"item","numeric-id":3895478,"id":"Q3895478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716498$66A5F90A-6222-4FCF-9C56-26ABE7F4C106","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44fd743b3376da7f94bab54ec6e95a944457eca9","datavalue":{"value":"10.1016/J.APAL.2011.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716498$73F7A2CA-E598-4CD3-9609-8104855EE052","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8033b63bb9815824aec95a7f6293e4d81da8c737","datavalue":{"value":{"entity-type":"item","numeric-id":4224090,"id":"Q4224090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc65e2f71a4a2bc75c7862f000fb86b3dfab38a","datavalue":{"value":{"amount":"+0.8294655680656433","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":"Q716498$FAB74C8D-7637-44F9-B9A8-832ECD7226C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0ab44241ec90e3b1675b79ca068ecefb296f48","datavalue":{"value":{"entity-type":"item","numeric-id":4282609,"id":"Q4282609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11296f3a66cba1caeb47f8acfc73c87ff3ce6a44","datavalue":{"value":{"amount":"+0.8291919827461243","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":"Q716498$00EFBAE4-A61E-4628-A587-E7F5FFE5B988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c19518a2e3d65d9e4a50b15a8ed3848ba443956","datavalue":{"value":{"entity-type":"item","numeric-id":1325055,"id":"Q1325055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687fd79fbabaa71f5b105d722bca11161cc9fa12","datavalue":{"value":{"amount":"+0.8012217879295349","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":"Q716498$9F682DF8-CB0D-4545-AA79-C8B441A5BA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b6544f7f54631d31398ad5d162d9b8a680e0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4393170,"id":"Q4393170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d7d5475c11b55793944de42feb97720c3ee002b","datavalue":{"value":{"amount":"+0.7901536226272583","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":"Q716498$CFF1A608-BB2E-48F8-B5A6-7B60CE7B2CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eac18e289762dfdbe681fd12b15d498424dee2d","datavalue":{"value":{"entity-type":"item","numeric-id":5393641,"id":"Q5393641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc11a4b79a4ec20fa070592c9df3dbbd652281db","datavalue":{"value":{"amount":"+0.7898473143577576","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":"Q716498$7988D0DB-58DA-40FE-97AC-6695D1F22806","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence results for variants of sharply bounded induction","badges":[]}}}}}