{"entities":{"Q3617370":{"pageid":5647276,"ns":120,"title":"Item:Q3617370","lastrevid":50610143,"modified":"2026-01-14T13:41:53Z","type":"item","id":"Q3617370","labels":{"en":{"language":"en","value":"The weak K\u00f6nig lemma and uniform continuity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5531007"}},"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":"Q3617370$AB5ACA4A-2317-4383-8B62-EAE7F129B5B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe948eaf2d53b6f7abfada19683b1b3c2fc13648","datavalue":{"value":{"text":"The weak K\u00f6nig lemma and uniform continuity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617370$E7E9E6B2-3FFE-4E45-929C-4CED5EDAFEE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"776b4b8358518453b34257964410767c448111ab","datavalue":{"value":"1171.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617370$C3039548-F0E5-4D2C-9B52-337A96B09246","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b297e870ab363601f4b2bc889f037e2eb84a7725","datavalue":{"value":{"entity-type":"item","numeric-id":306580,"id":"Q306580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617370$6AA3CECA-97F6-4CED-AC14-649D18CC98EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617370$23E90940-6675-4976-99F0-C7A0EB9CA7D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f048b9b8a41b82f9765bf157ba4b1fd3be60b72","datavalue":{"value":{"time":"+2009-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617370$863E9D69-50DA-4308-A295-9C64CDA8D420","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617370$AEB7D8A8-1B4F-4F70-A4F2-7B0411D29DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617370$9B8BEB29-4EDB-47F9-A1D0-0D3413C5192F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617370$933EE53B-A51B-46AA-9636-F33E00DDEE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b822e7a8e3182eac90bd373b5db12c2ae0651c8d","datavalue":{"value":"26A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617370$00E8D37C-1767-42B7-9ED8-74F5A7B584BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bdc8b485b55469f10140f5dc73968c403224aec","datavalue":{"value":"5531007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617370$E5E4664D-77D1-4AB9-A4E3-75557E8887D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617370$A76350EA-00B0-4108-B7DC-5FAB9515DB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a7401c9875879d328ddc27e6f06e2099e3ea9d","datavalue":{"value":"constructive","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617370$E6D5485D-8FA7-4DE2-A976-7FBD663A6A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5159685676f36ed74f839840c5cb6d20ef2e80e","datavalue":{"value":"intuitionistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617370$4252499A-E811-455E-BBF5-68D88AC42B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617370$D46151FD-C2CB-421F-94E8-751A334644AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f56b45dcf748056e029c4266b956ce593f4fe66","datavalue":{"value":"HA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617370$DF5BD335-4FEA-4E9B-9583-11E4F9B63C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae50ae2b85be6b6a62442695a83467ecef2262e","datavalue":{"value":"modulus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617370$E29517D6-06C6-479D-848A-8C94E93E51A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051b9b7dd93701a972bbd72920bdb951539c784c","datavalue":{"value":"uniform continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617370$4E65FF8E-0A5E-44F5-9A53-402E73924AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0051fa7bc7f16a45c398b2aa7da1d79c7c51e142","datavalue":{"value":"fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617370$A4C3415F-172A-4F1E-9DBC-A5CAB51FCED3","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":"Q3617370$F5E4BA95-1AD1-4A00-A497-A438F07DF757","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a96a2f0527555ad7032afbf7e81d82c12f65e990","datavalue":{"value":"https://doi.org/10.2178/jsl/1230396756","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617370$C0C46006-3936-4E2B-92F5-62062907F518","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12fd275c047894cb47e1c1afc9f015b599c398b6","datavalue":{"value":"W2086127334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617370$8707FEF2-4F10-412F-A2AC-002A965E3E49","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"566d8e9b6dd0c52162a288d544b881c00900c9b7","datavalue":{"value":"Q124801837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617370$97039FBF-451E-4884-A0A7-68A1DFA66DB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617370$9AD1CA31-2052-4774-B6CC-53EC456473DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc9be67ba2994d59559156edb1ac6b72d944164","datavalue":{"value":{"entity-type":"item","numeric-id":867405,"id":"Q867405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617370$663DD66C-7541-4251-9150-D79DD82FC573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174ffcd80a0a880e94d886e142fb6220aef9c4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4786451,"id":"Q4786451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617370$107BC259-9A14-4C61-8493-2D18B4CC0DB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3e5d63b6beff11c415917d083026a096dd5ddb1","datavalue":{"value":"10.2178/JSL/1230396756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617370$57B0D347-1CF7-49A0-8F35-6C0F16BB0638","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f01c1be3a8179619af1772e22f7fe8fd55d4c3","datavalue":{"value":{"entity-type":"item","numeric-id":2851185,"id":"Q2851185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5bbc1e4a04615c0d0fcabb103e25cb4e2c8a704","datavalue":{"value":{"amount":"+0.916914999485016","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":"Q3617370$295220A7-3623-443C-8240-F10BF4A38D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cdf387141ec33786c38277cccd8ff80da4af84","datavalue":{"value":{"entity-type":"item","numeric-id":5717045,"id":"Q5717045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c9180523582b1d26c1f4846b92dbf58a926e13","datavalue":{"value":{"amount":"+0.8991008400917053","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":"Q3617370$2A771273-6A12-4309-B16C-DD4921FD7DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50ce32751f6894ad3001e9c08f6f340fa5ffa4b","datavalue":{"value":{"entity-type":"item","numeric-id":424539,"id":"Q424539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c5da6c64b270efac2c72793399f21d5262808e","datavalue":{"value":{"amount":"+0.8390852808952332","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":"Q3617370$5A7F5F20-177B-45FA-AF3C-FFC85293F4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f367c129f098e59b690e7d301431418b7e3dd231","datavalue":{"value":{"entity-type":"item","numeric-id":5957854,"id":"Q5957854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609d1107d705fddc15004a549100a297443ad7e3","datavalue":{"value":{"amount":"+0.8142807483673096","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":"Q3617370$9704D1B0-4DD7-4B40-94A7-9B52FD93B6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7450ac04af37be4d65997a3ac411f98edd2401da","datavalue":{"value":{"entity-type":"item","numeric-id":5898800,"id":"Q5898800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41710272fc45466ac068f32d45bd3b746f9249d","datavalue":{"value":{"amount":"+0.81428062915802","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":"Q3617370$7864C118-BAE5-4ADE-BC2F-141612099E3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617370"}}}}}