{"entities":{"Q438813":{"pageid":440580,"ns":120,"title":"Item:Q438813","lastrevid":61832157,"modified":"2026-04-11T01:58:21Z","type":"item","id":"Q438813","labels":{"en":{"language":"en","value":"Modal logics of Stone spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062530"}},"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":"Q438813$54BEB654-9CB5-4E4F-8F15-4B2A97CAE13D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e6b17728aae4d08a8ec8ad72d3ff807d70427f4","datavalue":{"value":{"text":"Modal logics of Stone spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q438813$4EA5AA63-9700-432C-95F2-FF74E5B83D86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e938fff93d9533a5351b5f9acbe978bf95d6472","datavalue":{"value":"1259.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438813$5975785A-D658-40F0-A327-C7EEF3086650","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$ED74F259-888A-496F-8A66-D47AD88E7756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a9f9cbe3caa94c5a830073c0f8ceb50e97586d9","datavalue":{"value":{"entity-type":"item","numeric-id":172076,"id":"Q172076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$A4985474-3581-4820-B2B0-28B0C5BC5B92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$3EADA219-594B-4465-B40E-0D7E19FE21A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c7ad691786690cf86127845d28cf47311748286","datavalue":{"value":{"time":"+2012-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q438813$338A2A35-B55D-4659-A3DB-1A53F57C3935","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12654a1e051fd52a4e397377d0539916df8bd8ee","datavalue":{"value":"A Stone space is an image of a Boolean algebra under Stone duality. Using their previous results, the authors characterize modal propositional logics of Stone spaces. For a metrizable Stone space \\(X\\) its logic is S4 if \\(X\\) is not weakly scattered, and is S4 or S4.\\({\\mathrm{Grz}_n}\\) for some \\(n>1\\) if \\(X\\) is scattered. Similar results are obtained for intermediate logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q438813$9AEFFFEB-5DC8-47CF-9D90-26E0F99ED439","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438813$E66291CA-66E4-4341-94A9-5D8C0CF62E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438813$EF2DD2E0-AAB6-4DCF-88D3-9D7685CD3F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438813$13E068C3-17C9-4BF3-A339-E127BE094283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438813$BE00DBB1-8AE8-4D24-A730-46A6D8C0C88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438813$07929D59-D099-496F-BC20-034870373EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42ea46801e492058a4b1ce7a9eeaf6d7cd8d9c3e","datavalue":{"value":"54G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438813$251F0937-CD07-4C09-9BCD-FBE193738749","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12f5053945b5a6c09ea7c351b2ce80f179cea7ed","datavalue":{"value":"6062530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438813$2094A00A-B26B-4CE6-81B6-9EC2681182F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q438813$E174823B-DA6B-4BA2-AD2B-51CB393EAA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q438813$26890679-7469-46AB-918C-54AE5F0D3FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4c1d1575eedf8fbbdbaa59c1a66149f41315e7","datavalue":{"value":"Stone space","type":"string"},"datatype":"string"},"type":"statement","id":"Q438813$89397A5B-C4C4-40B3-A356-B030D270C1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d1959035a4397336bfe06a6b834243c02be0d74","datavalue":{"value":"metrizable space","type":"string"},"datatype":"string"},"type":"statement","id":"Q438813$4BA211CF-035F-4670-9765-62C7C77E59D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01225f162758a7c698e992bb89b2196eee355179","datavalue":{"value":"extremally disconnected space","type":"string"},"datatype":"string"},"type":"statement","id":"Q438813$EB82FD67-5BC5-46A7-802F-079DDDCA9133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q438813$B4985210-8ACB-40C5-9FA9-3B638BDEF3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q438813$74DE360A-D945-42B7-B388-4DC14676D190","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$DD7F90D7-D562-4A7A-8077-3ECBC1E09A31","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":"Q438813$6B5259C7-D225-421A-ACC8-479286286949","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e00c738b140437b441a04938cd349657b3e84ebe","datavalue":{"value":"https://doi.org/10.1007/s11083-011-9224-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q438813$8F15193D-C227-4F63-9F71-C6329BAD3940","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c26daae80f6f10c2557c90fb3ed5fbafce4f7cd5","datavalue":{"value":"W2043639409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438813$5D453689-4FA1-4B71-B3AD-62E07E0EC5AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdb93aa40a2b71a7cdb6159d56df01f935ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":4812319,"id":"Q4812319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$D72AE429-C956-4713-BB7A-FF27C32A8BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735403ba52cef708d66abb17cf481ef6f68acc69","datavalue":{"value":{"entity-type":"item","numeric-id":705542,"id":"Q705542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$738940AE-7C05-4F18-8757-6C3236B64CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6962960e805b1bdff6105e71943575e6bd95eb","datavalue":{"value":{"entity-type":"item","numeric-id":1016504,"id":"Q1016504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$27F26741-5C31-4761-919C-C54A0CC0F6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efc38869a0f889a5b0bb16ce1fc53ef667032c7","datavalue":{"value":{"entity-type":"item","numeric-id":1403828,"id":"Q1403828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$144D456F-C9D7-4ADC-A62C-C6BB277E7CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb890e625812a5954505af171f3eca4b6822ac2","datavalue":{"value":{"entity-type":"item","numeric-id":964455,"id":"Q964455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$58FC919C-6F1D-47F6-91CC-9C43D206F2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$C4FBCDD9-849F-4897-BF6D-4177C8029B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$23B99AE7-C086-47BF-8D22-EC225D05D992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a05947a0c2e5b9c7ed73043a54478f13bf1383","datavalue":{"value":{"entity-type":"item","numeric-id":4052073,"id":"Q4052073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$82D5D9AE-8E63-4D0C-A3A3-AA3E9122AA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c3c6284733e41b207e79167995f097644043f8","datavalue":{"value":{"entity-type":"item","numeric-id":5837252,"id":"Q5837252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$A0834D4C-A1B5-4BCB-822A-CB0D102E59C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3f78a2e12ed76b4d4426f3461d86dac8ead66b","datavalue":{"value":{"entity-type":"item","numeric-id":2652748,"id":"Q2652748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$1CA59A19-4C6D-461F-8280-E0C352337D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4815230774bcb231353be978d983b414c941711","datavalue":{"value":{"entity-type":"item","numeric-id":1122604,"id":"Q1122604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$A9C46740-3466-492D-8BD9-34296331FB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$FBECEEF9-62B5-427B-8559-33595840DA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9cee086ebebc9c54472d4f22fd1775b1975806f","datavalue":{"value":{"entity-type":"item","numeric-id":5510149,"id":"Q5510149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$80A3D8D3-8B3B-40BB-B90C-287836E038CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$77BDCA03-225E-46B0-B277-77490F3F46AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422496f9bfbafe350c29b299f8bce3425d4c3da6","datavalue":{"value":{"entity-type":"item","numeric-id":5631608,"id":"Q5631608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$ACDC2DEB-6F2F-4985-9A60-F1D41AF3667B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$3FC35521-7C03-46C0-96CF-2C064E268A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93140e580729ea7a66f1003478f45f19619f3d8d","datavalue":{"value":{"entity-type":"item","numeric-id":5768904,"id":"Q5768904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$8BE88285-232A-451A-B5B4-858FAF44A32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe8fbfd8b07cc4614253ef1dbf6c75fef2a5ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1419386,"id":"Q1419386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438813$0BDD1887-F8BD-438E-AA19-DF03C0500207","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9165ad718b7d5d5b52f780e353bcaf418f28ea5e","datavalue":{"value":"10.1007/S11083-011-9224-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438813$45C68F2F-6FC9-41F3-A2FF-CD4AF6329F34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b3fe76e58ce941cb0e3a87146866d350c86954","datavalue":{"value":{"entity-type":"item","numeric-id":3550704,"id":"Q3550704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7cf421f96dcadc7de6cdd2dfe1a6fdc6676bbe9","datavalue":{"value":{"amount":"+0.8882599472999573","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":"Q438813$C7D922C9-518C-4217-982E-07AF2F536C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1179dee55c75052d547ce283351af5c2e45399","datavalue":{"value":{"entity-type":"item","numeric-id":897452,"id":"Q897452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92b48b02d8888a8a16edbc6ecec4baf9429445e","datavalue":{"value":{"amount":"+0.8802733421325684","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":"Q438813$AFDBBF3E-4556-4478-862B-B6CB6528C241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53c5891527990331050fda1d5b15ad871aff2a0","datavalue":{"value":{"entity-type":"item","numeric-id":1016504,"id":"Q1016504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bcb6d902233db665bc5e7733fae7d5e4ab4b21a","datavalue":{"value":{"amount":"+0.8363711833953857","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":"Q438813$20F66BD1-F957-4A64-8A06-2D0F82511EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09a6c3c8be16dd39b6b162660b560e003807688","datavalue":{"value":{"entity-type":"item","numeric-id":862352,"id":"Q862352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce5ee7bea990bcc954cd7e22aec40fb24753093","datavalue":{"value":{"amount":"+0.8217776417732239","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":"Q438813$43DFDB97-FCCC-4CAB-A428-F06605F658A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a368fd1bf49a6d4204e4f72e0ef1356772eef705","datavalue":{"value":{"entity-type":"item","numeric-id":5247348,"id":"Q5247348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45c7009765a4b7dab7897c97fa558575367760d","datavalue":{"value":{"amount":"+0.8174776434898376","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":"Q438813$C8784750-1C42-4859-AB52-8C5793524325","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logics of Stone spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logics_of_Stone_spaces"}}}}}