{"entities":{"Q3145940":{"pageid":3156656,"ns":120,"title":"Item:Q3145940","lastrevid":56666217,"modified":"2026-03-18T14:02:42Z","type":"item","id":"Q3145940","labels":{"en":{"language":"en","value":"A decomposition of Brouwer's fan theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116136"}},"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":"Q3145940$F03C07BE-3EB2-4504-BE88-12073716206C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07d1b4955d4dbb43689464cc66fa205d9d798f76","datavalue":{"value":{"text":"A decomposition of Brouwer\u2019s fan theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3145940$A1B764EF-0758-476E-B2DA-89460EC17A6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf627d7a92f4bd2727d20d8b24f90911977ef9a1","datavalue":{"value":"1285.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145940$8BA6A437-F6AD-44E2-BB0E-762C46988FC4","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":"Q3145940$644939AB-59A8-4229-B3C8-BEDB164CDE50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33fa00db87827c11724d8a1355500a9a7034d47b","datavalue":{"value":{"entity-type":"item","numeric-id":2930865,"id":"Q2930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145940$0A726031-5868-4FDB-87AE-4DFA396355C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-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":"Q3145940$15B17D41-09F5-4095-BEB0-100740DA46D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145940$1994ADCE-DBDE-4295-AB56-BD389D32A884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145940$C19CC1D9-4067-428B-ADB8-56743C549608","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c48d31a83be1fce2fc6380649678c3108bf9f911","datavalue":{"value":"6116136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145940$7E2F4B0A-AED9-4DB7-8147-5233BF017FE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0051fa7bc7f16a45c398b2aa7da1d79c7c51e142","datavalue":{"value":"fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145940$915853F0-F798-4239-8262-EC47BA3501C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854744c822e720a254399fd5fc7d80d07631821e","datavalue":{"value":"weak K\u00f6nig lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145940$EC824A80-6755-4226-BC8E-159A106474E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145940$AA8566B9-A667-4351-B884-F6B8C9333C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145940$CF7BF4DE-3599-4A88-90AB-59BBDADDDA09","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":"Q3145940$1AEEFC6C-4EDF-4BC5-BDDF-5E7CA0DCCD5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce16eb05f72178c5d89aded326dbfc2981e1c113","datavalue":{"value":"https://doi.org/10.4115/jla.2009.1.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3145940$491EDC0A-1466-43BA-9FDE-5A5EBF251A8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8914616d0b9cc13129bfee24dcc747c6e203e0e1","datavalue":{"value":"W2018780887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145940$60DED72C-7946-4531-B71D-BE80C5B62392","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ba3ca2297bf9956e1be32b9e142035c6514f50e","datavalue":{"value":"10.4115/JLA.2009.1.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145940$78EFC5F1-975A-4E86-8D91-4F266F3214D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60d39c5885ee90337f43d80e3ca28f12efed2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3567844,"id":"Q3567844"},"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":"Q3145940$90516CD2-814F-4642-A8CC-CA9832671027","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":"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":"Q3145940$0D9D92F8-6204-417E-BFEF-0E8735FBFDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fffa9a378134c2d8311ec7d782a63b0eb3dd2027","datavalue":{"value":{"entity-type":"item","numeric-id":453178,"id":"Q453178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9728e96ef364e1426b6394e73d8c8783e4c7e4","datavalue":{"value":{"amount":"+0.8004515171051025","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":"Q3145940$82755E31-896A-4423-AD5A-DF96CD01D9D3","rank":"normal"},{"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":"0480a149bb78e4144fc2ac20387330a23d1d2eff","datavalue":{"value":{"amount":"+0.798185408115387","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":"Q3145940$42A155AB-5628-4BCC-8DED-4B687C8594E6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145940$79156592-205C-4D80-AE21-5F6E6904D3BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3145940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3145940"}}}}}