{"entities":{"Q3708799":{"pageid":5738705,"ns":120,"title":"Item:Q3708799","lastrevid":50513573,"modified":"2026-01-14T06:20:41Z","type":"item","id":"Q3708799","labels":{"en":{"language":"en","value":"Heine-Borel does not imply the Fan Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3935034"}},"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":"Q3708799$56C0E6A1-A7FF-47CB-80D9-9948412FB892","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"619419fe280a4ed12185f03b3a4dda1e5f13d0b2","datavalue":{"value":{"text":"Heine-Borel does not imply the Fan Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3708799$78477EDB-2E30-4756-946B-E25E44C602B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ca216c8ca33d6d7b452b5345e67dff85cf89976","datavalue":{"value":"0584.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708799$BD80FC56-6094-477C-AE1C-420663C1A841","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"995fc0875904e0122a8d47a8e081aaf1123c64c9","datavalue":{"value":"10.2307/2274182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708799$B091B2A7-94CB-4676-873B-BCBEEA86CD30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708799$E98B4A64-0941-4900-8C6B-67467EA29A78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708799$A455CF54-4B0E-46E1-8E13-5B69D7185141","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3708799$50E46BE2-9CDC-4871-B627-C5BFF7576EE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708799$1E657FA1-C623-447A-8A1E-E4AB7E95BCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708799$2687B511-F7E6-4595-AACD-42AF1580CA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708799$4792DF94-45A5-485A-A311-64DC4E0BFFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708799$2D9D29D2-9145-460F-8EB2-F6B6174DC328","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1491a4ce3d0067eeeebb922c5c851516f19df7d9","datavalue":{"value":"3935034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708799$0BEF7D36-CF24-4B97-AFF5-97C1886153F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0762595aba73aeeee9b7820b2b282493be06f1b9","datavalue":{"value":"intuitionistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708799$59E2C36C-0E01-4B43-A599-023B3E1C0C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f76e4c6e45d480748f23181265e5d12ca8d72d0","datavalue":{"value":"locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708799$4D3B7ED2-8131-424B-BCBD-77CAB4601660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"090b7f7b0f765c356e3ab0569e858838ee992077","datavalue":{"value":"complete Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708799$EB3E0404-6D26-4FFC-B37D-615C86214236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf55b7bc317704fb32659c99e192753675e0fb83","datavalue":{"value":"locally compact space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708799$43397D5D-DA3C-44C9-9047-659A63E9D493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f1124b1f4453113a28d664ddf4824eea31b856","datavalue":{"value":"Cantor space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708799$CB28607C-B69B-45DD-86B9-89D27881F348","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":"Q3708799$A75546E8-EF01-4D1F-9B60-A596CE863EB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85a2a0daaa6a5437e4befaab4c9a4f8403146a0d","datavalue":{"value":"https://doi.org/10.2307/2274182","type":"string"},"datatype":"url"},"type":"statement","id":"Q3708799$F3880C5F-E334-4844-8513-1FC9792A9DE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fb4d869faa89eaaee18924d1629ff04119a6a89","datavalue":{"value":"W2131480787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708799$629BE57B-A6C2-40DD-950F-6AEB387B760A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6422a767098cd577b5608669eca3745c61aae5af","datavalue":{"value":{"entity-type":"item","numeric-id":750439,"id":"Q750439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2511acf2d9b7edb23303a651ef21ca7c60ceefe","datavalue":{"value":{"amount":"+0.7349981069564819","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":"Q3708799$5581901B-A5AC-4B35-AD8D-149FF9AD5017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf10bf8eee38989e65bc3a0df8ea44a987b4916","datavalue":{"value":{"entity-type":"item","numeric-id":1788329,"id":"Q1788329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f056cce399652f00d2cda1325a157616fb93d9","datavalue":{"value":{"amount":"+0.7191110849380493","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":"Q3708799$CEB2BFDB-C042-4CF8-9991-BB9BEF943B9A","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":"b83e0af2f5ed59d4c80ba67c9b6cba3d9f41a324","datavalue":{"value":{"amount":"+0.7109619975090027","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":"Q3708799$4416AD71-A9BC-4E2C-9DBC-1D8F6A1098E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18894521be360e3153feb2bd58ae89c42a2bb18","datavalue":{"value":{"entity-type":"item","numeric-id":1100202,"id":"Q1100202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30ec0b9fef9270c83a68d3c67ba91beabb84215","datavalue":{"value":{"amount":"+0.710896372795105","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":"Q3708799$F66CC332-24F7-482F-82E0-597FB6021BF0","rank":"normal"},{"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":"13de94cfeb1993de86474cc362dcbd67031b3ceb","datavalue":{"value":{"amount":"+0.7094063758850098","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":"Q3708799$661EFA30-EA94-42D7-9956-E1D54535D650","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3708799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3708799"}}}}}