{"entities":{"Q2104258":{"pageid":2115001,"ns":120,"title":"Item:Q2104258","lastrevid":55428259,"modified":"2026-02-17T16:11:22Z","type":"item","id":"Q2104258","labels":{"en":{"language":"en","value":"An extension of the equivalence between Brouwer's fan theorem and weak K\u00f6nig's lemma with a uniqueness hypothesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7627922"}},"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":"Q2104258$92D29D24-6498-4322-9A5B-3D8CAB226B17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77d7c9a08bacf84338bb679dcbb57e41df64f391","datavalue":{"value":{"text":"An extension of the equivalence between Brouwer's fan theorem and weak K\u00f6nig's lemma with a uniqueness hypothesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104258$DD2B2028-4DEC-41F3-B13E-C99F10076C99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d612a9ffb52ea68b7660a7910eb0afc098a4907","datavalue":{"value":"10.1007/978-3-031-08740-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104258$284CE848-8CEA-417C-B373-BCB0E6BBA2C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed802a6d9a5c89df6324bfbe3e28c722497db55c","datavalue":{"value":{"entity-type":"item","numeric-id":892138,"id":"Q892138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104258$77EF75C9-4F79-4FA0-B605-A47256A106EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104258$B1CD879F-A9DF-49D1-85C4-EEDC5C181A1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104258$F7F38AD0-3B0E-4337-AF32-5DBF852C9313","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71a037ca1476d41a7cfe425ba605e01470f2879c","datavalue":{"value":"7627922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104258$CBC2940E-9CC5-465C-8A45-831FF39CC350","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104258$6EEF9DA1-F8D9-47F7-9856-D27574238649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0d98fbae067e4ae9cd10e0b996274af1ee57568","datavalue":{"value":"bounded K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104258$A3381742-DAF5-4860-BAEE-08590B2DBC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"981502de190ae1c64eb66e8dc315537f1d304770","datavalue":{"value":"uniqueness hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104258$293A46F3-A80E-4787-9437-AF8729CA7A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0329623d52c9ae4178aa6e712b5a38d8791e8491","datavalue":{"value":"the decidable fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104258$BA2680F9-7A6D-42C3-B397-1E2E4C24EA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee01fea2f657b5359bc93a17fff748d906f69493","datavalue":{"value":"constructive reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104258$B9357668-6BBF-45C1-B593-EC19E3D7F750","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":"Q2104258$BF57B41E-5278-4672-8FA3-3D5DAD9433D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b522f08048ce4a94c709c5069811559cf8618c41","datavalue":{"value":"https://doi.org/10.1007/978-3-031-08740-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104258$FBC16842-B9B6-49F8-9217-311934E4B664","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b89170c898d8fb02ef0444a031b9ecff141a7dca","datavalue":{"value":"W4285252777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104258$FDD1EC84-4D0C-40C3-A9AE-0435D7ACB190","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb7aeb9c843bf9c5a7d6e403b9559f1c572decd","datavalue":{"value":{"entity-type":"item","numeric-id":5462988,"id":"Q5462988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104258$92BEDB7D-30C4-4ADF-B87E-006EB0B69F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11662185749ff73fb2de863d1b32e50de90a3327","datavalue":{"value":{"entity-type":"item","numeric-id":1712938,"id":"Q1712938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104258$2A52C670-F1F9-455D-BC59-9E91386CBE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1225945930f9d04115a9a87913b9f4c5a4bb888b","datavalue":{"value":{"entity-type":"item","numeric-id":3195695,"id":"Q3195695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104258$2DC76ACC-241D-4CE3-9CDE-0D7C95BC4BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa31c581e4d1e7fbccc0c984094ddf202ed38b5c","datavalue":{"value":{"entity-type":"item","numeric-id":6047683,"id":"Q6047683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104258$60BD2B48-8DF2-4011-AA92-C3852BBDC73B","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":"Q2104258$456A4ED7-805B-413C-BC8D-EF0ADB5B88D6","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":"Q2104258$26365D79-2F8A-4B18-8031-5DA04FD74D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8e79a428f1b2f02eee287609a168f8835774f4","datavalue":{"value":{"entity-type":"item","numeric-id":4981453,"id":"Q4981453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104258$48E656C8-8238-49DC-B0AB-10B86C5EBFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9616b003d703f9d09294a2db2e4505eb229f58","datavalue":{"value":{"entity-type":"item","numeric-id":5310891,"id":"Q5310891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104258$2B1652F8-495A-4D7D-95A8-D9BFDAA7BF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104258$5196CE43-3B7F-4E1F-9943-A144813E504F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104258$1011679A-BABF-4A8F-9A5C-913515873640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104258$BC0B0C72-1C47-4C2E-973A-949BCF8724E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89610b54c2925a71593ae44b7b52878023aa442d","datavalue":{"value":{"entity-type":"item","numeric-id":5310891,"id":"Q5310891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d06b6c4ea52bbe3240274fd394dbe1da52765a8","datavalue":{"value":{"amount":"+0.8769496083259583","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":"Q2104258$3979303A-22A9-4E9F-A00D-4BA89B87D410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc6e1d1df9e133237128be39e7e76c47696b354","datavalue":{"value":{"entity-type":"item","numeric-id":6047683,"id":"Q6047683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979b523626ae476ec1db7f09211306dae1b6f6ff","datavalue":{"value":{"amount":"+0.8241522908210754","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":"Q2104258$7EE28D96-C69D-492B-BFE0-256F41F3C03A","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":"5144b1486f9cf56491f29a842fccdb3ae9df895d","datavalue":{"value":{"amount":"+0.7990291714668274","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":"Q2104258$59B56F52-64D2-4BE0-9CDD-07F0E52BC839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6219a902f82d046623e238974dc17426cfb10d77","datavalue":{"value":{"entity-type":"item","numeric-id":703836,"id":"Q703836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b6674ed79402b308b6402d9bc4feec650eed93","datavalue":{"value":{"amount":"+0.7962382435798645","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":"Q2104258$AFD01301-6441-4A91-A1D4-1B2B6EB97310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee30db651c647c143bbd3bdba44d80d49c41507","datavalue":{"value":{"entity-type":"item","numeric-id":4981453,"id":"Q4981453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83aed4d4834c0c4e239d45c44178f9485c3e1cef","datavalue":{"value":{"amount":"+0.7949851155281067","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":"Q2104258$573BF431-F66E-460B-9483-95EA32B1C99C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104258"}}}}}