{"entities":{"Q1101436":{"pageid":1112188,"ns":120,"title":"Item:Q1101436","lastrevid":66133764,"modified":"2026-04-12T07:46:20Z","type":"item","id":"Q1101436","labels":{"en":{"language":"en","value":"Topology and duality in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047687"}},"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":"Q1101436$94ACC272-0DCA-48BC-BEAA-D117B0D280C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33349894db036f5455de20126fcfa9ad6c8f0002","datavalue":{"value":{"text":"Topology and duality in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101436$55CFB029-12A6-45C3-A2BB-5A7F17ED8C17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2eb9a6459a37f7656b9b5a456d949c4f2ff0def5","datavalue":{"value":"0643.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101436$2EBBEF4D-48B5-4A10-8EF9-46687944DB8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a4e7c87b1df8d50c826ff33871941a6f10303ab","datavalue":{"value":"10.1016/0168-0072(88)90021-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101436$26085F2A-ECAD-43C9-995A-26D369B0DDAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65528b725fe74a698d1c6a1b19d0e94ff56ea02b","datavalue":{"value":{"entity-type":"item","numeric-id":887822,"id":"Q887822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$0B394016-811A-40D8-9E4A-B6CD98FDAF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55bd8560c8a1403ab47662a5cdd1fd2019a57873","datavalue":{"value":{"entity-type":"item","numeric-id":1080410,"id":"Q1080410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$61C4E223-6B6B-4EFE-8247-FC2181506A57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$E529E5EA-2C8C-4063-A9F3-9DDD1DC32E11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1101436$F6EF41CE-9A3F-479E-9EA6-32EE36BD7B27","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"03d755be9742836f1079a264db1743a24599e1d7","datavalue":{"value":"There are two major approaches to the semantics of propositional modal logics: the algebraic, as exemplified by modal algebras (i.e., Boolean algebras with an extra unary operation); and the relational, as exemplified by Kripke frames (i.e., sets with a binary operation). Each approach gives rise to an associated first order language, and much research in this area has centered around completeness theorems roughly of the form: sentence \\(\\sigma\\) is a theorem of a set \\(\\Gamma\\) of sentences relative to such-and-such a modal logic if and only if \\(\\sigma\\) is a consequence of \\(\\Gamma\\) is every modal algebra (or frame) that satisfies such-and-such (perhaps first order) conditions. Of course there are many variations on this theme, and it is natural to assume any general theory that connects the two semantical approaches mentioned above has potential for shedding significant light on completeness phenomena, as well as being of intrinsic interest.    The paper under review not only gives a quite readable and leisurely introduction to the important issues of the subject, but delineates a new connection between the algebraic and relational approaches, said connection taking the form of an adjoint pair of functors between certain categories. (This adjunction extends known duality theorems that arise from an analysis of the classical duality of M. H. Stone. This is where topology enters the picture.)    The paper is divided into three chapters. Chapter I introduces the reader to modal semantics, discusses the ideas upon which duality theory is based, and points out the relevance of these ideas to completeness theorems. Chapter II develops the technical machinery leading to the adjoint functor theorem alluded to above. Finally, Chapter III gives applications of the theory developed in Chapter II; one such is a simple description of the structure of modal classes of ``generalized'' Kripke frames.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101436$EEAD563A-0B99-4DE9-9D3A-8A41E901D52F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101436$E6D9593C-B96F-4F81-8166-C1592715AFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101436$88207768-B151-4400-AB30-44EE349C8AE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61d203afa92150d7f57f02befaa0261c9d5974f9","datavalue":{"value":"4047687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101436$32971DF6-785D-40F7-B94E-F08612FD7A32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f2c9029291f49d64254a140355ecc5be49142a","datavalue":{"value":"general frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101436$FDA56723-7695-4505-9BD8-974CAF68F7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6054dea3f9b79e5a724dc8301f1b48e34a82b6dc","datavalue":{"value":"valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101436$0D57D441-C7A7-4A62-B4DD-3D4C1EEB8261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101436$465325C4-1350-4A8D-9B64-CCCC9258B6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"debf058b359dcdec135485e31794d733be972fe8","datavalue":{"value":"adjoint functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101436$2C2370DE-A84A-48FC-AD8B-7098FD86250C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cb759398848ce1b86f3c974b122ec08544583c0","datavalue":{"value":"semantics of propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101436$B6EA97F5-9CB8-4C10-98A5-8C2F94453A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600672ab55ae471847e00a7bc41bc9851fc3ede8","datavalue":{"value":"modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101436$6B2AC2EA-12FD-42A1-8825-64AA7CFC6909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fa2dd85be1637ac9de518712a1c37fec3e2dcf0","datavalue":{"value":"adjoint pair of functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101436$81571AB9-0B9D-4104-ABDE-0471B65E01DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f2c19f911179bd48de63cc4a5c8166d20f9271d","datavalue":{"value":"completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101436$887473EA-C62C-4E4A-9BEC-52A6E7D6D852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101436$BD7F6943-16C7-4679-B046-9CE174E4A520","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad60e086a74fc61d4b1f57698734d6ee2f246da9","datavalue":{"value":{"entity-type":"item","numeric-id":306127,"id":"Q306127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$5C62043A-A49C-4CFB-861B-394F50713CEE","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":"Q1101436$E04FE321-8C4C-4CD6-B507-49F9EE3388D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ddbc75a2029c28461949b31f26977e59f872a29","datavalue":{"value":"https://doi.org/10.1016/0168-0072(88)90021-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1101436$56F2FDFB-BFF0-44FC-943C-EC98827B6461","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee746d57451a2187b23b5af92a0a0aeab0b02051","datavalue":{"value":"W2071467583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101436$A2D1C8A6-E07A-44C4-958F-9B10EB3B9423","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da258b65e2346205134973cc333997cb45b7692","datavalue":{"value":{"entity-type":"item","numeric-id":5570212,"id":"Q5570212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$9FA211BA-0BE9-4EF0-B798-60D93763C8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5ead8a10b548fd24aae0a6c5d7f264fcb91eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4190614,"id":"Q4190614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$BE564DE8-A3C9-4885-B529-16800BFCD678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cfb8fa497fbdd8a8fbb057c1b81d463eca6ef0","datavalue":{"value":{"entity-type":"item","numeric-id":1151886,"id":"Q1151886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$8592522B-6D35-4559-A65D-635191F755EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9993b6b0172a209e3442765388ebb916ac4761","datavalue":{"value":{"entity-type":"item","numeric-id":4190613,"id":"Q4190613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$AC767D83-671E-4DB5-9727-B897CF0FDA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$850E5723-B055-485C-BE76-36318D8695EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f66fa289e4d1f18bfbeceba29dbafaae55ebd3","datavalue":{"value":{"entity-type":"item","numeric-id":1073780,"id":"Q1073780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$B180C49B-B4E8-4406-9E5F-D9B0B770A31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5e9ef5b5976f0e3d2c26ccacd7644342a3f750","datavalue":{"value":{"entity-type":"item","numeric-id":5540221,"id":"Q5540221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$EFE19AC5-956D-44CE-BCAB-39BC9CFE3CF9","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":"Q1101436$87C2A7C2-6619-4A1B-A526-519499B7F464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$415FB5B9-6CE3-4A4A-B2BC-70F352875AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff687fb653b2f50be19ff0d779dfa41c780cbacf","datavalue":{"value":{"entity-type":"item","numeric-id":4075436,"id":"Q4075436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$E2BF059E-1353-4220-8772-008CA4FA88DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfb124f04bfdfe8aadf6c513fa09542cea2eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5731806,"id":"Q5731806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$467C32F4-8843-4F37-974E-82F4FED89C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d991cd5602b157aecd21faf84810ebd69c2d96","datavalue":{"value":{"entity-type":"item","numeric-id":4128789,"id":"Q4128789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$0D781B28-94BD-4DCC-A873-4809F56D7078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a600081f69111d4a4efd0a8b327a22f543f40a3","datavalue":{"value":{"entity-type":"item","numeric-id":4088789,"id":"Q4088789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$C0B47B7F-3BBF-4B0D-BF0C-215050C898CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$81EBAEB0-2165-4531-912A-0F9F4EC0EC44","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":"Q1101436$A49A64DE-961C-47FA-9A2D-20B3D252DDE0","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":"Q1101436$93BA9A22-0C79-4EFA-8F24-2CE921AF0934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$5206A5E0-671B-4E8A-ADF4-2C7A3232597B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f44b2f48c7558bc7f3a85caf4b8ce4d20efa5a","datavalue":{"value":{"entity-type":"item","numeric-id":5721231,"id":"Q5721231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$7C015FDA-9AA6-4126-AB98-FC772F169E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69fa1db138cbdf5ce996203cc7917ef58acdd29","datavalue":{"value":{"entity-type":"item","numeric-id":3939782,"id":"Q3939782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$B3ED27ED-1E25-407E-94AB-B1CA6BA878B4","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":"Q1101436$CD4A54FF-E116-41B2-86CA-494E15736AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18acd13838cbd2b8d817ea9459757c3a0df03ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5525332,"id":"Q5525332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$4C9CA1C5-1951-480E-A811-30C5DAB9ED50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$7AFDAF27-8835-4DFC-8701-6576643CB4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1c10a48994750f9ea8f47b3ea09721413a554c","datavalue":{"value":{"entity-type":"item","numeric-id":1237068,"id":"Q1237068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$06C88737-0D38-4F6F-87DF-6870026AA05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd272eb21f5a9418f693b4d9418623a1cce7958e","datavalue":{"value":{"entity-type":"item","numeric-id":5612497,"id":"Q5612497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$787CCE88-862D-45F5-863C-2C4731A3F354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$7EB96C4B-0282-4591-BBE1-EB0B0A5954E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$299035CC-9C2E-4B29-934A-D9C41E1F6916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64324cd6b99792d4f2e35ad94816561b9b2980d","datavalue":{"value":{"entity-type":"item","numeric-id":3884090,"id":"Q3884090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$1FC255F5-F044-4BA9-85F3-F8D22BD2CACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$520C3B64-51E5-40B4-AC21-565538C0EE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$C35D4C6D-5C6B-4F85-A05C-B14188B4FDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e510c2576a7fa7c6774930adc1ac0cd05e0cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4773680,"id":"Q4773680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$E5E814D6-E9D0-4CDA-9E44-C1FE558DFFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e894cf50d98f6d23776708d1d4498cd17fde0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4077980,"id":"Q4077980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$56B028D9-E752-4144-80D9-B5BC63292569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a751170e7c053aac38a74e363e34f85859742aa0","datavalue":{"value":{"entity-type":"item","numeric-id":1162503,"id":"Q1162503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101436$248B88C3-60EE-4A39-8CE6-2CB7D928D583","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3eff6b24cc33173be18fa1520c03347223dc319","datavalue":{"value":{"entity-type":"item","numeric-id":5310658,"id":"Q5310658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c39ddbfd6f010e53c7fa5a2b37231194fb4e03","datavalue":{"value":{"amount":"+0.9535836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101436$7BF8D342-50ED-4A8F-870E-AC855D9E1CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f41f6441d683d7bdeb5c6305a966b335c8b4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4323831,"id":"Q4323831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771c43fb32795448a6597ba3ba36d8b50085f298","datavalue":{"value":{"amount":"+0.94791454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101436$5379FCFD-96F2-4DF4-8E3F-90C653305F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2547beb8dc8b91f553edd4df89dda270de964511","datavalue":{"value":{"entity-type":"item","numeric-id":598307,"id":"Q598307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df052b3516e8763284749f7374cc2d138405c4f8","datavalue":{"value":{"amount":"+0.943448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101436$E867D46C-DB3D-4317-8565-85645111C0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab0f898271432c7b5e1c471fa4f30f432c32f97","datavalue":{"value":{"entity-type":"item","numeric-id":3085165,"id":"Q3085165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9cc477c33dfaaf51ff26116757721e4ea8bbf48","datavalue":{"value":{"amount":"+0.9426539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101436$5CDB6493-D9F8-4857-93F8-64DE3B6BEC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb944f9309851d273ec6855b1a9bcae4158d19cb","datavalue":{"value":{"entity-type":"item","numeric-id":4029349,"id":"Q4029349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a55b0522b1267ee5645b8ebef7073ece254666af","datavalue":{"value":{"amount":"+0.9405632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101436$CE34CAC0-9ECA-437E-8AA7-962AC58255A0","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":"755c6ac38bb836ba9296c45460dffad3f38215b4","datavalue":{"value":{"amount":"+0.9387511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101436$86A18B53-B2AA-4C26-A401-A11E8588D8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde4731cc58a537e63dc33d763215e5e195d9d78","datavalue":{"value":{"entity-type":"item","numeric-id":3784048,"id":"Q3784048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f94bca12a25e432c1a2f576fb536bddb8be5874","datavalue":{"value":{"amount":"+0.934212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101436$97CD3559-E76D-4734-B9BF-84142B4DDCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc5dd29b6b333a3dc47fd328884fc849c8ebfd0","datavalue":{"value":{"entity-type":"item","numeric-id":3978987,"id":"Q3978987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a05ea26d864a550271e927559cc6a8db2b5dba","datavalue":{"value":{"amount":"+0.92408276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101436$A78CF911-7662-496C-B75F-09143C651C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a7e863d967f59858deefcaee199d6b040b65e6","datavalue":{"value":{"entity-type":"item","numeric-id":3509060,"id":"Q3509060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9961ff1d0df83bc83307859eb8bc62c382ce3a7","datavalue":{"value":{"amount":"+0.92346054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101436$672E01F3-3717-4B69-8175-21500161B557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb69908545b9338ea357fd1cc14c26830226e279","datavalue":{"value":{"entity-type":"item","numeric-id":1977898,"id":"Q1977898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc278bb8052273fa8d1837046dbca0751ca56e5","datavalue":{"value":{"amount":"+0.92243695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1101436$F3834822-F440-43BF-B86B-43A78DB9A50B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topology and duality in modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topology_and_duality_in_modal_logic"}}}}}