{"entities":{"Q703528":{"pageid":705377,"ns":120,"title":"Item:Q703528","lastrevid":63744942,"modified":"2026-04-11T15:15:21Z","type":"item","id":"Q703528","labels":{"en":{"language":"en","value":"A coalgebraic view on positive modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126101"}},"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":"Q703528$1469032C-1546-42F8-AA4F-0409DD82B579","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"654f78eb84792c94f265f3ddbb028495316b8401","datavalue":{"value":{"text":"A coalgebraic view on positive modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703528$4D5561A2-90AB-4C68-A70B-36ECED97429B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a58ac2ef085d3b9eab40a69423689a294a3ede70","datavalue":{"value":"1068.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703528$427226FD-E657-494D-91EA-7AA26935DE63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$6FBE5880-DCF8-41BA-99E1-EF85CF132B13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$D2822FC2-7DCB-4778-98B3-05C3CF2182E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-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":"Q703528$C7E1A83A-BC27-49D3-AD5A-7763AE7388E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e92c2ee34b20d70234111587b92247cc4d9c61e4","datavalue":{"value":"Coalgebras can be seen as abstract versions of state-based dynamical systems and modal logic as the logic of transition systems. So, the interest of coalgebras as semantic structures for logical languages is growing. On the other hand, it is well known that every logic is canonically associated with a class of algebras. Therefore, the natural algebra/coalgebra duality makes coalgebras a better candidate for the role of semantic structure for modal logics. In this direction, the paper presents a coalgebraic semantics for Positive Modal Logic (PML).  Starting points for this work are: the Positive Modal Algebra (the algebra canonically associated to PML), introduced by \\textit{J. M. Dunn} [Stud. Log. 55, No. 2, 301--317 (1995; Zbl 0831.03007)], and the category of \\textbf{K}\\(^+\\)-spaces, whose Priestley-style duality with Positive Modal Algebras was given by \\textit{S. Celani} and \\textit{R. Jansana} [Log. J. IGPL 7, No. 6, 683--715 (1999; Zbl 0948.03013)].  Concretely, the paper introduces one endofunctor, denoted by \\textbf{V}, on the category \\textbf{Pri} of Priestley spaces based on the Vietoris powerspace construction. The author proposes the category \\textbf{Coalg}(\\textbf{V}) of coalgebras of \\textbf{V} as a coalgebraic semantics for PML by establishing the equivalence between the category of \\textbf{K}\\(^+\\)-spaces and the category \\textbf{Coalg}(\\textbf{V}). The paper clearly shows the background of the problem, gives very interesting results and concludes with a preview of a similar study about the intuitionistic modal logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q703528$C894C50C-C761-4C2A-BA2F-28D56F6FC818","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"232ae34814b4b71b0029b464d3a410fd8e408f36","datavalue":{"value":{"entity-type":"item","numeric-id":703527,"id":"Q703527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$5299F8AF-8DDD-443F-8FD0-989BA140A925","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703528$09524602-FFC5-4592-AEA1-FA63E24728C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703528$D27DEA16-1B2E-495D-998B-DBA20CBF4B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703528$52023C0D-2431-4CC1-A43B-13F2038A9E59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9a9c64f47e5f0d553926d1b4a0e4378d6e06984","datavalue":{"value":"2126101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703528$0F40E4A2-0D30-42BB-B8D3-72B227249399","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338832971d2c4ecc97328ab09c9356f879bc7933","datavalue":{"value":"positive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q703528$BE9A12AB-5121-491C-A682-A911950DA1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6721d792fd57bbecb1c4fe2d2d2d390cd3630733","datavalue":{"value":"positive modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q703528$B2751FB8-C031-465E-B6CD-59448E3B6252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7cefb910ae76694268e96ffec22bf413f1ebe4","datavalue":{"value":"Priestley space","type":"string"},"datatype":"string"},"type":"statement","id":"Q703528$2CC957E4-030A-43B2-8AB9-A53F05B9C8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2a446ade56667f82a1fbbd8ff660c9841ee3e0f","datavalue":{"value":"Vietoris functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q703528$3D815BBE-26CE-4AA9-AC54-07918BCDE6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"523eb4dee4e0de4d796d9cbea25be1afad3f8a00","datavalue":{"value":"coalgebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q703528$77F775FC-9DC4-4B85-A4EB-5019F7B653E4","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":"Q703528$56DDAA35-5E85-40B8-A938-97530708B20A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"370aeb713ce429dfe5d6d5d53aa83f1272c86260","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.07.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q703528$95086446-0D11-4B4C-8AFA-41297C2B7612","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebfe4c6f35c3c77fabd930bec63286daa34717a0","datavalue":{"value":"W1982910240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703528$AF98E8BC-8185-4989-8829-189EE34CB52A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$6FCAF571-CAC0-4ADB-BBF4-044E354B4C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$A3E7E822-B9A1-44D5-BBE2-35BD4E69FE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89108f8d5e7b8a9a6c10b9a1b4f1677c89806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934881,"id":"Q4934881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$AA25CD9C-17CB-4CA4-BDB2-C46789E78C07","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":"Q703528$0BE61EEA-546B-414D-89EC-6DCF75BC0F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd9a6ade8d1f39de0017bbf6e2c37ec0f518a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4220406,"id":"Q4220406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$F6927330-21C0-4BAF-8254-C77A0A4C1CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0285eb820bb07b0d085f9519dd253d7fdfaa1349","datavalue":{"value":{"entity-type":"item","numeric-id":1419380,"id":"Q1419380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$691122F6-2DF2-4855-A65E-D840A2A3E947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$AD298C15-C265-46C0-B96D-3F2C778C474F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$322FB5E7-21CC-4D25-A1A1-9FE029170224","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":"Q703528$8B95B3B8-881E-4BE9-B46D-09B833D35924","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":"Q703528$400362E7-BA9B-4D65-B591-9792432A06D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$17FD06F7-44D2-4EE2-A847-F4A448DB2145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$571E038B-AEFF-42C2-85CE-906BC6C20000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22906ff63b14d1b8df732c3438ee1a8a421ecaab","datavalue":{"value":{"entity-type":"item","numeric-id":5950751,"id":"Q5950751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$A1A12339-2C6F-4016-A645-F84AE9DB23C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0c1a3971cc7f76bca9a97135041403ab6c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$0EE9E979-20E3-4811-A493-E00B9376E14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92557ad996842a9f926770f5c2e27ba9ac53204","datavalue":{"value":{"entity-type":"item","numeric-id":4530155,"id":"Q4530155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$2F44DD1C-8FDE-4D13-A987-EF925674DB87","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":"Q703528$63FB8200-F414-4CC2-9F5F-7E240DCF90FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ed237b91f52f33e31470299fe61c5bb606877","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$F1282524-A458-4072-96D9-F41680B5FB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c87ae724ec7ee94ce13582011b58dd7102746a6","datavalue":{"value":{"entity-type":"item","numeric-id":5462663,"id":"Q5462663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$181F7AF9-FD3E-43F1-837A-CC4A12119B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$839CF274-E731-43B0-B4AF-7FBE05D36B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe0e61abd9fe11da0703cb0afa65a0b94feddc6","datavalue":{"value":{"entity-type":"item","numeric-id":2842560,"id":"Q2842560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$063B6862-8DF9-4C63-B0FE-67D70B8B1857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dfba28cfca30cad9d45599f062093f6bb9cb9d1","datavalue":{"value":{"entity-type":"item","numeric-id":2843730,"id":"Q2843730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$7E57EECA-0222-4BA0-B60A-C25836D78DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f2d776dbf781b1b6074a3e3f67d86e9087341c","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$64085718-0E0C-4ED7-844A-1650D07D8E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7eeee9c327a0cc2f5c91e65850d67215b9f476","datavalue":{"value":{"entity-type":"item","numeric-id":3359391,"id":"Q3359391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$2EBD5984-E315-4A67-BC86-769369633DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62891394bffe584fcdbefd47be2a4496e572fd13","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703528$DAE9B9B2-DFD5-4CBD-BACA-FF72394553BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a54202514e987e7e4d8edd2305e3a32171c83e9","datavalue":{"value":"10.1016/J.TCS.2004.07.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703528$8A73B1CE-17A8-4E2B-9350-5D1B27AED20F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0914d55f629aece19c93be1333e9499dfc9e4584","datavalue":{"value":{"entity-type":"item","numeric-id":2843730,"id":"Q2843730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee99c3bca30eb006c6c7c232764952918c0c2c46","datavalue":{"value":{"amount":"+0.9428734","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":"Q703528$3F7AEA40-9738-4B94-8A35-45BBF302E735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c17e88fa57f37d2ecb53dff7724933392874016","datavalue":{"value":{"entity-type":"item","numeric-id":3133183,"id":"Q3133183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2ee3a0a0a903834992d9e621626ef9f8a4ba8a","datavalue":{"value":{"amount":"+0.8403182","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":"Q703528$A83505C6-EE87-41B0-8244-71E5E800BC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70207880ca373230a84547d49c0e846e15c2533a","datavalue":{"value":{"entity-type":"item","numeric-id":2848939,"id":"Q2848939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb5a94d7af932a8ea7c97fd01ed4dcb6dc9b57f","datavalue":{"value":{"amount":"+0.8349249","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":"Q703528$F3AD5699-9178-4B5E-838D-06EFC7A3C76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f5ddfbfc00089acd7df45e38108816a63a342e9","datavalue":{"value":{"entity-type":"item","numeric-id":4580204,"id":"Q4580204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ebdd1d88e4ec54d9a742cb9be5154a9796568d8","datavalue":{"value":{"amount":"+0.82113826","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":"Q703528$E678337E-AFE0-4FD4-8E20-CD1BF5CC4DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4343a3e2bec4b63752fa6cc406883a8078bd3d0","datavalue":{"value":{"entity-type":"item","numeric-id":3196349,"id":"Q3196349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83bd6337c5e0ec08c6b34c023551484d76b1a682","datavalue":{"value":{"amount":"+0.8209271","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":"Q703528$5F772F3E-F36E-4305-8827-BDC2A823FE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac65146d6cf627e27c25438e67fa4bababee47f5","datavalue":{"value":{"entity-type":"item","numeric-id":2680995,"id":"Q2680995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed636e84a7db89f13e4aef040340de5ae9066b40","datavalue":{"value":{"amount":"+0.82083225","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":"Q703528$0358E1CB-5925-45D5-AB0F-01DD9FA3D64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d431b78a0c00fba1dce0fa0db8a98f8e88ff81","datavalue":{"value":{"entity-type":"item","numeric-id":2243549,"id":"Q2243549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9039056008684820b3aa2068a40ae857f7799f9d","datavalue":{"value":{"amount":"+0.8036696","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":"Q703528$E86FA988-E77F-4158-A2BD-B8D69EF6558F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b112eee35eabfd306112c4a3f285b9abddd0a824","datavalue":{"value":{"entity-type":"item","numeric-id":3086937,"id":"Q3086937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a85669d5275aeba3e7999ca948a7130adee55e7","datavalue":{"value":{"amount":"+0.7582774","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":"Q703528$CC901E01-7D94-496C-96FE-81CDEB88A38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fa448e60df552cecae71a066b0ad168c8483ee","datavalue":{"value":{"entity-type":"item","numeric-id":5419889,"id":"Q5419889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd6af5e6be7250e9d2baa2a7b1022f3f7c176f5","datavalue":{"value":{"amount":"+0.74530697","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":"Q703528$52806E2A-B0B8-4F83-88BA-61730464E2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ec92f14356c7bf5f491be625209aa99739edeed","datavalue":{"value":{"entity-type":"item","numeric-id":2882459,"id":"Q2882459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2516ac3c2191ad9765a4752a98aaa8fb2d5403","datavalue":{"value":{"amount":"+0.7016578","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":"Q703528$CBC9B571-D1E1-4ABF-A5C1-EA2F85E29CD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A coalgebraic view on positive modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_coalgebraic_view_on_positive_modal_logic"}}}}}