{"entities":{"Q867405":{"pageid":869253,"ns":120,"title":"Item:Q867405","lastrevid":42737811,"modified":"2025-07-09T17:24:43Z","type":"item","id":"Q867405","labels":{"en":{"language":"en","value":"Weak K\u00f6nig's lemma implies Brouwer's fan theorem: a direct proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5127271"}},"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":"Q867405$B91C20F3-46F4-4CC8-AFBF-D4207D15111C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f14cb5fe9a27d685963929a94535b306d037c7c2","datavalue":{"value":{"text":"Weak K\u00f6nig's lemma implies Brouwer's fan theorem: a direct proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q867405$ECB9E1F2-64E7-48DE-A615-5EB66A232732","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbeb769aa3d7e85fa849d01bda14a6faadfb696e","datavalue":{"value":"1111.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867405$4CB9F98C-F5E1-4151-9FAC-61762944D618","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867405$EC52C560-8540-4145-BCC9-03081A1FCB54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q867405$4C2D2D6D-AA77-44A0-84CB-FF91B191A47A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b3ead6168ee7e4a65e07f7e44713ef795f1233","datavalue":{"value":{"time":"+2007-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q867405$C22CDF28-B84F-421E-BA55-334C7D252ADD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867405$BC2964C2-349E-4D6D-85D0-C2D9A5CD1360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867405$052967C1-15A5-4FF2-A86B-9962BFBE93DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0baaec1d67b8d3c37b83574a192b649b51f7e3a3","datavalue":{"value":"5127271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867405$A8689040-3C1F-40C1-9724-F86F16705975","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q867405$53E32CEE-05DE-44A4-B83A-DDAE50016D72","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":"Q867405$8271119A-F3A8-4F3E-856C-66ADCD0EBEEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fab3ea314cb21f95297c1500d9f1cca056bd7290","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1153858649","type":"string"},"datatype":"url"},"type":"statement","id":"Q867405$49AD883E-8BEB-4D07-A794-42A6E1830376","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7433c455536010ca093b07f0bb8287df19056f6b","datavalue":{"value":"W2062677359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867405$7856AE3D-8FB8-40A6-B91A-AA4225861F23","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d7c4106d666a99b79978979767a464ab2c0a1e83","datavalue":{"value":"Q125026653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867405$BB23900F-351A-4DC4-8DD4-7641FBAAD129","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1c6737e89ff44ff338b8b90d438133e1f76f1d8","datavalue":{"value":"10.1305/NDJFL/1153858649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q867405$D6EC244F-07A7-40A9-94EE-59FFCF0DE701","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a113ebfe502467e91cbdeacc9165b61c577e04a","datavalue":{"value":{"entity-type":"item","numeric-id":2104258,"id":"Q2104258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ab4c786e1e2553007f351f6ee216241706f89b","datavalue":{"value":{"amount":"+0.9298435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867405$D28FA73A-5FA7-4696-90D0-19BA20754852","rank":"normal"},{"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":"2e625d3bb5204668175f8798f6bafb4ff0428c68","datavalue":{"value":{"amount":"+0.92862296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867405$26213ABC-3319-4F74-B1EE-F6C51D7B7956","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":"dc5efd4c81c5b52c4940ac0ccbef39f9f25938e2","datavalue":{"value":{"amount":"+0.89864033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867405$BD1D524D-A5CF-4F3C-A85C-4478647B4DAE","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":"1cc956b587156004329628dc2738394e8de6a5dc","datavalue":{"value":{"amount":"+0.897309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867405$EB38E13B-0CF1-4946-9DBA-D003F0D6BEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c6e129db663e21e6fa129a35f8cf3cc55aeaa3","datavalue":{"value":{"entity-type":"item","numeric-id":5412172,"id":"Q5412172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e92d4d810d7d134fefd67f0989bad3a9484edd","datavalue":{"value":{"amount":"+0.8865384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867405$912C5A17-D549-411E-B036-17051D6EFC09","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":"f462154f00c407b5e7dbaf0633135a81eba01cf7","datavalue":{"value":{"amount":"+0.8701378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867405$37CC77EC-3C4B-4159-9C68-9E2859FB7D46","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":"5d2985b1c6546e91c6da07d925b898bbc0f8dd9d","datavalue":{"value":{"amount":"+0.8642826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867405$4E79AC13-79F2-446A-9F4D-6E1470FD8D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf89038f1ddc8165ab4b5ea346cb0133e6a7288","datavalue":{"value":{"entity-type":"item","numeric-id":3617370,"id":"Q3617370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06a8535851529f83c031aeed190622a6e721557","datavalue":{"value":{"amount":"+0.86164975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867405$556E6F25-C66F-4A63-9257-4BB3F87F49C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef47fdfadba96c5e035646097ffaa67b86462de5","datavalue":{"value":{"entity-type":"item","numeric-id":4254634,"id":"Q4254634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b943807f8bd9bfdbea52c97d4a6b4d890710d05","datavalue":{"value":{"amount":"+0.8525941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867405$2624F441-9BAB-4F03-978F-CB408A932841","rank":"normal"},{"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":"2e7c2629de0a317f2671c75300fc68ca27d68b02","datavalue":{"value":{"amount":"+0.84765774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q867405$851CEB7C-6FF1-4238-996E-B908C851CB92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:867405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:867405"}}}}}