{"entities":{"Q408156":{"pageid":409923,"ns":120,"title":"Item:Q408156","lastrevid":61632282,"modified":"2026-04-11T00:36:15Z","type":"item","id":"Q408156","labels":{"en":{"language":"en","value":"The Bolzano-Weierstrass theorem is the jump of weak K\u0151nig's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6019353"}},"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":"Q408156$69B12D60-7FD0-4F31-9596-E3E4893CDCF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddab258d737039f0fdf877cc236153317598dc5a","datavalue":{"value":{"text":"The Bolzano-Weierstrass theorem is the jump of weak K\u0151nig's lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q408156$0FA53069-3124-4D58-AB23-2A9956A592CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec45bc6672fb2a4ecc3462b0fcb95f179a5ded2f","datavalue":{"value":"1245.03097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408156$4CD085EE-2264-4234-B4C7-EE028E583B79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ab4d09ea7cdd6d9ac271b221eeef0d1739dd3b","datavalue":{"value":{"entity-type":"item","numeric-id":408154,"id":"Q408154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$9B43CBEB-1209-4AAA-8AAF-5FEECAEE1492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27dfe45af81797f9e68bfff853cff7de91bd889c","datavalue":{"value":{"entity-type":"item","numeric-id":408155,"id":"Q408155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$9EE264D9-23C9-4192-9E25-E1E6FE442731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"647f4d17eb87bf327562a875e1fc7cdb8bf682b0","datavalue":{"value":{"entity-type":"item","numeric-id":238867,"id":"Q238867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$DEDF80FB-FD79-4A78-AE92-5D6FDCAD8029","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":"Q408156$E7C0EF01-7B7E-4FF0-AA45-E4A896517AE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0a3f1e568029ab0648b899666b38e418849eaa7","datavalue":{"value":{"time":"+2012-03-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":"Q408156$D0AE5419-6A97-4EB8-AEB9-014465BBC2C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cc8dbfa75372c4616aa1b0c508a29871952d3d1","datavalue":{"value":"https://arxiv.org/abs/1101.0792","type":"string"},"datatype":"url"},"type":"statement","id":"Q408156$D05720D2-D7BD-408D-962E-8627EFB8BE7A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"365779c78dd54b3e4c89ec6c9dc2c3adf0a8dfd5","datavalue":{"value":{"entity-type":"item","numeric-id":488355,"id":"Q488355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$45747721-4401-4F88-A8D1-5749682C80F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408156$00C114F6-F407-46FD-B109-80FF29493A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408156$1A5B6E2E-2E94-4FFC-A2E7-3CD6AE4EEFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408156$D5334556-E091-489F-82B5-232BDE56C56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408156$A11C2CEE-36CF-49F9-97E7-51FF14BDD176","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03bc55f2e5872a75c8efca18413179ca66d46dd3","datavalue":{"value":"6019353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408156$64A49BA5-0E04-4B31-AD9C-CD09FC2516A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q408156$7E071F50-63CF-422F-8073-AC24AEBC60D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q408156$C905308E-A786-43B9-836B-E189821B935F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q408156$772D2CFB-7929-4358-BC9B-56CCF57BBB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6cd522e6589a4836ae9f596063dd4c498054372","datavalue":{"value":"effective descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q408156$82CD1DDC-FCF2-491C-BBBE-09D6148C90D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e68308e94017f75a1451cc00c3eed812f9e49b1d","datavalue":{"value":"Bolzano-Weierstra\u00df theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q408156$2F1A7EBB-4091-487D-8F34-E23C7AD9DE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"187dad6521e3826debd04f4b4eab27c01c5c1cc7","datavalue":{"value":"jump in the Weihrauch lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q408156$7791C541-D6DE-4964-B72A-0493DE26C82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q408156$3144F7A5-2AA1-4C14-86AB-D38521E3B1AA","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":"Q408156$9E585965-FC76-43FC-8AB2-8AA8A96FD5CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f87d4dab5daf069bb5cdb96032fd72875c066457","datavalue":{"value":"Q124965796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408156$2F6C77C5-248E-4B39-A866-CB892F5A0518","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f513ae18feba604d29cd727982d370fb06b85fc3","datavalue":{"value":"W2018837422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408156$21213D8C-11FE-443A-B2D3-0ADC06706FC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed150c3537fcb6076b9f127ecd772a602588fe4","datavalue":{"value":{"entity-type":"item","numeric-id":2465611,"id":"Q2465611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$87B73770-C503-462B-9E14-2A50BA076BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"837f5708fa9cac112432d9ef4c5fa0c59f3c7c39","datavalue":{"value":{"entity-type":"item","numeric-id":1274805,"id":"Q1274805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$78665DF2-A282-48B2-831F-6F0B0F4E5CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907b2a1be2c9970130649439b8afde0595f74dba","datavalue":{"value":{"entity-type":"item","numeric-id":3159400,"id":"Q3159400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$FEAA8EEA-FFDF-4C7E-8A05-61D7D3655FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8341ef8bba0d3c87633967db3100a1db47314c","datavalue":{"value":{"entity-type":"item","numeric-id":4921451,"id":"Q4921451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$E7DE1EBE-7BF6-4B09-8888-158B512B946B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75093eb9c4ba67af50b94a26ace5aa3befc59158","datavalue":{"value":{"entity-type":"item","numeric-id":926175,"id":"Q926175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$0C7A43CC-0118-41C2-8ADD-D73F7A690BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4824ed87d34f0ba3d27df07debbc8cb20dc6759a","datavalue":{"value":{"entity-type":"item","numeric-id":3611721,"id":"Q3611721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$1AEBB8FF-E87E-4901-A7C0-1023C73A4D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1059ccd1a53029f0e8e04e996afb9ac67390f9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3083466,"id":"Q3083466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$508B8A42-9856-4700-980E-D1C983FA755F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d62405a861db13a5d14302c34d80205c6a0586","datavalue":{"value":{"entity-type":"item","numeric-id":3083132,"id":"Q3083132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$38A2618A-6563-4A4B-AF4F-1F0A4168CA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9571d442c3ec44fc309bb00bc9302631e9931d","datavalue":{"value":{"entity-type":"item","numeric-id":1427773,"id":"Q1427773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$0565E20F-424A-4FA5-BDDD-C99756DD3A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde0b0b6ea6507d8973acf5c3c6e7553bf547170","datavalue":{"value":{"entity-type":"item","numeric-id":424541,"id":"Q424541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$1EC96AE8-07B1-44A2-86D0-9D9B76314A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d2c53982652f9910a81ffa38709163208e8173","datavalue":{"value":{"entity-type":"item","numeric-id":2391094,"id":"Q2391094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$40CFA84C-1747-469C-8896-D0C3290897BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$EA5E1C47-4913-4106-96CE-9E1522104E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e02e411e3e25f9832686c6efcf734dde57f18f9","datavalue":{"value":{"entity-type":"item","numeric-id":987935,"id":"Q987935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$5621CCA7-F784-4ACF-A3F4-990C555A8717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51884aae06bdf465122b5d483319bcae238f9c29","datavalue":{"value":{"entity-type":"item","numeric-id":3091446,"id":"Q3091446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$85265D5F-1D0A-4589-B16D-5415907B163D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4312fd1c8c5e5d85ba5428883b40e830f448e020","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$8A615C81-9B48-4115-A404-72D589A1CBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$A13D04A6-568B-401F-8654-F185B79089F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$10930E9C-5F19-41DD-BE01-C532C346E764","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":"Q408156$0A6FC1D4-A466-4877-BBBC-8B49A486BF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5269696f45a83a9440846095ece4e18c10c76ed6","datavalue":{"value":{"entity-type":"item","numeric-id":4904465,"id":"Q4904465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$E34E8FE6-2798-4D2B-844E-3D697A07F119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e16629215eb55614c1d4e50025825914e749c3","datavalue":{"value":{"entity-type":"item","numeric-id":3008059,"id":"Q3008059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$C5FC43F2-FE6D-4DDD-B9C4-CF4C5E7EB26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14c7e62a2973912b3049bce9d90cdab3f534825","datavalue":{"value":{"entity-type":"item","numeric-id":3576213,"id":"Q3576213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$CBAAE012-9C04-482B-AAF5-84BA18990C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b96c69014d0d06ad3087f3311a78de1ff655fe7","datavalue":{"value":{"entity-type":"item","numeric-id":3528149,"id":"Q3528149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$CD434C2E-F166-43D6-B870-86AD03CDC77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08783d1cd81fadbcfbdb5e081cc1fc156b802db7","datavalue":{"value":{"entity-type":"item","numeric-id":3785063,"id":"Q3785063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$AA6F1798-E734-431C-94F0-19D5E4CBDD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55925e4427f56296e6dd5b43dea359b56ab0d8d8","datavalue":{"value":{"entity-type":"item","numeric-id":3611832,"id":"Q3611832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$1F23F175-496C-4B7F-A6E0-EAF3F8203EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$C6BCBAAB-AFA1-4041-8FD4-A607FC824167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8536ac47f2fa6269347bcc8fe8996ed91fcc3a","datavalue":{"value":{"entity-type":"item","numeric-id":2917346,"id":"Q2917346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$BCD959CC-7002-4D8D-B32C-36AFB7EAAF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ac12bd6657554b9f1a6f8ab7524a7635be669f","datavalue":{"value":{"entity-type":"item","numeric-id":3075220,"id":"Q3075220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$2EDA7278-4E8C-4A53-BEE1-95A5158B7211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839a85687eb37c8394b9f5af06d6fe17f71e2638","datavalue":{"value":{"entity-type":"item","numeric-id":3053230,"id":"Q3053230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$7234E987-D6DD-4B38-9A68-13E6D33D7198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ef6412e9ce2e5bde21cdf321bae09faca040e4","datavalue":{"value":{"entity-type":"item","numeric-id":3053232,"id":"Q3053232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$DC8B39C9-C402-49AF-BD92-BC3E5EE4EE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$53E6996F-265E-43FA-8998-B05B999486B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$CDBA6B5F-64EF-4359-91D3-82F8E58F83F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e7d4cbd55f8c88e5281ab6adcc4ef6a023212a","datavalue":{"value":{"entity-type":"item","numeric-id":5466549,"id":"Q5466549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$06B936F4-541F-42F2-829A-C29B628AE69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$319DD08E-A7C6-4AA0-9723-907465C540F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89347676e9db851303a51a373fdb10321a59d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":4798201,"id":"Q4798201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$7065B10B-FFA5-4306-BC55-071524CE56C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ff67a5cf7126a0b9168d4164966ae8af069955","datavalue":{"value":{"entity-type":"item","numeric-id":4921445,"id":"Q4921445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408156$0D8719ED-641B-4B9F-A99E-4A562414C24D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d73f5e1b065a947001d1b26a88e36a4c691ac18","datavalue":{"value":"10.1016/J.APAL.2011.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408156$731861C1-DBFD-4D4D-AC95-DA1E190786F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37763b630b4745b0bf035adb7bc74ab42a0102a0","datavalue":{"value":"In this paper the computational content of the Bolzano-Weierstra\u00df theorem and variants thereof are investigated. This is done by interpreting these theorems as partial multi-valued functions and placing them in the Weihrauch lattice.NEWLINENEWLINEThe authors start by proving basic properties of the Weihrauch lattice, and discussing closed choice and omniscience principles, compositional products, and derivatives (or: jumps) of a Weihrauch degree. Next they present their results on the Bolzano-Weierstra\u00df theorem and the cluster-point problem. Finally, these results are compared with related results in computable analysis, constructive analysis (e.g., on the antithesis of Specker's theorem), reverse mathematics, and proof theory.NEWLINENEWLINEThe main results of the paper are:NEWLINE{\\parindent=5mm \\begin{itemize} \\item[1.] The derivative of closed choice of a computable metric space is the cluster-point problem.\\item [2.] The Bolzano-Weierstra\u00df theorem can be characterized as the derivative of compact choice:{\\parindent=8mm \\begin{itemize}\\item[*] The Bolzano-Weierstra\u00df theorem on real numbers is the jump of weak K\u00f6nig's lemma.\\item [*] The Bolzano-Weierstra\u00df theorem on the binary space is the jump of LLPO.\\item [*] The Bolzano-Weierstra\u00df theorem on natural numbers is the jump of the idempotent closure of LLPO.NEWLINENEWLINE\\end{itemize}} \\item [3.] The Bolzano-Weierstra\u00df theorem is the compositional product of weak K\u00f6nig's lemma and the monotone convergence theorem.\\item [4.] The Bolzano-Weierstra\u00df theorem on real numbers is complete for the class of weakly limit-computable functions.\\item [5.] The unique-cluster-point problem on real numbers is complete for the class of functions that are limit-computable with finitely many mind changes.\\item [6.] The Bolzano-Weierstra\u00df theorem on real numbers and, more generally, the unbounded-cluster-point theorem on real numbers are uniformly low-limit-computable.NEWLINENEWLINE\\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q408156$83169979-CC40-4DAA-B4D5-A4D346B017DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81f266832c2eb42dd4989dc057a851356ffc8cd","datavalue":{"value":{"entity-type":"item","numeric-id":529168,"id":"Q529168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0467bb0bcfd89bedc8c3bbdf87eb0280c5e8918","datavalue":{"value":{"amount":"+0.845629096031189","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":"Q408156$5B38BF7B-2E8A-4FC3-8F73-B49F9FD6AF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c61b806d07d2fa62234c5c58c443535b1504ae","datavalue":{"value":{"entity-type":"item","numeric-id":3053232,"id":"Q3053232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c321cf7e33791063b73318b573764d16d7be2c7","datavalue":{"value":{"amount":"+0.8239933252334595","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":"Q408156$1958FBAB-F6B5-417F-B115-849F24530BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7007a6f1ac19471df136dd43e4e6a13c88159215","datavalue":{"value":{"entity-type":"item","numeric-id":2917342,"id":"Q2917342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2a73a2a2c057567b6b8bf538ca767e309291a3","datavalue":{"value":{"amount":"+0.8124549984931946","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":"Q408156$E039F3D1-9840-4CF4-A3F3-28C844C7D1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30aaa2f0094589ebec307534a7aaf1dd48fd8717","datavalue":{"value":{"entity-type":"item","numeric-id":4904465,"id":"Q4904465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9583c0840278bdb870bf32c3444badd92bbd4dc6","datavalue":{"value":{"amount":"+0.7990618348121643","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":"Q408156$1BF7BF28-B599-4987-B6E8-337602F03427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f6677213c71df10208adab80997dfc426dc3ab","datavalue":{"value":{"entity-type":"item","numeric-id":3083466,"id":"Q3083466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09388c26368793fad0505b60f9863e1edca186d4","datavalue":{"value":{"amount":"+0.7921739816665649","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":"Q408156$AA7532E9-3982-4646-BD72-306334E2E451","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Bolzano-Weierstrass theorem is the jump of weak K\u0151nig's lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Bolzano-Weierstrass_theorem_is_the_jump_of_weak_K%C5%91nig%27s_lemma"}}}}}