{"entities":{"Q862352":{"pageid":864200,"ns":120,"title":"Item:Q862352","lastrevid":64938642,"modified":"2026-04-11T23:14:01Z","type":"item","id":"Q862352","labels":{"en":{"language":"en","value":"The modal logic of continuous functions on Cantor space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118085"}},"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":"Q862352$48B9BF88-FEBC-4D21-8E00-E9D9C92FE32C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf5f84da55af8accd5fce509fd76a5c787d176cf","datavalue":{"value":{"text":"The modal logic of continuous functions on Cantor space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862352$8F79342C-CF1B-45BA-9291-81C4353F6BD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47be87a1add4cf8d69e7af4e9bd187c0147db3ee","datavalue":{"value":"1115.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862352$E39676BA-FB3B-4436-BF38-F10CBB8D0683","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5edd1deb266eec07d4ef7aa54b2db704a7084647","datavalue":{"value":{"entity-type":"item","numeric-id":211182,"id":"Q211182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862352$CF988364-404B-4D11-8A39-ACED63DD455B","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":"Q862352$2D6DC83A-4D8B-4354-8DB4-D0B51A835527","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b780548d1931bae4ac5b1caff374698a268a9351","datavalue":{"value":{"time":"+2007-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862352$16C6AFBB-A03E-49CA-8490-D216CC9167CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b39bfd625e685c4f14cfa39f12cab3030a4cdc7","datavalue":{"value":"The modal system S4C axiomatizes dynamic topological systems \\((X,f)\\), where \\(X\\) is a topological space and \\(f:X\\to X\\) is continuous. The reviewer and \\textit{T. Zhang} [Arch. Math. Logic 44, No. 6, 783--799 (2005; Zbl 1103.03021)] proved it to be complete for the Cantor space. The author provides a streamlined version of that proof. Since then a device introduced by S. Slavnov made it possible to simplify the proof drastically. This version is presented in a joint survey paper by the author and the reviewer [in: M. Aiello et al. (eds.), Handbook of spatial logics (to appear)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q862352$C6B8841B-4588-40D6-9297-7CB734B551B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862352$7DD7AE8A-CEF9-46FB-9B35-8020CBDC72D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7138a5cc3285bc79034d6c36a838ebfee311db18","datavalue":{"value":"54H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862352$02DF848D-DE68-43EF-8827-99C205B8B192","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a677eb8174b7ff16ee53d2b165ec35945628ecb","datavalue":{"value":"5118085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862352$CBD626BB-7B5C-4409-9DD0-2EFF0692B103","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd33dcc67f3e647ebac18d5d3a9175e36344ab8c","datavalue":{"value":"dynamic topological systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q862352$E0E3DE36-27A1-4559-B244-F2EB6E8D983E","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":"Q862352$10F2EFD2-8CAA-4C0C-8219-2EEA96D66766","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":"Q862352$5885430C-91C9-485C-9894-505B84B78E9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e383eec21fda288b8934712610729b33144028e9","datavalue":{"value":"https://doi.org/10.1007/s00153-006-0024-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q862352$0E236A6E-71E2-4FFF-8079-F115FFCBBCBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c1db256c5020f8973d9d4848683ac7ba54b093a","datavalue":{"value":"W2016413655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862352$281E3950-1618-422E-A310-13B47F8290E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef377be609bdf17409a180b5b277bb12cc1abded","datavalue":{"value":{"entity-type":"item","numeric-id":705534,"id":"Q705534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862352$EC5A3D6B-7645-4B05-8C48-A4ACF3FF3480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862352$32BEFB73-5BF2-47E3-878E-4E7ECC7825C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862352$C4DFC4A7-EF07-4AC8-8F3F-C8F481C7B324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c73db8b3c2a0a30e7c3eaaca382d1ea005a940","datavalue":{"value":{"entity-type":"item","numeric-id":3677141,"id":"Q3677141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862352$72479B93-7D98-44E0-84CC-1BF9EA1B9B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7316df6134790fcef150ccda466b8ee88eec2e5d","datavalue":{"value":{"entity-type":"item","numeric-id":5844608,"id":"Q5844608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862352$684614CF-BC47-4F8F-B184-79BE797EECFC","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":"Q862352$FBBC8F54-FA41-4AD1-91B1-8CC27B05324E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af2ca09d5b51411264ba96331e4cb28ec529ddf","datavalue":{"value":{"entity-type":"item","numeric-id":2388436,"id":"Q2388436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862352$8BE6EA13-EC86-4F5B-B971-A71CFEF6024D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862352$D5AC4222-2C51-49CA-ABA9-B2BA8C123FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb52d56f03211337e38aa0c167bed205fee5439","datavalue":{"value":{"entity-type":"item","numeric-id":1232279,"id":"Q1232279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862352$533F8879-3BA2-4D64-9FF7-44CC60389753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33512dba713e1bd88a60bb0ce94d557243e408a","datavalue":{"value":{"entity-type":"item","numeric-id":3888789,"id":"Q3888789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862352$17E52303-2657-45AA-B891-4FD8EA3FFFF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"944e71b9a9e048e48157484a35ea292c00efb13c","datavalue":{"value":"10.1007/S00153-006-0024-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862352$4339F688-6728-4414-95B0-C777904E3379","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3de006d4f8c891340c789ef2a2e024d8b70910","datavalue":{"value":{"entity-type":"item","numeric-id":971888,"id":"Q971888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ee6b8b4d3719368755b927f0958a0b0be3ec9a","datavalue":{"value":{"amount":"+0.8584231734275818","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":"Q862352$D3182260-88B9-426C-8875-2893A84DB779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e78e7d637bed54f02225d5d2ce4fbfc3d077bf56","datavalue":{"value":{"entity-type":"item","numeric-id":817705,"id":"Q817705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ad74a9f2046ec6f31ba40065d06b572eb816bb","datavalue":{"value":{"amount":"+0.8365338444709778","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":"Q862352$0A09FCDB-A287-4603-81DB-03F12D772939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467d210af205c85e6317b112cb135df234ff238e","datavalue":{"value":{"entity-type":"item","numeric-id":5479024,"id":"Q5479024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51773920485908b88f0d8f2daeaadbe18cc2b2bc","datavalue":{"value":{"amount":"+0.8268246650695801","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":"Q862352$F1EE6170-BBD7-4DB5-A155-AA14E170C811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9901ce55958cd0d1f62eea3a9d3018fe4ef0422e","datavalue":{"value":{"entity-type":"item","numeric-id":3549319,"id":"Q3549319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891e8e3d7ab2daddf08da8f0bb4abf3ed2e32fc8","datavalue":{"value":{"amount":"+0.8230265378952026","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":"Q862352$B84351C7-94A9-4CB8-9459-27BC33A71770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07afcdc82911588bbf35ff59e708bbdd908fb9f","datavalue":{"value":{"entity-type":"item","numeric-id":4250039,"id":"Q4250039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27b845ef6931329c1dd94ffae1b32019abd16cf","datavalue":{"value":{"amount":"+0.8212479948997498","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":"Q862352$9E2537C7-B95B-47A4-9D6D-8DCBF986DE49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The modal logic of continuous functions on Cantor space","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_modal_logic_of_continuous_functions_on_Cantor_space"}}}}}