{"entities":{"Q535140":{"pageid":536907,"ns":120,"title":"Item:Q535140","lastrevid":62588742,"modified":"2026-04-11T07:06:56Z","type":"item","id":"Q535140","labels":{"en":{"language":"en","value":"Connected modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886771"}},"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":"Q535140$0609ABF2-A1E8-4755-BDC7-E96247366788","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fc8a5838f095106f3f2cf3f873f1b57aa73b454","datavalue":{"value":{"text":"Connected modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q535140$C9D1BFF4-5E64-472A-A99F-549FAC660117","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"441a486a5e393671b19b56fb20aefa563ba99f84","datavalue":{"value":"1241.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535140$4B581AFA-025D-492C-9162-03712461558F","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":"Q535140$666224C6-E82F-4C51-9629-C9011A86BC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51080bac8ea45a0b63cd706511bc71e96db8880a","datavalue":{"value":{"entity-type":"item","numeric-id":284228,"id":"Q284228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$E192E9B6-1298-488F-9DCF-52D34A18D91E","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":"Q535140$F3E1FE92-8BFF-48F1-807A-81DA9631FBF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q535140$A96D6AEC-8940-4334-938D-CFC2F92BDA43","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ed67a2763eb3ce13c43a9253e0884e19bbbe4fc","datavalue":{"value":"Bearing in mind the fact that the real line \\(\\mathbb R\\), and hence every subalgebra of the closure algebra \\(\\mathbb R^+=(\\mathcal P(\\mathbb R),\\mathbf{cl})\\), where \\(\\mathcal P(\\mathbb R)\\) and \\(\\mathbf{cl}\\) denote the powerset of \\(\\mathbb R\\) and the closure operator over subsets of \\(\\mathbb R\\), respectively, are connected, the authors introduce the concept of a connected logic over Lewis' modal system S4 and show that each connected logic with the finite model property (fmp) is the logic corresponding to a subalgebra of \\(\\mathbb R^+\\). This result is a generalization of the famous McKinsey-Tarski theorem (see [\\textit{J. C. C. McKinsey} and \\textit{A. Tarski}, ``The algebra of topology'', Ann. Math. (2) 45, 141--191 (1944; Zbl 0060.06206)]). They also show that each logic over S4.1 is a connected logic, and that there are continuum many connected logics with the fmp and continuum many connected logics without the fmp. An immediate consequence of this result and the Blok-Esakia correspondence between modal and superintuitionistic logics is that each superintuitionistic logic is a connected logic and that each superintuitionistic logic with the fmp corresponds to a subalgebra of the Heyting algebra of all open subsets of \\(\\mathbb R\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q535140$1AFD7A74-BE3A-4E29-BF24-3B60E70376C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535140$171BA824-4308-4EE8-ABDB-C48EF36076C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535140$6CBA83AB-70C7-4791-AC32-6AF19DC9DF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535140$529E39DE-474E-46A8-BCC7-181445DFCAF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4398f2125237ff6730806fefbebde26e5bcf44d8","datavalue":{"value":"5886771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535140$EF80054C-099D-4AB4-BF41-D5937663ED3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q535140$B7C4DD4E-4134-4047-A3DA-93AA9E1B24D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q535140$FFBACAAE-1D91-468F-AE26-C22BEBF66381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f5379ecfc18c6c97b7b095086d81c6fe68061d","datavalue":{"value":"closure algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q535140$5650B9B3-46F6-4F73-A606-C77339CAF94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d634b808394b6ce56aeffe284d3cf7ad53dc409f","datavalue":{"value":"connectedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q535140$314F4872-FFB4-4F64-93B6-E58419275DD8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$D571C07F-5F4B-48AD-85B3-BC5518A933DE","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":"Q535140$4D8B5D43-4FDF-4DFF-9BD4-574851B32095","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c3222323b8ffa72e841b1b7e32ea84e8583ec5f","datavalue":{"value":"https://doi.org/10.1007/s00153-010-0214-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q535140$DCFE48CA-B417-4537-B0BB-22845C7FC0BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e27fd56f9acfc6570b92cfb74657d4e9e01cd34","datavalue":{"value":"W2136619669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535140$EC2B23AE-3759-41A5-A906-EB281B905DC1","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":"Q535140$C141468E-6631-41D9-8BAC-76596290AED1","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":"Q535140$8F355164-B818-4C72-9764-95307AB82109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46832c4ef192b6cfd7c82ebdd623874bbf8bb91","datavalue":{"value":{"entity-type":"item","numeric-id":2476160,"id":"Q2476160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$C1FAD395-EE26-446B-8716-C529D83CEA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aab5bf0713bf2eec248ca01dfbd582fbd2c058c","datavalue":{"value":{"entity-type":"item","numeric-id":651415,"id":"Q651415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$981A4117-8E06-4196-92B0-C609EC475BB5","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":"Q535140$13FC5D67-F9F7-4C6B-B8B1-F29D29B4C9D6","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":"Q535140$37F0CBB0-80FB-4E48-BF2C-42539EC3806A","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":"Q535140$6CBADC94-1CBB-4C9C-A222-BB1D65DDF38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$5A029D8D-D0C5-46FA-9C49-A5E90D8F58B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$97CC00DF-3D5C-47E2-9CAD-6B79B4FBF48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c5bd77658599c5554a8e7dcdd076e9aac3d86a","datavalue":{"value":{"entity-type":"item","numeric-id":4149742,"id":"Q4149742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$BD9F6902-2968-4C51-BEE4-4241E25C4F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$9C92D58E-3744-473D-91CA-5BBF665CCC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$599AF084-46C5-4850-AB0D-5234D4768DBB","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":"Q535140$B46E95EF-C455-43B6-A059-DDF3062CFE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc56f2f655fec3b9707505e4f9c356f0c245d319","datavalue":{"value":{"entity-type":"item","numeric-id":3900020,"id":"Q3900020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$49910CB2-B122-4AF0-B28D-AF55F9710AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e656b64c352f98e2fdeb1c14e7f5ef2ed3b3c","datavalue":{"value":{"entity-type":"item","numeric-id":4531583,"id":"Q4531583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$438FBB65-51AB-4DCB-B4C2-6CFE7840B6B2","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":"Q535140$5AEC6884-7B36-4C76-98D2-B6578BF52A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0797389d565417b6d1c13ed5454a90ef6d1a7f8","datavalue":{"value":{"entity-type":"item","numeric-id":1361249,"id":"Q1361249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$65AC48F0-B84B-4C1B-B232-310CE5E70890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8736b1fc1427ab61e6b1863558749e5897b25ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4789450,"id":"Q4789450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535140$89B2FA32-B06C-4EB3-95BE-AD0D09F50BE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c4fb23b392065d34a859daa3dee41be9b9881a8","datavalue":{"value":"10.1007/S00153-010-0214-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535140$540D4E7E-F75D-4454-9677-5141C6176F4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50babb0e2c678dc2ee872f9a639e7cd0efee7b21","datavalue":{"value":{"entity-type":"item","numeric-id":5501770,"id":"Q5501770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8edf93c261b44a6b25dcf2de662c97039bc17c2b","datavalue":{"value":{"amount":"+0.84067845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q535140$182FB84A-0116-47EA-A3B3-848CEF772EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9a5c94a8a27f3eda4ec47a50cb9a85d44b0c27","datavalue":{"value":{"entity-type":"item","numeric-id":4205420,"id":"Q4205420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3333a42890b45a71debf87a6d0cb46939f575774","datavalue":{"value":{"amount":"+0.7099152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q535140$93E52CFC-B08A-4D32-B7B0-E805F6BA0552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eaa78e536be4000c65c1db65df52ca78a6c5252","datavalue":{"value":{"entity-type":"item","numeric-id":4249225,"id":"Q4249225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f467c8afd4ccf5b3b8931c932565935eb84264c","datavalue":{"value":{"amount":"+0.70566297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q535140$8264B973-B052-47C1-A2C6-51766F4928F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbce0acb74bcdbfd0438ad480b6361644553b347","datavalue":{"value":{"entity-type":"item","numeric-id":3680816,"id":"Q3680816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c717392311c7889a6c34a744a8a15be3fd42937","datavalue":{"value":{"amount":"+0.7029412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q535140$28041273-734F-4381-83D6-9E0713926160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666bd6d61e4acebe64bdaab85f2ef80d87fc3cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4918420,"id":"Q4918420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71598c453bb233a5cc70500e8d52b1b586a58382","datavalue":{"value":{"amount":"+0.6955032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q535140$64CA3F3B-9879-4477-87C8-84F8835B0220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"466d58f69a3ce33c9a569884d3e0c9b3c12512d3","datavalue":{"value":{"entity-type":"item","numeric-id":5006821,"id":"Q5006821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b954ddf3e66fbaff424a83de067a9407a29f6591","datavalue":{"value":{"amount":"+0.69543296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q535140$4858D9AD-97CB-4C51-B365-5A914AD70E92","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":"a4b98bb5c0f42b3caab7fa6b7bbe74af23412dde","datavalue":{"value":{"amount":"+0.69507587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q535140$F84B1C07-5915-4707-93A8-01AE7C75A0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52153f616c8e35e9523cf64f1fd11712d01fa37","datavalue":{"value":{"entity-type":"item","numeric-id":4966006,"id":"Q4966006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e18f6d4eca7c7f05f47af7bbcb134f665880ca11","datavalue":{"value":{"amount":"+0.6917994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q535140$936BCEA7-16F2-4628-914B-F602EB4043C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946aff22da8d13cc6aef06c12b8d51770f5a3292","datavalue":{"value":{"entity-type":"item","numeric-id":4304127,"id":"Q4304127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeefa8acab4f902f6adba6b9b2d4706570d9a94f","datavalue":{"value":{"amount":"+0.6879836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q535140$6EFA6456-7719-485A-BCAE-9B524A15E6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47ca642f3306c4cf2ee01e3f5bb1320a8f7dff5","datavalue":{"value":{"entity-type":"item","numeric-id":5437776,"id":"Q5437776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf9818b98072f6205e8478363132d30f84bae2a","datavalue":{"value":{"amount":"+0.6866494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q535140$AF790AC5-36D1-4A02-B775-40D558CA9293","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Connected modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Connected_modal_logics"}}}}}