{"entities":{"Q5009455":{"pageid":7039032,"ns":120,"title":"Item:Q5009455","lastrevid":91274666,"modified":"2026-06-04T22:44:03Z","type":"item","id":"Q5009455","labels":{"en":{"language":"en","value":"(Metric) bisimulation games and real-valued modal logics for coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378581"}},"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":"Q5009455$4501CF79-6636-4202-ADEA-405D7666F2FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$A215A3EC-1A67-42D7-AF0B-A86D7DE30BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b74e3abb8584a6b8ccad5d66cbe5f965fbaf20","datavalue":{"value":{"entity-type":"item","numeric-id":2104472,"id":"Q2104472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$2CE8226D-F723-44DA-8425-25260BDE0764","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5009455$D9A1906A-90DE-4E60-9EAA-72F35E4C7E49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f5748902a2f3ef81577e380e5bfea7aee61aabc","datavalue":{"value":"https://arxiv.org/abs/1705.10165","type":"string"},"datatype":"url"},"type":"statement","id":"Q5009455$6967F41B-E8A8-409F-ADE8-38F2E526ACD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009455$8343C839-5E2E-45D7-A216-C6020A026FC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0fd66d2c3a36d4e82ba499748e099e7f5cf29cd","datavalue":{"value":"7378581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009455$9389BE97-C52B-4929-8B94-B8965EE1D1D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009455$67590B2E-D837-4C33-BF22-923DDD78A7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c71491e5ec4134e84f50c35e083dfc45078b5ca","datavalue":{"value":"bisimulation games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009455$3693C425-4E50-46E5-B6E9-1257BD2BC9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d43aa1c016b4562490834901539d7324b9f4314b","datavalue":{"value":"spoiler-defender games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009455$82C1ED10-1958-436D-AD90-832DED0E52F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0845c75a22d8f87c0ec2625d27c507ca10a5d69","datavalue":{"value":"behavioural metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009455$70AAFC02-7261-4EF7-87C5-095D1DCC7832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009455$02EC17D8-23C7-45D3-B65E-451779EB1877","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":"Q5009455$61149EEE-1409-408E-A80C-815FCDB8B28B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a1a59fd4f5322ee8d09a8031b01fed6dd672f4","datavalue":{"value":{"entity-type":"item","numeric-id":3056295,"id":"Q3056295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$A34A5AB0-2DBF-4B0D-ADE9-9507EFB27CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$547DB2BE-78AA-4D15-BEB8-F61DDC29E3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6dc871fe926fe9c59d18f813417643cc900d049","datavalue":{"value":{"entity-type":"item","numeric-id":4606219,"id":"Q4606219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$88878FC7-57FC-458F-8825-02482B693B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb6d6d5a1dc5614019136abacf0c0f9f73314b7","datavalue":{"value":{"entity-type":"item","numeric-id":3090863,"id":"Q3090863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$4C40727A-D4C3-468C-93A5-D105186EB8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5d3de901be6fcb31b3d5b2f374093d03b491cb","datavalue":{"value":{"entity-type":"item","numeric-id":2978531,"id":"Q2978531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$4C978F80-D9F0-41FB-9A8A-134F3F526F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"078674df8daffb21caf6680646427875d9ba7189","datavalue":{"value":{"entity-type":"item","numeric-id":4683862,"id":"Q4683862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$40D4FC19-748B-4EEC-B7C0-79341869136D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7f478a0e3334d16e231c4c024432fa7752e636","datavalue":{"value":{"entity-type":"item","numeric-id":3190107,"id":"Q3190107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$01AFAD70-5103-4ED2-A751-CAFA8E646C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8079eecc9579ae6400ae4118234ab46520c11715","datavalue":{"value":{"entity-type":"item","numeric-id":2892788,"id":"Q2892788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$60CA52C0-9E9A-4A89-A3A8-D527AC4F8DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$A3699A9C-AE65-46E4-B8E3-E12F81D9AD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85783bd920d20ff6ad2cb21d79fa6b25a3e1568f","datavalue":{"value":{"entity-type":"item","numeric-id":2911616,"id":"Q2911616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$DABF5108-D550-40E0-ABF4-A1EE82C08C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bc5936c7ce525cabba3d3781dafb9c27bfe596","datavalue":{"value":{"entity-type":"item","numeric-id":5111437,"id":"Q5111437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$F518300D-182A-4273-AAE6-0229F0054B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2411e155e78539089c75ed80338bd36759f3975e","datavalue":{"value":{"entity-type":"item","numeric-id":3587454,"id":"Q3587454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$3C15E1BB-2348-44DA-A820-39DE2405DA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2803ca579abe915c27350846bb0ef301e46e6070","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$9F0D2BF9-1087-4100-83B7-5E9312F2A8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a4ae576ec144b3aa257ce04d74b442a2bd5cd1d","datavalue":{"value":{"entity-type":"item","numeric-id":3653200,"id":"Q3653200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$76A6C0CB-8E14-4E24-9E94-1C95FE1E247F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$678A6000-8ADB-439A-827A-1CB7A1AF7CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280f9d0133a281d597f179c84ca1de9b9883b80a","datavalue":{"value":{"entity-type":"item","numeric-id":5357692,"id":"Q5357692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$4ABC5B7E-EA4E-499A-8C8B-C0E7913AD8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6480610be936d9924b2f05c0e8ebc7ee6e51658","datavalue":{"value":{"entity-type":"item","numeric-id":3623843,"id":"Q3623843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$9AA4F0B5-129A-4F36-98C6-DD11D9D6B6F6","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":"Q5009455$88D5C78C-4186-4A8F-8BD6-3760C85115A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$12579283-9BAD-4F47-9CC7-C10BF4E4A8B0","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":"Q5009455$DE7968C8-6C98-49A7-B312-BBFC39B328A5","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":"Q5009455$3250E8B2-51D4-4961-8DD9-0D5379E759EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3e611a36b291dd416ad91849bd17c2255fefb2","datavalue":{"value":{"entity-type":"item","numeric-id":2888487,"id":"Q2888487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$B31EBE22-6CC7-43D2-82DC-C5EF00B438EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad763e33fe47115b7aae8d11b49c91399b915876","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$017DFA32-D947-45CC-BCEE-3E7542CF81BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a72681512b62fb97da7c5297937dd9d4fde72f","datavalue":{"value":{"entity-type":"item","numeric-id":4236207,"id":"Q4236207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$8E1A9946-C1CC-4A75-A7A2-DC422C7A279B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06d718bcc840d3b83d43940d7f5ed1f727a0ac5","datavalue":{"value":{"entity-type":"item","numeric-id":2503333,"id":"Q2503333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$395CF96F-2FB8-4D5E-82A3-960442DD8B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$4CF0A804-F490-4597-BA5E-74BECCB887F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61101b857a33b8dcbb92a269a2c197509ad10645","datavalue":{"value":{"entity-type":"item","numeric-id":5900191,"id":"Q5900191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$D07808AA-B38E-4536-A30B-A703F35929B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f769751525180102f6c82505664f648df2032d85","datavalue":{"value":{"entity-type":"item","numeric-id":5145370,"id":"Q5145370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009455$3126F2CB-4105-432C-B27E-2F2B30F949BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5c0287399f52eb3f9a13db5fad5cbc7a5ec9a62","datavalue":{"value":"W2810752651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009455$6F4E3E7F-B123-4B8A-8F55-96C611DD8D4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6f896e2efb9432d87fce80676ae1246ffccf0ea","datavalue":{"value":{"text":"(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5009455$225D74DC-8B8E-47B6-910D-7ED2B83B8359","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a4d5b90dc49cb713743e9922cb26b1f9b772ed9","datavalue":{"value":"10.4230/LIPICS.CONCUR.2018.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009455$6D9FD1D9-3EC5-4FA3-8BA2-C58E2591D69A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a090d0858bb9e3172e45e71006dcee7d46a3a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a039843b4ad49e64a115d487e9186c8e11eaab92","datavalue":{"value":{"amount":"+0.773229718208313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5009455$004940DD-F69E-4325-862B-36111B3547F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c4bb22a3cdeac3e111a9b6acbd0d374be6a662","datavalue":{"value":{"entity-type":"item","numeric-id":4499313,"id":"Q4499313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e46f09889d01012b8bc0dce249126c3e1987a5","datavalue":{"value":{"amount":"+0.7685776352882385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5009455$BF00FDA8-AFF8-40D7-BC94-808475C096B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9969ad97f00fce387e4d4af6d7ed2c1fd48323c","datavalue":{"value":{"entity-type":"item","numeric-id":4580199,"id":"Q4580199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368ba528b56cdf2e983dd836f3a6130c27e67f2e","datavalue":{"value":{"amount":"+0.7505055665969849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5009455$A1CEE0C4-BC80-44C0-9872-1547FA97860D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a34fb33233288677cb4d36670355a53519645dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543f841533ce0c0e8eabcdeea86f82df09bb32a5","datavalue":{"value":{"amount":"+0.7504103779792786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5009455$DCE0CE00-4870-4C7A-B211-3EDC8AD8E561","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":"32fb2d8f4cbfc79b9a4e514082a21c6053c32226","datavalue":{"value":{"amount":"+0.7481023669242859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5009455$55E9144F-35F8-42CD-8742-551430165F29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"(Metric) bisimulation games and real-valued modal logics for coalgebras","badges":[]}}}}}