{"entities":{"Q3567844":{"pageid":5597748,"ns":120,"title":"Item:Q3567844","lastrevid":55937485,"modified":"2026-02-21T07:52:14Z","type":"item","id":"Q3567844","labels":{"en":{"language":"en","value":"A separation result for varieties of Brouwer's fan theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5722523"}},"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":"Q3567844$C7E893D0-7BFE-415E-8E02-CD96E2C92284","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aab1e09461180738e5eae5cc92d65110a194b79c","datavalue":{"value":"1198.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3567844$870B322E-1D0C-4D04-8FF7-65CB91B50EFA","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":"Q3567844$77BCC644-7A0D-4946-86CF-17D307A95CE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3567844$560A0733-7B19-47F4-8DD7-EBF6359E0A7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3567844$7510661A-E98B-4FD0-990B-37765E18F13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3567844$3E220CCB-36F3-43CF-AF15-B14EC1FBD528","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ca76b4388f62755e6862744c705e15fff1ade19","datavalue":{"value":"5722523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3567844$2C1172BE-E6D0-4C7C-ADDB-F74848EBEC25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370c28b62d95a62843757a63aa9c7c6add7477f7","datavalue":{"value":"Brouwer's fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567844$E3DC358B-0E5D-45DE-A3BC-7E410C82596C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567844$70529782-67A8-4A8C-B062-8071F81BA68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac95c99fe9f85455bcfbcd0ef9331c7f5ed0064a","datavalue":{"value":"subsystems of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567844$07EE6C2E-5386-4846-8782-016223EFBF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee01fea2f657b5359bc93a17fff748d906f69493","datavalue":{"value":"constructive reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567844$9B7DCAA1-C7B9-49BA-BDD8-AF7064B3690E","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":"Q3567844$B08EE6EA-623B-459E-A623-1B921445105D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5660cd431aed6a5407789e622f33bdec2520f66","datavalue":{"value":{"entity-type":"item","numeric-id":5207562,"id":"Q5207562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833b63e798965d5c7992b3f099ba430ab17f1137","datavalue":{"value":{"amount":"+0.8593892455101013","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":"Q3567844$FB20BF1A-922F-4EAB-96AD-614104551491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee3bc477e2be2bdd01f669a4248e8654facebf9","datavalue":{"value":{"entity-type":"item","numeric-id":1709705,"id":"Q1709705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af576472ce0de9475248fa7d94fe927cfcd7083","datavalue":{"value":{"amount":"+0.8589254021644592","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":"Q3567844$7E998EFA-509B-4046-BF8B-DC1488513241","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":"bdc7d158797195bcb46ce3e650357f846bafe3cf","datavalue":{"value":{"amount":"+0.8364953398704529","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":"Q3567844$B734E32A-AFD0-4C59-8427-3C9C6F7F94ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3567844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3567844"}}}}}