{"entities":{"Q5462988":{"pageid":7492547,"ns":120,"title":"Item:Q5462988","lastrevid":96398828,"modified":"2026-06-05T11:07:49Z","type":"item","id":"Q5462988","labels":{"en":{"language":"en","value":"Brouwer's fan theorem and unique existence in constructive analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2189437"}},"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":"Q5462988$FA54B7DA-99C7-4D83-83E8-AAE0DC14D4F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7038ed0c7ddef567eaa669d4965dd6da5f2a6b6e","datavalue":{"value":{"text":"Brouwer's fan theorem and unique existence in constructive analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5462988$669FFDBD-BC1E-4B8F-B89F-7F278C80E2CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"308ef9e6f585f1ff3a660b504d279d6851bc748c","datavalue":{"value":"1079.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5462988$07591CD6-1133-4F64-9F20-18CC11F8FC59","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":"Q5462988$AF1354EE-BC10-4CE0-B4E6-6BDC410647B8","rank":"normal"},{"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":"Q5462988$7F34AB28-F3E9-4074-ACCF-28EE0AAD49EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5462988$DFC08EC7-3777-4A99-8547-8593A401D913","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"060bece54e45684ba51870be219b4c49f86efe6c","datavalue":{"value":{"time":"+2005-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5462988$75F382C0-0214-46FD-A717-3D94C1E812C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5462988$7DFF137F-905E-4BFF-9A8B-70FCA6DC2E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c15b9ebe4d1394e4ab1aab28035564cf52ec9d0","datavalue":{"value":"54E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5462988$08DFA0D4-176A-427A-9095-4EB3B4E72F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5462988$E9F916CC-416E-4121-921E-78A4D2517BBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97776967bbaf02eb3a8db5a7ea16a7f84b05f045","datavalue":{"value":"2189437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5462988$DAE47282-7243-4255-A231-C0FA81C3BEF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1921e11e10b28a2219491b145ac4ee46d7272de2","datavalue":{"value":"Constructive reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5462988$9F6AF565-AFF7-48D6-B8FC-B98DEAAD9138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efd772b7b860aebbcaad2f821ee7aa2d2dc0306a","datavalue":{"value":"unique existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5462988$F0300D61-BA43-490E-802F-B231B0E71CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370c28b62d95a62843757a63aa9c7c6add7477f7","datavalue":{"value":"Brouwer's fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5462988$013FDC9D-6BFB-4253-B42D-D0C0359C8F60","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":"Q5462988$27188438-360B-417B-B490-39F9421E39C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f95b9a2c833371d68b73a98d00369e1e12fdba70","datavalue":{"value":"https://doi.org/10.1002/malq.200410038","type":"string"},"datatype":"url"},"type":"statement","id":"Q5462988$1F5D23EA-56DD-4FCE-B2CE-29076666DF43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0592e2b01c106662b03e1d322cdc1c8e64c2ee88","datavalue":{"value":"W2134101218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5462988$00B828FE-783D-44B9-83B6-DBE2D777ADA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e3acf342f7b3cc25c82412f4eefd1d3843a0add","datavalue":{"value":"10.1002/MALQ.200410038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5462988$CA65FADC-0A86-4A9D-9FA4-4DF9CF8A9A9F","rank":"normal"}],"P1643":[{"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":"9ec54876d2a2e3fc1e309760a99ea1689e2bbb93","datavalue":{"value":{"amount":"+0.8190110325813293","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":"Q5462988$38AEE7E6-45BA-446A-BE68-DD3F9CDC5EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96ca71ebd1bf40f0e9ae420799f041969b7fc71","datavalue":{"value":{"entity-type":"item","numeric-id":5480634,"id":"Q5480634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc5c3d6c3bb8bf477ae398c60dbdb57ba03baeb","datavalue":{"value":{"amount":"+0.8158817291259766","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":"Q5462988$1A011C6A-91DC-40E5-9EC4-09302279F1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99db26bced724e863836aaac7f29cc23307813ca","datavalue":{"value":{"entity-type":"item","numeric-id":3145940,"id":"Q3145940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b953a002fa704c7e29f00eb49d0d2500c43d6a","datavalue":{"value":{"amount":"+0.8106455206871033","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":"Q5462988$795AFD10-7F82-4B82-9FEE-C8705E640B17","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":"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":"Q5462988$29F08934-DB83-4F42-90BC-51C9DDCC4304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c025382a2a835a9cb3498273b5ead77b4553674","datavalue":{"value":{"entity-type":"item","numeric-id":3418084,"id":"Q3418084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffbaf66a3b094193f9cadf12bf93b33569d677f3","datavalue":{"value":{"amount":"+0.7949180006980896","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":"Q5462988$D3F060EA-AA62-4E95-9F2D-03439F1C3E2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Brouwer's fan theorem and unique existence in constructive analysis","badges":[]}}}}}