{"entities":{"Q1201236":{"pageid":1211985,"ns":120,"title":"Item:Q1201236","lastrevid":66861495,"modified":"2026-04-12T13:21:35Z","type":"item","id":"Q1201236","labels":{"en":{"language":"en","value":"Products in the category of locales: Which properties are preserved?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 97488"}},"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":"Q1201236$782CBE99-A961-4B1C-98A9-3806E3F6A973","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba022fa1988aeb8f66d4c2bc9b5971c31a09dc9e","datavalue":{"value":{"text":"Products in the category of locales: Which properties are preserved?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1201236$17D09206-CBF4-4081-A0C3-B5643049716E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0a507907130e6ce9b9d1fc85b7b9a57fc6a49f8","datavalue":{"value":"0759.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201236$4879CFDD-2566-4714-A0D2-52A288BF3567","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"223383e8ccedb8e05b0ca27e3066c96687bb6887","datavalue":{"value":"10.1016/0012-365X(92)90661-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201236$F32B5FDD-94FF-4173-A800-505C5811E866","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1009b76ff83985243f529dc96d2417a3ae270b3a","datavalue":{"value":{"entity-type":"item","numeric-id":277550,"id":"Q277550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201236$07966D65-FD6B-432B-ADEC-B048A12EE72F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201236$39B3139A-D280-4FB3-9849-E8D7500708A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-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":"Q1201236$28E896AE-0954-4A6C-93AB-747A23A65EEC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"789e19a042cf41a543a484d5a6b5845a4e75372c","datavalue":{"value":"The general cover theorem unifies the results concerning products of locales obtained by Isbell, Dowker and Strauss, Johnstone, Kriz. It shows that the product of a family of finitely regular \\(F\\)-locales in again a finitely regular \\(F\\)-locale.   Several applications are given, concerning known results, to compact locales, compact spaces (Tychonoff product theorem) paracompact locales, prime-metacompact finitely regular locales, \\(c\\)-compact finitely regular locales, Lindel\u00f6f locales, screenable and supercompact locales.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201236$E220A308-E22F-4278-B24D-2BEFE8CB40E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201236$1297ED30-1866-43B3-BC60-EAB30755D539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201236$03BEE062-A262-4725-9219-28E8834D4370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201236$A67D3A0C-5C96-480F-89E8-5CF2E2251E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201236$3228D23D-7FFE-41E7-B7D0-BB54B4727D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6638429f658636cde013e7c47dae42190f534e9","datavalue":{"value":"54D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201236$A654CB3A-B584-4508-8517-0C5B74E08C27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6f31aaa8846b803d3d1f2be7c536b2694ab725c","datavalue":{"value":"97488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201236$ECE5FDAB-8EC9-4685-BFF1-58DB89EAC0A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9069991a0bc88d67658e2a8786a943eb9c432e2d","datavalue":{"value":"\\(F\\)-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201236$35D584A0-F41A-4711-8766-6A157BE2DDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d37bf8cd600e431d0b3f4a7b46d8d8f0fb7c88fd","datavalue":{"value":"screenable locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201236$33D481E9-3104-47B1-BE1E-603ACA4C4851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2490a61c676d8752aa0f6a2e01785451152eb630","datavalue":{"value":"general cover theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201236$3D3B6498-F0EC-422E-B2BF-E4A808DB359A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"753b4345a284750738d2e73f722abf0db97f9585","datavalue":{"value":"products of locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201236$253E6A88-6B97-47A0-96F7-60AC5C18E00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871094e6e69e1da4f470d5f6d3f4b700eb266741","datavalue":{"value":"finitely regular \\(F\\)-locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201236$F3826848-FE0A-4C39-9935-1B8674846311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86c1f135ef31ba5b496f6cd26d22b219189e6121","datavalue":{"value":"compact locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201236$4873AE14-1CF0-478F-804B-CDC1AE6836BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909aaae8ad18e52f68c7015761d52ac52fd319f1","datavalue":{"value":"compact spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201236$B7180A91-BD7F-4C1D-B851-84EE7DE18F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65aba75836e7e02d6a0adc5cdec2320247025ff4","datavalue":{"value":"paracompact locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201236$9763D4DA-A0C4-476E-8D41-8F707A1DB846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accd1e237108b4a7b910ae4f985910fc38623a43","datavalue":{"value":"Lindel\u00f6f locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201236$27E82686-267B-4800-B552-07D991A28D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f74cd9157045b44d5233319f02793754b316a0","datavalue":{"value":"supercompact locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201236$9BC74E9B-58AB-439E-AF3A-87FDAF0AC58C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea751e1391efce5a824660ae00f540211586bfed","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201236$4F2CB68B-C0FD-4BC5-A7B3-010F26DC9257","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":"Q1201236$37EDBF4E-C1F8-4DFE-85F3-BF1AC0BDDC4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ddb75ae535a4a726539cce1f5e9d18944ed4200","datavalue":{"value":{"entity-type":"item","numeric-id":4108933,"id":"Q4108933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201236$96E0089A-B063-4B4A-8E9A-50F3DA8189EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201236$6F5F7256-9962-4545-B409-1FF2ECE00B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d439ef1a306681eb4ade60b3a39f9a709db364","datavalue":{"value":{"entity-type":"item","numeric-id":5658807,"id":"Q5658807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201236$35D793C9-5E89-4177-BBB5-86D061B1A195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201236$D88E520C-1231-4443-B59D-E4E4E8599897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"757d4f4b19149f68dcd135e18b0e10a71b7b5d6f","datavalue":{"value":{"entity-type":"item","numeric-id":3810520,"id":"Q3810520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201236$5004B99A-1449-46EB-A615-8D5F1433FD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2f6870b7c939f8a2d8bc8c2761e4f62e066ec8","datavalue":{"value":{"entity-type":"item","numeric-id":3337413,"id":"Q3337413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201236$47B0C201-A24D-4DDA-B641-BCB20EDD8261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee6b16e1f33eb6a50beac6e1d5dfa8b33416925f","datavalue":{"value":{"entity-type":"item","numeric-id":3739857,"id":"Q3739857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201236$C5A47E90-3E67-444C-92B0-F7D25060D98C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3aaa4e38d17395f14dd2f55aa70489f780d0ebdd","datavalue":{"value":"https://doi.org/10.1016/0012-365x(92)90661-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1201236$EDF5F5BA-D5ED-4A7E-96A5-A4F1ECE67014","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4f03598b06502d72a74f2da482bcfc67edf0e2a","datavalue":{"value":"W2084435549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201236$6D2C0589-4BF9-4F29-8CB0-0427E7B4641C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3894ebfaab025ddca57b375b03d61c3712736a0b","datavalue":{"value":{"entity-type":"item","numeric-id":4314123,"id":"Q4314123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683d3d12f1b3e1fd8b8768412a97f77924ddd255","datavalue":{"value":{"amount":"+0.7966603636741638","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":"Q1201236$2CB437E4-C3BD-40F4-BE99-B9870751A2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da84359faef6df39037dd822c177c83da5dff467","datavalue":{"value":{"entity-type":"item","numeric-id":3820654,"id":"Q3820654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66bbd3b43ed73732296c9cc505b13cc68dd66769","datavalue":{"value":{"amount":"+0.7927201390266418","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":"Q1201236$1FBEABBE-18C1-4F3C-BC39-7E902011B5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57b672905e374fa3a432626f013f8ad03099f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3153965,"id":"Q3153965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492b2fb19e56cd5bbf7458490d7d0d14ef84a297","datavalue":{"value":{"amount":"+0.7705076932907104","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":"Q1201236$800476F6-D222-4A6D-BC7B-254031054905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32abc982d2b5f00c1866722f996e3ffc414b75b6","datavalue":{"value":{"entity-type":"item","numeric-id":5254083,"id":"Q5254083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f41c1fcce642532489c3c39e55aa3f6e47f63e5","datavalue":{"value":{"amount":"+0.7666035294532776","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":"Q1201236$C765D5E7-96FA-4105-802A-12FA9E3A6F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6db3f52f9d5ac1890f6c78fcc15e97d44613c52","datavalue":{"value":{"entity-type":"item","numeric-id":3779401,"id":"Q3779401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6bccd27356d79f63e939d30898f8824b32c311b","datavalue":{"value":{"amount":"+0.7609354257583618","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":"Q1201236$5CD45C73-5FB4-4C1F-A99A-79FD0E42E45F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Products in the category of locales: Which properties are preserved?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Products_in_the_category_of_locales:_Which_properties_are_preserved%3F"}}}}}