{"entities":{"Q2238150":{"pageid":2248893,"ns":120,"title":"Item:Q2238150","lastrevid":71648997,"modified":"2026-04-13T23:38:21Z","type":"item","id":"Q2238150","labels":{"en":{"language":"en","value":"Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7417495"}},"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":"Q2238150$3FDE352A-E643-421D-96B1-43EE6B36DC6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fa6270ea5d3433d35d388bf1be41884dccbfb4b","datavalue":{"value":{"text":"Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2238150$73D38093-8E18-4259-8936-20A156A95447","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6539c50fd976ad66f18962b09ab879521c5f6d5","datavalue":{"value":"1487.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238150$918721EC-53C6-4430-A303-BC1D5A680AC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$F04F3457-07D1-4F1A-9D4A-C0BDBB5101D0","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":"Q2238150$082B3CFF-C8E0-43B5-BF6D-6E81B829EAE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff0972b49faa1fac8c402fe24a8463a0a03e1c1e","datavalue":{"value":{"time":"+2021-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2238150$1797631C-C63B-47F4-B3DA-F2105C75D574","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6669872431e0d44897b6f92529d2269936aedaa9","datavalue":{"value":"In the recent work [Adv. Math. 354, Article ID 106728, 55 p. (2019; Zbl 1446.03100)], which we reviewed (see that review for more context), \\textit{F. Ferreira} et al. showed how a previously mysterious empirical fact of proof mining -- namely that in a previous extraction [\\textit{U. Kohlenbach}, Adv. Math. 226, No. 3, 2764--2795 (2011; Zbl 1223.03041)] of a functional out of an argument, originally due to Browder, the use of bar recursion is not needed even though the principles used in the proof would seem to require it -- may be actually explained by carrying out the extraction through the use of the so-called \\textit{bounded functional interpretation} due to \\textit{F. Ferreira} and \\textit{P. Oliva} [Ann. Pure Appl. Logic 135, No. 1--3, 73--112 (2005; Zbl 1095.03060)] for a system containing principles which are set-theoretically false (`bounded collection') but which are nonetheless trivialized by the interpretation.  The intuition for the use of these principles was governed by a `countable Heine-Borel covering principle' (CHBC), whose statement was given there as follows:  \\[(\\forall n \\in \\mathbb{N} (\\Omega_n\\ \\text{is open}) \\land \\forall x \\in X \\exists n \\in \\mathbb{N} (x \\in \\Omega_n)) \\to \\exists n \\in \\mathbb{N} \\forall x \\in X \\exists m \\leq n (x \\in \\Omega_m).\\]  In the paper under review, U. Kohlenbach shows that this false principle can only be used in informal parlance and not as a formal statement whose use could be potentially removed by a proof interpretation (note that he uses his own `monotone' functional interpretation instead of the bounded one, but it is remarked that the results ``carry over \\textit{mutatis mutandis}''). Specifically, he gives an explicit sentence \\(A\\) of sufficiently low complexity that the metatheorems of proof mining do apply for it, such that \\(A\\) can be proven using the formalized CHBC but which nevertheless is false in arbitrary hyperbolic (even Hilbert) spaces.  In a follow-up result, \\textit{F. Ferreira} [Lect. Notes Comput. Sci. 12813, 199--203 (2021; Zbl 07495168)] confirmed this line of thought, showing firstly that the formalized CHBC can even be shown to be inconsistent when the theory is augmented with axioms which express that the underlying space is infinite-dimensional and secondly that one can deduce from this inconsistency some `metatheorem failures' which are similar to the ones in the paper under review.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238150$BAF64A51-2301-4590-B4B2-B9A1CC94B1E0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b9ca37f7fc6d09fa6bb1f61a6aca427793134a8","datavalue":{"value":{"entity-type":"item","numeric-id":331049,"id":"Q331049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$A0F45076-E09E-43E3-BC0C-128D060F065E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238150$D26BC609-1884-4D2E-924C-C1B454DD3C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05e6210e40591bf6d46e34fb771f5fdc4d5a5a2c","datavalue":{"value":"47H09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238150$E47522D2-11B8-4641-8C06-F1301DB4930D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6771a6b708d99edce1b27953cd82508dc4b1d91","datavalue":{"value":"7417495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238150$B3A3AA29-E9AB-4F56-BA81-66E4797F5798","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab4f496e5a99ee2251d67407071ff1e9c22ffa41","datavalue":{"value":"uniform boundedness principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238150$8DA52779-5616-4E8B-A1C5-3D0D47FF6111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05f78e220eddd6279ed9349cb4779d15bee6f5da","datavalue":{"value":"bounded collection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238150$BD1EE875-AECB-4739-A53C-76CB6F6A0E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834f1c297d83c4c39bbc3f53a6bfc9e4b98c599a","datavalue":{"value":"monotone functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238150$BEDDD54D-9528-41F9-AD87-F06CD4C928FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9dcaf5a139b06781aa7ffdacc1a94196c808bb8","datavalue":{"value":"bounded functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238150$AD4894C2-5E75-4CA9-8C1B-25DA085F9520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238150$93533320-1968-44F9-9E12-D5FB60EB3CF9","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":"Q2238150$C4CF2FED-DEF3-4FFF-BDA9-AFF77AE4E538","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b858dff44baa5ffaef35e13d63ece464338b568","datavalue":{"value":"https://doi.org/10.1007/s00153-021-00771-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q2238150$16065CFE-7986-4A3B-8644-11F2097E5A91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b45bd6cd66848e76ab4c833711640a0a1eb08360","datavalue":{"value":"W3159871748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238150$CD6AFD82-B99F-46B5-9F36-760DE1EE9A5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15b8e057a34ddc6ffe2f8a0b43e4ecfe22f5dd6e","datavalue":{"value":{"entity-type":"item","numeric-id":5004949,"id":"Q5004949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$CE16B283-B0E7-4832-AAA0-97C3558ED0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7185c4df781fd8db8ee0f4291d372fb5908671","datavalue":{"value":{"entity-type":"item","numeric-id":2324564,"id":"Q2324564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$644DE930-E1EF-446A-BAF3-9C5FE8959CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$92D52612-C3F2-4D2D-971C-2776108EE831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b3d1f74cc155162791d2a7ecd7ca4c9f1a3bce7","datavalue":{"value":{"entity-type":"item","numeric-id":1220709,"id":"Q1220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$E87E35A5-3D44-4513-A8D4-C326122BB5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bf5183e83020857f9feaa7e31500545a55a1f65","datavalue":{"value":{"entity-type":"item","numeric-id":5442144,"id":"Q5442144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$A015E849-E7ED-4599-92C7-42D25B0A64B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9bd10283636de5ba50ccd4fe0ec3ddb2ab58fb","datavalue":{"value":{"entity-type":"item","numeric-id":3039977,"id":"Q3039977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$B60B5885-5CE4-4B40-820F-52555E65CD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3cc98d5ec6f673bd40cca4639173afa2d1f5e9","datavalue":{"value":{"entity-type":"item","numeric-id":4122424,"id":"Q4122424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$2E5D86D1-50F7-4468-8369-714001A0C18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8f4acaecc585026cabd219c7505beba3aa039a","datavalue":{"value":{"entity-type":"item","numeric-id":2743132,"id":"Q2743132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$D9281FF1-DE16-4A22-9AA9-6CBAE0C16D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22680b00afe42489064979aae0a95fe30de0fd01","datavalue":{"value":{"entity-type":"item","numeric-id":4819747,"id":"Q4819747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$A8690556-BD1D-4CA4-A041-3A9663360787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90d976ce81f419a13b8e1d0038131a4ca048b82","datavalue":{"value":{"entity-type":"item","numeric-id":4917990,"id":"Q4917990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$6D56935E-5F7F-4E84-8F39-4E887DDA7BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$3542258C-7BC5-4EC2-AE36-56067C61A2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f1cf6b61b7bdb9c38bbb02278d82c5cfca0ad0","datavalue":{"value":{"entity-type":"item","numeric-id":624339,"id":"Q624339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$DB6D6C7D-3824-4A84-8514-BC204E16EE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636e36b423c2152b96a0baec649684940d1d1224","datavalue":{"value":{"entity-type":"item","numeric-id":5211071,"id":"Q5211071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$4D824DE1-FD72-4856-B573-83E3CB011104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ea2ce2881c8b240e88093be19dc5df3840c4f0","datavalue":{"value":{"entity-type":"item","numeric-id":1811865,"id":"Q1811865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$07F5A9C3-C413-4300-A7E8-167445ADCBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5ff2d9b2beb28035d8af4c91cc4e1d9fb089e1","datavalue":{"value":{"entity-type":"item","numeric-id":2317680,"id":"Q2317680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$DC765D46-267A-435A-AC75-5DEBB54BA04F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b68eeddf05d3767a8c2c0527d802b40d3e91e09","datavalue":{"value":"10.1007/S00153-021-00771-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238150$866DE945-27B7-4591-904B-77AB50277C6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7487ff1a9649572c55e0c96a509c37c51f48c3","datavalue":{"value":{"entity-type":"item","numeric-id":3079692,"id":"Q3079692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8bca8319faa4b129df164aead393aecc8ad97e","datavalue":{"value":{"amount":"+0.78145564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2238150$4313B228-CED3-4D45-8FCB-16DC8E49A1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bffdfac918aef4e2a43acbfcba5792ba5f0dc0f","datavalue":{"value":{"entity-type":"item","numeric-id":2117782,"id":"Q2117782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8e77952b6f7b2762f2fbc4113939e36d4be2a2","datavalue":{"value":{"amount":"+0.76687396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2238150$9959D86A-5714-4F45-A7C8-E614E5B744C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5037fbcf3c934c580aaae9e80542e49e2fd71f8e","datavalue":{"value":{"entity-type":"item","numeric-id":5004949,"id":"Q5004949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10072ab254a04903c3ec9591628f39352975dab3","datavalue":{"value":{"amount":"+0.7503463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2238150$1A6CF1A6-5E32-4678-AFD3-4D370062DD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e3d57445ac71dfe4d08202580f03728cd06977","datavalue":{"value":{"entity-type":"item","numeric-id":5717044,"id":"Q5717044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5ec70d90dbe6aca64f861d02c155b25e0e678c","datavalue":{"value":{"amount":"+0.7446657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2238150$03346207-38DF-4743-83C2-0DD6EE6E657B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ca2f7785c5c758f37d5bc6832da68a2049b37","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f968fef7f38f062a7c1f5520f330cb0bd16b7f2a","datavalue":{"value":{"amount":"+0.73933464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2238150$1C2A3830-DF09-4E9B-A159-E0BCEF61288E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e42f71f56b705b565b1d6fafd60e33d492f3b3","datavalue":{"value":{"entity-type":"item","numeric-id":3570171,"id":"Q3570171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec2824d8b33ebe2eb0a6dab08e670324db81fd2","datavalue":{"value":{"amount":"+0.7301815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2238150$E1B7128F-1F11-44B8-AD3B-0361F29AC755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4c5dc87f68e92a41cfce1f0ebdd165aad6b8e9","datavalue":{"value":{"entity-type":"item","numeric-id":435192,"id":"Q435192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12426979de5ae83b226d19060133b2fe97a08be5","datavalue":{"value":{"amount":"+0.7030774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2238150$E29818E5-6651-4D76-AE92-91E45F558847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b5aa1de0fc49e3388b42be4db370a8a5b8cf94c","datavalue":{"value":{"entity-type":"item","numeric-id":3437622,"id":"Q3437622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9740799afa4f49416abecc97ba03c70c5c093d","datavalue":{"value":{"amount":"+0.69705296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2238150$42127DCD-9701-4B08-8C38-5DA1DFD4F5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b9ecb1d9d1f5ab1630625891f50a1ba11a4bf3","datavalue":{"value":{"entity-type":"item","numeric-id":2498902,"id":"Q2498902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e9f1a23d4311faba4e575e666c1000c9c9eccd","datavalue":{"value":{"amount":"+0.6928827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2238150$0A7BA7FF-848C-4D3A-8FBF-8E5F5E3B76C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6fc081a98040ffd9f11ae72b5885d72126cbd13","datavalue":{"value":{"entity-type":"item","numeric-id":4218526,"id":"Q4218526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1a8f8490c80e58058b427f27d8f867ce3a223b","datavalue":{"value":{"amount":"+0.69236994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2238150$EC3176E2-F096-4950-8ADB-021F98EB3631","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238150$13A38D0D-6A02-4B04-A0EF-E87CF1CF23B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-theoretic_uniform_boundedness_and_bounded_collection_principles_and_countable_Heine-Borel_compactness"}}}}}