{"entities":{"Q1023291":{"pageid":1025139,"ns":120,"title":"Item:Q1023291","lastrevid":69628524,"modified":"2026-04-13T08:18:53Z","type":"item","id":"Q1023291","labels":{"en":{"language":"en","value":"Coalgebraic logic for stochastic right coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5564231"}},"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":"Q1023291$F7AF8FF6-F6B6-47AF-BAE9-0BCBEF139232","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c86f276c729964d91bfbed4730aac4377ab913c","datavalue":{"value":{"text":"Coalgebraic logic for stochastic right coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1023291$E56943CF-F61C-4B2B-B2FB-6568BE44FBCD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d17186eed11605b8614b27f3193b7219c731cf4","datavalue":{"value":"1179.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023291$9E0B6B65-5160-4FE5-885A-A40ABC58310F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5e0806de5ee4186b467b007530d48a61d8fa76","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$46F4BAB6-4301-410A-B010-C898735A6B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8862bdd87ff9d295a7766d0478d58b0190fc69ae","datavalue":{"value":{"entity-type":"item","numeric-id":1023290,"id":"Q1023290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$F3264B75-D1A7-404F-A513-346F302306B8","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":"Q1023291$0305C9A2-8DCF-46A1-8B67-ADCB4C515268","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"476bfa1eca806cbbd7c0c525c26fe211bba5b0be","datavalue":{"value":{"time":"+2009-06-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":"Q1023291$794DC662-AA17-4C4E-92A6-6C215B53D060","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b482308fc4f5addd66bdb4fe807070c8b039418","datavalue":{"value":"The main object of this work is to transfer expressivity results previously obtained in set-based coalgebraic modal logic [\\textit{D.\\ Pattinson},``Expressive logics for coalgebras via terminal sequence induction'', Notre Dame J. Formal Logic 45, No.~1, 19--33 (2004; Zbl 1088.03031); \\textit{L. Schr\u00f6der}, ``Expressivity of coalgebraic modal logic: the limits and beyond'', Theor. Comput. Sci. 390, No.~2--3, 230--247 (2008; Zbl 1132.03008)] to the setting of probabilistic coalgebraic logics on analytic spaces, continuing previous work by the first author [\\textit{E.-E.\\ Doberkat}, ``Stochastic coalgebraic logic: bisimilarity and behavioral equivalence'', Ann. Pure Appl. Logic 155, No.~1, 46--68 (2008; Zbl 1147.03014)]. The functors under study are of the form \\(\\mathfrak{F}^\\sharp=\\mathfrak{F}\\circ\\mathfrak{S}\\) where \\(\\mathfrak{S}\\) is the subprobability functor (the subprobabilistic variant of the well-known Giry monad) and \\(\\mathfrak{F}\\) is a functor on analytic spaces. The logics in question are interpreted over \\(\\mathfrak{F}^\\sharp\\)-coalgebras \\(A\\to\\mathfrak{F}^\\sharp(A)\\), where \\(A\\) is an analytic space. The framework is parametric in a set of predicate liftings, which in this setting are natural transformations \\(\\mathfrak{B}\\to\\mathfrak{B}\\circ(\\mathfrak F^\\sharp)^{\\text{op}}\\) where \\(\\mathfrak B\\) is the contravariant functor sending a space to its set of Borel sets. These predicate liftings serve to interpret modal operators following the standard paradigm of coalgebraic logic. One has three notions of equivalence of states in stochastic coalgebras: logical equivalence; behavioural equivalence, defined via cospans of morphisms; and bisimilarity, defined via spans of morphisms. The main results of the present work are on the one hand that, under a suitable separation condition involving coalgebraic models (rather than just the functor as in corresponding set-based results), logical equivalence coincides with behavioural equivalence; and on the other hand that if \\(\\mathfrak F\\) satisfies additional assumptions, in particular is compatible in a suitable sense with pullbacks in the category of sets, then behavioural equivalence coincides with bisimilarity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023291$65EA6899-8A1B-4D6B-B6BB-F32ACE1CBADA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a79417a94bb26b1097b5b65a2b9b2c854101397b","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$CC2FFBF1-74C1-4203-B278-CD073BF2027F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023291$78BA3268-FB4F-48CB-9ACB-65C02F1BD51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023291$21E430DF-BDC9-4180-B062-787E5A2B1E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023291$04CF9FA6-83B3-4465-9308-8EDF028CAF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023291$AE9F5511-3A49-4ABA-8148-E9A230FD5628","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35910e3b84e5760bbf15bea353e3df10b93e7dc3","datavalue":{"value":"5564231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023291$4988B902-4246-4850-86FA-09377223EB9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db3e7f1f83750b9bd80c7f7332eb0563ba016db0","datavalue":{"value":"predicate liftings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023291$4F500D74-E72A-40F4-9AE8-B3F84D013E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a9f9f32f12a33241ca1a8b54c96cbc6deab43d","datavalue":{"value":"behavioral equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023291$6158C92F-C9FC-45D5-947C-42FE28204BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae81f9b7c85c07a7a5bb8c44af3c577b792f37e","datavalue":{"value":"Hennessy-Milner theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023291$EE016686-FF15-415E-98BB-ABA7188A0572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50f241e3158fb47bf3847f6fadb9b3353b5a64e7","datavalue":{"value":"stochastic relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023291$0DF83C8A-5857-43A0-A08B-B553AB015D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c262983b439db0e698e56e398a603fa1ac2aa26e","datavalue":{"value":"coalgebraic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023291$F3831D82-CC68-4A80-9D14-05E49A58E29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023291$0D5782E3-A07E-4675-A236-B99B34495BA0","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":"Q1023291$4D29A949-0784-47DD-A0E9-3D40329ACCBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef6c6116b7ca526ab0626e247cbf04a85bc3bbfd","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.06.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q1023291$9647294E-3849-4861-A2AB-0DC8EA66B927","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80616ad81364a3393e64cb689f57b53bb13ae2eb","datavalue":{"value":"W2030168280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023291$FA19FEE0-3950-4753-BD7E-97B5B26450D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e9f51174dda7c2dcccdfe8d51f717eabcb9ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4112980,"id":"Q4112980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$6CC9C6C3-9301-4D49-B268-9919E304ED7C","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":"Q1023291$B394128B-D60E-4449-ACAF-12CD3C73A10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8c7d008a173ebeedf0ea2176dbb87435ab5125","datavalue":{"value":{"entity-type":"item","numeric-id":5532676,"id":"Q5532676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$92472239-E6C3-4866-9EAD-E697DA44CDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacb971a9ba51fec57dbb3d5aa315d494051ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$C40CB324-D716-43DC-949C-66A621717C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$BC5F545B-C5BA-4CD4-B630-91838E9CEB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48fc05d00dd5a9e60c59252374a3abef55ae80f8","datavalue":{"value":{"entity-type":"item","numeric-id":5697710,"id":"Q5697710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$B3C485E1-ACF7-4BA2-990A-4FED28554030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe345c7c5946b7f066ac0bd9178ff5b80fa23956","datavalue":{"value":{"entity-type":"item","numeric-id":5470704,"id":"Q5470704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$940AB891-690E-4DB4-8477-0C59C50C339F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0f3cfd147c4eb5f36a2401403eedc07bf675bd","datavalue":{"value":{"entity-type":"item","numeric-id":5309952,"id":"Q5309952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$FDD1259A-D4AE-4687-A404-D3ED0BA5CC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2992f74ef30ce4f2c1a347599a79c281d57686bd","datavalue":{"value":{"entity-type":"item","numeric-id":947269,"id":"Q947269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$1E9D68D9-2C8D-4C4D-B92B-1A7DAC06D897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$DE583D4F-0A30-42E6-B410-8E18E1396F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee403ebd21f803bdef88bb4b2bbf00c3f38c3d2","datavalue":{"value":{"entity-type":"item","numeric-id":4423192,"id":"Q4423192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$89DDA9B6-3F20-4D39-88A5-78C4AF4DB89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83de9cc9bab5dc0826a6a02623c12fec6eff548","datavalue":{"value":{"entity-type":"item","numeric-id":4049296,"id":"Q4049296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$2A6B0BDD-772E-4F72-B4A5-F2C5743FE37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c56e5f3d04099429d7abf8e0094315eba6ba178","datavalue":{"value":{"entity-type":"item","numeric-id":1332843,"id":"Q1332843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$7378CE57-B964-41BB-AB7A-8E3D8E787DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$5C9A612A-A7C2-4224-ACD3-53909C6CC568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$C1273A62-8069-45D1-BDF6-C12AA34F8BF1","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":"Q1023291$3CB32528-D4D7-4692-8876-8F72223A814B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$6B3FB299-9953-4A7E-896B-55473A31DD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$C6F4D8B2-16C8-495E-B7D3-86366E190CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$859A6786-11F9-4DD1-A154-37B624295C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeea2c1aa53a8e6f4e6d84856c703b47df09d024","datavalue":{"value":{"entity-type":"item","numeric-id":5428831,"id":"Q5428831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$C79DCBE3-D9C9-417F-AC72-6620CBF591A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fde3601c37d65874040900fcfb0e7fb2f979041","datavalue":{"value":{"entity-type":"item","numeric-id":4396494,"id":"Q4396494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$CD972B6C-86A9-4A24-AE59-D7438E220D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$7403815F-9B98-4576-9356-211D27669F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb6502d314766d3cc8c1485e99d456b310c3f36","datavalue":{"value":{"entity-type":"item","numeric-id":4193694,"id":"Q4193694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023291$538DA5CC-AEBC-490D-818F-AF3AD735AB64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"593c4da5438336b2eb4f873c2c56bc9fe95edce3","datavalue":{"value":"10.1016/J.APAL.2008.06.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023291$040770C3-000D-4A69-BD9C-6DC2D62F4E27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763a71dbe6662a51635a2d80aa4804ff878ec275","datavalue":{"value":{"entity-type":"item","numeric-id":1049890,"id":"Q1049890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0cc30ad523c0e58ccbc6d6aaff84593a65235fc","datavalue":{"value":{"amount":"+0.8586714","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":"Q1023291$4A61529A-F4E8-4663-90B2-8399A95FDFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50730eb802fef2c783d947c8c167924c99070d8","datavalue":{"value":{"entity-type":"item","numeric-id":947269,"id":"Q947269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c0e36d24d477417ee27dae8d5ebe58ebf42c6c","datavalue":{"value":{"amount":"+0.81170106","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":"Q1023291$07F66093-C70B-4BF2-92D9-D8DA01A0EE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4905eaa37afdc8da4a52871d57274ea671d963ed","datavalue":{"value":{"entity-type":"item","numeric-id":639648,"id":"Q639648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36663bd11c9a1a2523b87aaab4529d3d6de7289","datavalue":{"value":{"amount":"+0.79900813","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":"Q1023291$65ACC130-9CF7-4EBF-AE74-34F11987B689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3234484a8a80fd4c4be9d9df43caf58157e3e42a","datavalue":{"value":{"entity-type":"item","numeric-id":703518,"id":"Q703518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0768dd7ca0d6c4a1fcbaaabe472831119363bbc5","datavalue":{"value":{"amount":"+0.7849357","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":"Q1023291$8310EC86-0DF9-40B2-9F9D-648EB3521390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db56bc1b3b56fa0420dbf4ce3c809e8bb0c4a01c","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6aac3492b091b4d31737fd382500d45110fe9ae","datavalue":{"value":{"amount":"+0.7835518","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":"Q1023291$1FF50348-FC1E-4F45-9DD1-8D8E15B5AEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2989338a5d222f5c3fe8a171b3e10d6d760e06a","datavalue":{"value":{"entity-type":"item","numeric-id":2994480,"id":"Q2994480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2838703fa6e92eaf48c1be7c4d10fb7303a60f65","datavalue":{"value":{"amount":"+0.7739537","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":"Q1023291$79EABA3A-7A7F-4DA7-B62C-C02FDD30381E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203c28359a7966de6bc2da073dd334f6adaa7c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5311478,"id":"Q5311478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84443e2f8a68b9f5a936feb5ffd76ad5705fe086","datavalue":{"value":{"amount":"+0.7724482","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":"Q1023291$09E18084-C6AE-40C6-AAC3-9E6B5163B5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7788b629a24741a83a77059e6c66cb77a96d49b2","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e456757477aa6e19165cb1ade7d61d635f2d7d5","datavalue":{"value":{"amount":"+0.772066","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":"Q1023291$76A97597-9040-4703-8FEB-2E2A0D9B160E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d3bc9899d43e4bd875c825957fae1ea4c7b489","datavalue":{"value":{"entity-type":"item","numeric-id":2464936,"id":"Q2464936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ed830ee0ef303ea22bbc480c336533d2c43a1d","datavalue":{"value":{"amount":"+0.7711637","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":"Q1023291$159F6DFE-1346-4064-BB82-5D8539A0F1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d297f6860ba63a4752b42d120a699735fbd08b4","datavalue":{"value":{"entity-type":"item","numeric-id":3063969,"id":"Q3063969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52249ccf9cc0c81c077944eeebcbb7bf356b5a93","datavalue":{"value":{"amount":"+0.7671031","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":"Q1023291$B5D9F8A3-23E2-4082-B0C4-62ACDC1B17FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic logic for stochastic right coalgebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coalgebraic_logic_for_stochastic_right_coalgebras"}}}}}