{"entities":{"Q5310891":{"pageid":7340465,"ns":120,"title":"Item:Q5310891","lastrevid":96098363,"modified":"2026-06-05T10:24:34Z","type":"item","id":"Q5310891","labels":{"en":{"language":"en","value":"A direct proof of the equivalence between Brouwer's fan theorem and K\u00f6nig's lemma with a uniqueness hypothesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200726"}},"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":"Q5310891$5F132038-84E2-402F-8351-A840F5ABC48F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e5b1ececc2caf5ff34b66eb14ddc066d387716b","datavalue":{"value":"1124.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310891$DF65A058-3932-48CC-BD35-EAA0232BFE5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310891$C62DF799-8376-484C-9F5E-99841AD88AD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51896fa873714969935123455cbe182d69a8f4bd","datavalue":{"value":{"time":"+2007-10-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":"Q5310891$7D6019D8-C0E8-4420-98CC-E2BA18A15C14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"794ef9b4aa9dc13de5d6659812e81f2056e3d6ee","datavalue":{"value":"http://www.jucs.org/jucs_11_12/a_direct_proof_of","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310891$C97A04DB-C2D4-413B-B031-B8C1F8AF7D33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310891$4CB9F1A7-C2B6-4100-9F3E-F5BBA8E0809F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310891$9827BC35-3986-4BA9-89E7-30155E4A4882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310891$6D74D603-9655-4DCB-8083-65C02E7D2D58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e9f95b33a743a6c576a7eabf559fd98aaeb114f","datavalue":{"value":"5200726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310891$277897CD-A64A-42C1-9C02-3F378D93E635","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370c28b62d95a62843757a63aa9c7c6add7477f7","datavalue":{"value":"Brouwer's fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310891$6C9BAB36-8901-4659-A021-EB45E7138285","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":"Q5310891$F8C29204-67BA-4125-9FF2-B6E3EAF6F883","rank":"normal"}],"P1643":[{"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":"2336ab2c9ed05a16bc4351252af0e60b546a007b","datavalue":{"value":{"amount":"+0.821682333946228","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":"Q5310891$0CD6B739-6542-4C05-9670-1B33F490DB4A","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":"fa818b5eb30bfd9b994c839a319be14acb5023b5","datavalue":{"value":{"amount":"+0.8105987310409546","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":"Q5310891$7DEC981C-74FD-42F8-93BA-3B14A2C58564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1b72bb87b4b1d3dde88bd498753bea2a6086782","datavalue":{"value":{"entity-type":"item","numeric-id":5462988,"id":"Q5462988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23677a060ca83f1471a4f02e11954c431f2e9b88","datavalue":{"value":{"amount":"+0.8088287115097046","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":"Q5310891$9873D192-1561-4F8F-99C4-676AC2E163C1","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":"1c633404d03dda3daf1a1058effee79573eef39f","datavalue":{"value":{"amount":"+0.8011972308158875","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":"Q5310891$15663D75-7142-4DCF-A2C8-A0C617AE4293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c144e331dabb8992de215d36e4b4dc0e39fd930","datavalue":{"value":{"entity-type":"item","numeric-id":5425338,"id":"Q5425338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f70ac070083dd23bd0a140cf2d9a8c932b1180d","datavalue":{"value":{"amount":"+0.8008304238319397","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":"Q5310891$E10E7499-C77D-4353-8721-A01508F8A680","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A direct proof of the equivalence between Brouwer's fan theorem and K\u00f6nig's lemma with a uniqueness hypothesis","badges":[]}}}}}