{"entities":{"Q403410":{"pageid":405177,"ns":120,"title":"Item:Q403410","lastrevid":61630305,"modified":"2026-04-11T00:35:16Z","type":"item","id":"Q403410","labels":{"en":{"language":"en","value":"Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6335990"}},"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":"Q403410$C1FD8A9A-7FB5-4B34-8C2A-4730BAFFB203","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e878a6e5e68a28e474ef38482b539ddf33c9deb9","datavalue":{"value":{"text":"Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q403410$E6E4ABC6-C769-4AE7-ACFF-8A3385FB216D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f156f895b7321718285d64ef55a16740fdedb443","datavalue":{"value":"1327.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403410$2C59AAF7-EDB1-495C-A5E1-DE21759C4AA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed1b29a779be18eed2e3b376488f3b2b88f9170","datavalue":{"value":{"entity-type":"item","numeric-id":185815,"id":"Q185815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$68395818-3D3F-47F8-97F5-AD6E1B0E264F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$39CD8E33-5E4A-48EC-B32B-07CB5D7B04EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"163bad71d2d58b992a56c87b8eddb84d83e1a225","datavalue":{"value":{"time":"+2014-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q403410$C71D8D51-4E85-4378-9F53-C4EE0E7FD007","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43ab24cefb1a2892924716cc41535a8c9b3593d4","datavalue":{"value":"https://arxiv.org/abs/1106.2738","type":"string"},"datatype":"url"},"type":"statement","id":"Q403410$12B7024F-93E7-447D-8671-0E8FA9677060","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a898de4c0a0371dc55aa7cc745f7dd79c018e6bf","datavalue":{"value":"The author has based his paper on a tailor-made formal system, called Basic Intuitionistic Mathematics (BIM), which resembles \\textit{W. A. Howard} and \\textit{G. Kreisel}'s system H [J. Symb. Log. 31, 325--358 (1966; Zbl 0156.00804)] and \\textit{A. S. Troelstra} and \\textit{D. van Dalen}'s system EL [Constructivism in mathematics. An introduction. Volume I. Amsterdam etc.: North-Holland (1988; Zbl 0653.03040); Constructivism in mathematics. An introduction. Volume II. Amsterdam etc.: North-Holland (1988; Zbl 0661.03047)]. On this basis, he gives numerous equivalents of Brouwer's fan theorem and of Kleene's alternative. Variants of Dini's theorem on the uniform convergence of sequences of continuous functions play a prominent role, as do adequate variations of `compact' and of its negation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q403410$395E9E28-65B1-42CF-A491-1D9359075F20","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c33a963100806d74a242a5df1e1de059fbf40e75","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$7E1A7076-910B-46E8-8D00-E000647B3284","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403410$68C659A7-DAB0-4506-B9EE-EDA584F9A995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403410$73D84716-D5E6-4E0E-93AC-F089CE68ADCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403410$0C0F87B7-05BC-4E62-B04A-2FBD8D5826F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403410$04AAA842-2096-45C5-9384-DEF271F579E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f8110d9803e4b2aad411f3877567f31b3c60e123","datavalue":{"value":"40A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403410$4250EA02-4759-46F7-B7CC-6B2E48F95110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad6d8ea1ce57741dda1ff793b700291aedca1fae","datavalue":{"value":"6335990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403410$63A856EE-7CA9-48E1-820B-742FB2AD9CBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370c28b62d95a62843757a63aa9c7c6add7477f7","datavalue":{"value":"Brouwer's fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q403410$2E45A3CA-285F-4B72-A47C-395210B238AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63b29f8f164b19295b3f9c9f3c1036b98db7c5d2","datavalue":{"value":"Kleene's alternative","type":"string"},"datatype":"string"},"type":"statement","id":"Q403410$7283AD6F-964F-4BB4-BEC2-CC028E932525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"813d4a6ca2de245252637180fcad20f651e6c05c","datavalue":{"value":"intuitionistic reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q403410$BDC34ECE-39C8-4FC8-871D-8267742223F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0367c50fa813e8df85df5b9ddcf397ddfcab66","datavalue":{"value":"compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q403410$43C46B42-AEF3-4105-9815-71B36BFC556F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6323bebceda266a2a1b5f0eefbf456aa70d9242a","datavalue":{"value":"positively non-compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q403410$B2DA4C59-1A24-43AD-B43E-59AB14109B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d296bd85ec55da6fc65f4c34a63950e0f012d7","datavalue":{"value":"closed-and-separable","type":"string"},"datatype":"string"},"type":"statement","id":"Q403410$C3C27264-8247-4DF5-856E-F65C043A3B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d278d91d33134d454caac0cb9b809519edd50f5","datavalue":{"value":"Baire space","type":"string"},"datatype":"string"},"type":"statement","id":"Q403410$0C828773-64C0-4DE3-AEB3-80AACC3E8BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93870bea9e95850a8c2c168e966ba73051e6fe83","datavalue":{"value":"real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q403410$76A67501-6D9E-4CE8-B557-78344388D7C1","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":"Q403410$B6CE38BA-1009-422A-8AD8-31394E9174F6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c68217855c1db8b59f80ba68c1fc8916cf887c8f","datavalue":{"value":"Q114018316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403410$3D283F2D-15D0-461D-B2DA-BD1263AB82B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03ca6771016c58e5a137507e1ebe1fa43c29e996","datavalue":{"value":"W1979862983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403410$49545F04-2138-4E01-94B1-FEC5C52FC80B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$4F58C9F7-1D52-4C2A-AB2F-6BF38C37ACC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540468e8f855cdef92c806daf13fe3f5cb1818ed","datavalue":{"value":{"entity-type":"item","numeric-id":3407137,"id":"Q3407137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$8142FD30-44F9-4E1E-B323-6C683A7E8F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636a324fe5706412be945d877a414b1bfbac3239","datavalue":{"value":{"entity-type":"item","numeric-id":867406,"id":"Q867406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$DA1FEF36-1C80-410D-890C-28FA8CAD4C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1071e8ef0b1d35dfbe159ae9468abcbc5e4f7f46","datavalue":{"value":{"entity-type":"item","numeric-id":3613303,"id":"Q3613303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$20E59129-57DB-41DE-BE81-4AB3A49E886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$180642E3-5682-454C-9A2D-48966FA61564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$1B55EFEC-2BB8-4B32-83BA-240DC5757E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$A75C8F15-226E-417E-8230-F9D7D073AC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbba6cd1f1c8123f083e2f7c6bcf7bf52744286","datavalue":{"value":{"entity-type":"item","numeric-id":922541,"id":"Q922541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$7804F648-845C-4DCC-9D28-54A3448D82EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a84d4a6889c354803eaf85deff74311825ffe3","datavalue":{"value":{"entity-type":"item","numeric-id":5825810,"id":"Q5825810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$1870CBDE-7B92-4055-A791-B8D3F28FA823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48e9b8e84cf9b3c532b9fc4eee79bd50b0243a2","datavalue":{"value":{"entity-type":"item","numeric-id":4068683,"id":"Q4068683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$5594EC19-6A62-4AC6-9483-64509712CC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$9A45D8D6-FF10-48BF-BAB3-68989E001242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5d395db8c5eb1d5217f78fd08b7a7b6e8b5da5","datavalue":{"value":{"entity-type":"item","numeric-id":4492739,"id":"Q4492739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$0323F9CB-2710-42FA-84BB-1FDB3FCF8AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e4eb39258f764abc5bba51187c33ad62c05495","datavalue":{"value":{"entity-type":"item","numeric-id":5764367,"id":"Q5764367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$97A50718-64A7-45FA-A1BC-C69A1062FE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdaa4df1bc97d1448f2d8eeea53c9304f950a63","datavalue":{"value":{"entity-type":"item","numeric-id":5329144,"id":"Q5329144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$FA883409-2C8E-49E4-8638-8A7E2B20E793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4e58c25b3453d9125c4c48d9600b2360c05ce","datavalue":{"value":{"entity-type":"item","numeric-id":5537358,"id":"Q5537358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$0B89447F-BB7B-4F0F-BC7F-89D9FA467596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4312fd1c8c5e5d85ba5428883b40e830f448e020","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$747E750D-F312-4EA0-A4FF-A253C61F73FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9aadc3c0a6ee9d87a611e0aab0a830511327817","datavalue":{"value":{"entity-type":"item","numeric-id":1166518,"id":"Q1166518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$FCB6B2E2-608F-4CD1-9F4A-89BC05E8CD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$6758B0D9-FEC4-41B1-92EB-478506581E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fc3deaa77fddc859de02906e50659fff7f4acc","datavalue":{"value":{"entity-type":"item","numeric-id":5762903,"id":"Q5762903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$BE1B3F26-EE2D-43C4-AC0F-B7DB30624802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3338f19a6cb8a6bf6ec2d257930c6fc010678","datavalue":{"value":{"entity-type":"item","numeric-id":5387301,"id":"Q5387301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$E98509D2-383A-48DC-8710-E84E587CB506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e627bd511857fd09736aa70a3f745cbd1bfe71","datavalue":{"value":{"entity-type":"item","numeric-id":703836,"id":"Q703836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$04CB2C27-0E73-4E60-8166-EA7B4D160EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d502724931311203b5ac007ac11d9dee5a3df8","datavalue":{"value":{"entity-type":"item","numeric-id":453178,"id":"Q453178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$1011F405-C907-43A3-924E-6A0BA15C2283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5223d134dc8510a12cc20c211d6fe44aa5528325","datavalue":{"value":{"entity-type":"item","numeric-id":3567851,"id":"Q3567851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$95D82AB4-994A-44D0-AC4B-40EB28239C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b792be7f8a8b333f2d7595473194d6ea8d60ff5","datavalue":{"value":{"entity-type":"item","numeric-id":5608010,"id":"Q5608010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$51E34DD6-D613-409F-B2F2-38166C2F58A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$FE882AD7-42F2-463C-8ED2-E363DD1FCDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$2CEAECC5-DEB9-4A86-9959-E656DB74B634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134b0518c2b9c1c523fd15d56c0ebc5edbec8dc7","datavalue":{"value":{"entity-type":"item","numeric-id":3313858,"id":"Q3313858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$D76529CF-22CC-46A9-A094-7C6CB5A7148F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44eaf08006810b82535fe15939be12589f0ff15","datavalue":{"value":{"entity-type":"item","numeric-id":4941995,"id":"Q4941995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$6CFDC993-C33E-41C3-9ED0-FFF98D4C019C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6d8d7f9a4d4782133d6bbbb04d92329c83a44c","datavalue":{"value":{"entity-type":"item","numeric-id":4552754,"id":"Q4552754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$69ABFA1E-296B-4611-A247-D9FB8DABB38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d04f2c202f7bc112e3c635a4e8a0d773950ece4b","datavalue":{"value":{"entity-type":"item","numeric-id":3643322,"id":"Q3643322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$23D85894-CB92-40C5-B601-603FB1FE17B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3970a8bb63aa33027515329082f5a7037e0f8e71","datavalue":{"value":{"entity-type":"item","numeric-id":1879322,"id":"Q1879322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$FBF975EE-5A92-416F-ADB1-059B0051A215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b32ac5b95d99aac6ea6506c4ba1aeb98509a3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2488272,"id":"Q2488272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$E1CC0BE0-F33A-4617-AFBE-064312CF0B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edb13f668b2a4f36c88de241d9c7f45446b194e","datavalue":{"value":{"entity-type":"item","numeric-id":403410,"id":"Q403410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$B473CFE1-E24B-42E0-B9FE-49D0263BDA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8d8701e5ed26be8e8b7b6859b5f9fd12a745ea","datavalue":{"value":{"entity-type":"item","numeric-id":3620032,"id":"Q3620032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$A3083F13-0408-4125-BC81-D5697CF0EFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff917a23bf4a00c40328c768e3bf16ad04f3002","datavalue":{"value":{"entity-type":"item","numeric-id":3613310,"id":"Q3613310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$F274B4C7-21B2-4A37-B2D9-C5D6BC4BFBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5023262adbdad12da6e61286cdc140bbd777c7","datavalue":{"value":{"entity-type":"item","numeric-id":2505640,"id":"Q2505640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403410$B5776718-B312-4513-896E-43AE58238CF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65b52da7a44b41a902a0c9421aa54f872e718663","datavalue":{"value":"10.1007/S00153-014-0384-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403410$B91FA91A-25FF-4413-937A-2E26BE24BBC0","rank":"normal"}],"P1643":[{"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":"33c3553d3dbabfb72fe336b270be6a8a5c390aee","datavalue":{"value":{"amount":"+0.8054001331329346","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":"Q403410$B2C1220B-7971-4824-9DC7-92DD6B82FF12","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":"81617caafe1b6df6bb10abca99e49c64e9949b1b","datavalue":{"value":{"amount":"+0.7954306602478027","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":"Q403410$613F3C50-01F4-4069-B90E-4E12F2CF61EF","rank":"normal"},{"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":"049f42218f38d74b578365096f8d90f0e09cada8","datavalue":{"value":{"amount":"+0.7764354944229126","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":"Q403410$BD288B85-600C-4BD2-B06B-CE70DC3828D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71caa880916d09b8e9ef342beacbbcf346fc457","datavalue":{"value":{"entity-type":"item","numeric-id":3075214,"id":"Q3075214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443e462331428c4ab7c9939bf24f5776f2752827","datavalue":{"value":{"amount":"+0.7737720608711243","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":"Q403410$933806A0-1373-4B59-B547-3B8E3DB0A9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64b2db09625f5703f0b5dc21e3dd1ce638f8159","datavalue":{"value":{"entity-type":"item","numeric-id":3613310,"id":"Q3613310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca8fc40150d396c2ab88d6ce7f8767f4013d7fd9","datavalue":{"value":{"amount":"+0.7728524804115295","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":"Q403410$EF614C57-D55D-4742-BECB-9406CD7DA313","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Brouwer%27s_fan_theorem_as_an_axiom_and_as_a_contrast_to_Kleene%27s_alternative"}}}}}