{"entities":{"Q1016504":{"pageid":1018352,"ns":120,"title":"Item:Q1016504","lastrevid":50648696,"modified":"2026-01-14T16:41:18Z","type":"item","id":"Q1016504","labels":{"en":{"language":"en","value":"The modal logic of \\({\\beta(\\mathbb{N})}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551228"}},"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":"Q1016504$33851327-B716-45A0-A2B5-BC8C168E1E0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"048462d39a22f92b4192b005b8b2fb8464941b13","datavalue":{"value":{"text":"The modal logic of \\({\\beta(\\mathbb{N})}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1016504$60F8BCDD-BD23-464F-900F-3829FDA7D74A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f35a82e73c6c1f2cd6de764465ccbf5c5cf84409","datavalue":{"value":"1169.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016504$60769341-E168-4B9E-A09A-80A65D1A1C6D","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":"Q1016504$F1AAFB62-1AC3-4AAA-AF31-CBA70A238FFA","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":"Q1016504$64E00C50-EE17-42EC-AD1F-41A603CD5FD6","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":"Q1016504$3918532A-0BE3-4A1E-B84B-8C90FE4F4B84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d5ff1dc86e495b18ee5143b26eb302034c24729","datavalue":{"value":{"time":"+2009-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1016504$D1993A46-3736-4F06-84FD-B785C5571A4B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb094747e76bb2a21bee520741d329e6416de849","datavalue":{"value":"\\(\\beta(\\mathbb{N})\\) is the Stone-\u010cech compactification of the set \\(\\mathbb{N}\\) of natural numbers. It is proved that, under topological interpretation, the modal logic of \\(\\beta(\\mathbb{N})\\) is \\(\\text{S}4.1.2= \\text{S}4+\\square\\lozenge p\\Leftrightarrow \\lozenge\\square p\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016504$ED440EA5-F0D1-4138-858C-4094363DB002","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016504$9E354841-6E1E-4B1F-834F-8805F4C653FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016504$642A30F3-F840-4550-977E-059C1663CFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016504$2C3D60AD-C72E-49FF-9D9D-3CBAB53624AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14971428a55e6002666a90366eb9b68fe789a28d","datavalue":{"value":"5551228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016504$2618204F-EEEA-4CAC-AB32-7F9A1C932489","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73c0bd96350a803e0d44e887890e0705cabac759","datavalue":{"value":"topological logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016504$6AD1CB8B-5E96-4D4B-99D7-3FA03864B95E","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":"Q1016504$60CF805F-2E7B-4362-96F5-5B2483FE2EF3","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":"Q1016504$B82A35EB-4774-446D-8B35-B08F81AD20DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"765d80da405a4857881b93857d971b900f581f1a","datavalue":{"value":"https://doi.org/10.1007/s00153-009-0123-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1016504$7D7B71C4-D7B9-4805-9761-F8C32111B4D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"decb187d8bcbcd96351f3722df4bdfa9a48eccc1","datavalue":{"value":"W2096620774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016504$FBC71162-07BF-4DFC-9B65-D29CEDABB7AF","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":"Q1016504$ADF21A87-3916-4AD4-9593-4BB502E34FE7","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":"Q1016504$96B318D7-450B-4EC3-AEE6-5D344FC0FBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f8cea4691b9b954da7029114b5d6db19326280","datavalue":{"value":{"entity-type":"item","numeric-id":861569,"id":"Q861569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016504$135675AD-6827-452C-897E-7223156BC7DB","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":"Q1016504$EB706353-5194-474C-8B8D-700E5FCC07D9","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":"Q1016504$95D846CF-375E-417A-985C-1C380CE3B8E2","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":"Q1016504$46238D93-9CC7-4209-A6F7-323383E555E7","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":"Q1016504$73E1D014-489F-4CB0-A3A5-F37D5803EEB4","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":"Q1016504$6B362B8E-5B9E-43D5-A234-3F92B188AE67","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":"Q1016504$1422158D-EBD8-4F48-81DF-BB458C62C5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016504$F9C7799B-79C6-4622-9981-84010A34BE49","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":"Q1016504$C449B558-A06C-4192-92EC-D320A0787404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016504$2F78A77F-68F9-4B3C-864D-94DEC3183241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff7479832debc812e199177fca23405586d366c","datavalue":{"value":{"entity-type":"item","numeric-id":794634,"id":"Q794634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016504$FA1E4BAD-2C6A-4A31-87C0-257510682853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ddb8daeebbd662d5b16df161a40341e9fa47a8","datavalue":{"value":{"entity-type":"item","numeric-id":3918732,"id":"Q3918732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016504$DF35A109-36A3-4063-9048-DC32D925018D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b2606e304a66e02cdc2fb0bdc10fcb678348974","datavalue":{"value":"10.1007/S00153-009-0123-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016504$E84EA867-C290-41EB-9F25-8E7B8DE0D6F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b65ea9a54933ad707d55426f46dd698d071200b9","datavalue":{"value":{"entity-type":"item","numeric-id":438813,"id":"Q438813"},"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":"Q1016504$68F1E7D2-94BB-4F2E-A352-087A962DEF3B","rank":"normal"},{"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":"905bfe2eec1e55454f4f91dc43c10c1fd5d05b27","datavalue":{"value":{"amount":"+0.8148984313011169","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":"Q1016504$D0FF27E0-2BD2-45A5-9BD1-B076E786B177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18fb399589e1d330c411c7a2a852551bda57156","datavalue":{"value":{"entity-type":"item","numeric-id":4812319,"id":"Q4812319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3183be8638269ecc8daa6e2e998c760dbf8493f9","datavalue":{"value":{"amount":"+0.8104335069656372","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":"Q1016504$01FDBA41-A133-4FCD-9380-EF8EF5104527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73de6618ff0ea8033efdfdcd97da9f1c658ee07e","datavalue":{"value":{"entity-type":"item","numeric-id":1823924,"id":"Q1823924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8263db3f4296ea648e04639898b2522202d6ab5","datavalue":{"value":{"amount":"+0.7703030109405518","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":"Q1016504$185DE906-977E-455E-B0C3-D662D2EDA311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db277a4caad49b1463e9dfb8a3714a7eebdad783","datavalue":{"value":{"entity-type":"item","numeric-id":3580665,"id":"Q3580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681260a3ae63cfb1ae86e56106e9aef9541861a1","datavalue":{"value":{"amount":"+0.7515636086463928","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":"Q1016504$B7354147-88DE-4A8F-86D0-A837D2B11A6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1016504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1016504"}}}}}