{"entities":{"Q1712599":{"pageid":1723340,"ns":120,"title":"Item:Q1712599","lastrevid":57497454,"modified":"2026-03-31T04:22:09Z","type":"item","id":"Q1712599","labels":{"en":{"language":"en","value":"Using coalgebras and the Giry monad for interpreting game logics -- a tutorial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7004964"}},"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":"Q1712599$EFA082CC-E74C-4E97-80A3-F219B69ADFBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"155811f508795d192d36b741339e9be9f49cc9db","datavalue":{"value":{"text":"Using coalgebras and the Giry monad for interpreting game logics -- a tutorial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1712599$88B68E23-E69D-43C8-AE92-88D87A03F626","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea43fc0bf3a51a01dc7cfbd747d185c71d998eca","datavalue":{"value":"1403.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712599$BCFC9313-7E00-4288-82A2-1E67522BB402","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":"Q1712599$E1B76F8A-56A2-40CC-A3D6-C6C3B094945F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eabcb9c93ef6c7df283793669954b3abc32ee68e","datavalue":{"value":{"entity-type":"item","numeric-id":249541,"id":"Q249541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$B96A9831-962A-4C95-A8CA-E61FD26DFA89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b285cd97435e35ecffc8737425d0c76ceadcbbab","datavalue":{"value":{"time":"+2019-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1712599$530918CD-21E9-4058-B6B4-8A04F23DC034","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"679a1412b6f95e5552ee3c6394bfa04511896897","datavalue":{"value":"https://arxiv.org/abs/1701.00280","type":"string"},"datatype":"url"},"type":"statement","id":"Q1712599$AB1786B4-7492-4087-AB48-30B901B3A952","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712599$35695BFA-E918-4F71-9483-62549634C34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712599$970833D9-424E-4C76-842B-9B69C84A52A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712599$6ABB3743-CD29-4441-BE4A-B0A702C0EBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712599$4ADC4F62-E662-4413-88E0-8CC6DF65A3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712599$DB3AAE4C-EDFE-4515-A89C-75A4B5409BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712599$AD19DB51-2231-4F47-AA81-AB4B473B56C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fefbe4f03eb07bfa91f999eaf2551caa96ffb86a","datavalue":{"value":"7004964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712599$A4EF868D-FE8B-442F-9635-15E2C7228DA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712599$94E510D9-5B49-41BB-BC9B-E9CE7C0DB1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712599$BB7374AF-B992-4D21-8078-1AAE706B2AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712599$B29F97DC-5D49-41D5-BE55-99BFA9E0EA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"899842a87a829a1c519fc1dea88abcec00117b62","datavalue":{"value":"Giry monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712599$D15B64B5-6B84-4762-ADAF-1C11657FA813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90606f24f78628f2b27ebf63363b0ca90124fd2c","datavalue":{"value":"upper closed monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712599$D643DE64-1881-40B9-BADF-79CB2D5197E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04058e2996509453d16d2c6aad017b24e0045326","datavalue":{"value":"composition of monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712599$803FD242-D7FA-4DC2-953A-0E500F2412F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7202612df83451fb1633fd7879c8589baacbb0","datavalue":{"value":"game logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712599$BDA85BE3-2623-40FB-9E29-D3B871E50567","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":"Q1712599$0083C9C6-F1A2-46AD-B709-D4FF8DBE9FE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb87b8e94a0d64691c077d5a44d021f3d55c0727","datavalue":{"value":"W3099652317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712599$7C4A2B28-FC47-4E8F-96C6-5CAEBCAEFB8B","rank":"normal"}],"P223":[{"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":"Q1712599$C7AC18FE-611C-4DF0-820A-DA7BB0090A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b900410e91f23fef7bb5e8316045ca7cf4c19a2d","datavalue":{"value":{"entity-type":"item","numeric-id":3457680,"id":"Q3457680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$219FFD8C-3DE5-43A3-9FB7-14D09F328D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4a6986a8f6be10677784017c508923e08e34ae","datavalue":{"value":{"entity-type":"item","numeric-id":406467,"id":"Q406467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$1E4B3C76-E63D-468B-9067-FD7031B7DA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ccf23eaa54b3acb1d3a89fe287608d328f66c7","datavalue":{"value":{"entity-type":"item","numeric-id":516033,"id":"Q516033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$3CF3D0AC-BFEC-4095-9A41-7F15EB6BEEB2","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":"Q1712599$43947314-5E1C-4756-A096-A62EF7FF172A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e1046ecc8eaf3a278f7d6684a7e9a795ec4d9e","datavalue":{"value":{"entity-type":"item","numeric-id":3002401,"id":"Q3002401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$5BA030DC-4E7B-4AC7-922E-CFAC18276CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60392b05098be1982939f0bfb6e44f0cd7ec57e9","datavalue":{"value":{"entity-type":"item","numeric-id":1023291,"id":"Q1023291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$1F1C3BA2-DCCE-45F4-9188-578F23BAC146","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":"Q1712599$BAD4F9EC-6190-43B8-8776-38BE658C4662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e85ea0f7d116d20efeb8ee4f59cd2d5666d577d","datavalue":{"value":{"entity-type":"item","numeric-id":549668,"id":"Q549668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$8DAA5F19-5CA3-47FD-ABB6-878D5E744829","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":"Q1712599$EEA8E5BE-64B6-456B-94A9-1F9C0EAABF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5045740bd57765d3dbc2538788e02ec3e8dc04a","datavalue":{"value":{"entity-type":"item","numeric-id":4719350,"id":"Q4719350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$C6FF127D-B6C4-4ACE-8379-E7B044BFE1DC","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":"Q1712599$2F5EB23A-0615-4C46-B817-6FFB98B4C6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b53710a99f5a3080f6a602b100ba66d0a10e73bf","datavalue":{"value":{"entity-type":"item","numeric-id":4449236,"id":"Q4449236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$59C64474-3202-4C98-A232-D28755EF06FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$D2B2249B-A957-44D7-B440-1F1990D9AC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6df23c941ce47bb225f93d834bb5c870e3e7ae","datavalue":{"value":{"entity-type":"item","numeric-id":1425186,"id":"Q1425186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$CD28F6F3-6223-46BC-95CD-A8B8A0501FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609bc0970c45c2e9ff42bab45248cf6ceb244c3f","datavalue":{"value":{"entity-type":"item","numeric-id":1425187,"id":"Q1425187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$EB904F6B-B3AD-4CF3-8FB4-430D4EC9BADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568d2eb823b4c9e9e80096c7fca67b4b9501a726","datavalue":{"value":{"entity-type":"item","numeric-id":3056298,"id":"Q3056298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$8EC5546B-842A-476C-ADDC-5D5D480CABB9","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":"Q1712599$8D16E992-CE7D-41F6-A75A-5C268D666FBB","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":"Q1712599$44D817FB-D7AA-48DF-8561-57B658289F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b40068857ad96f49a366f0223730d50ae0ddead","datavalue":{"value":{"entity-type":"item","numeric-id":3225737,"id":"Q3225737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$70DA8236-34B5-4F31-889D-D1E3E7E06A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712599$050AA0B4-FC58-4BA9-A84F-4A03B40D784C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f15c3ed23e55fa45bd8bd1c0e37b62812a2b71f5","datavalue":{"value":"10.1007/S11704-016-6155-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712599$534BC8C8-43FA-477C-A3B1-F0EDAC07A33E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0551b67b13072d28730c735a4eccadb8803fe2f","datavalue":{"value":{"entity-type":"item","numeric-id":3460615,"id":"Q3460615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9accbc7edd27ca761338ce0f67e085ada9450211","datavalue":{"value":{"amount":"+0.7914280295372009","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":"Q1712599$C3C095AB-CB75-40C7-B6D6-686E217FA6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa61de9746c03f9458e5fbccb5f90dd4b50505df","datavalue":{"value":{"entity-type":"item","numeric-id":516033,"id":"Q516033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f651a1eaee2e0d346b270590f17fc65e7b03d9","datavalue":{"value":{"amount":"+0.7777516841888428","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":"Q1712599$4B9D664B-D5E4-408F-914C-75E1CA8CC92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4438d1ff36e97ff47ec15974ffaef9f418f8650","datavalue":{"value":{"entity-type":"item","numeric-id":3002401,"id":"Q3002401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25192f53356da1dbdf7b103f202ccf79d08a542b","datavalue":{"value":{"amount":"+0.7583667635917664","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":"Q1712599$9D3C429B-B911-49B2-BB42-4E67B4108AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c9d16c30e0f12c8ea8b505518d778ae6d141a6","datavalue":{"value":{"entity-type":"item","numeric-id":3060190,"id":"Q3060190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2069e443dfc7f89f99934bd2ef89f96f59ea2205","datavalue":{"value":{"amount":"+0.7512860894203186","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":"Q1712599$3AF87144-857E-40FA-90E7-6C6FBC11E161","rank":"normal"},{"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":"dac6bf53a7255d0507d9a3a8c84a4cd979b1ba71","datavalue":{"value":{"amount":"+0.7282006144523621","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":"Q1712599$4FFA0FE3-F9F0-4C43-BBEF-2CF9F14F0F5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1712599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1712599"}}}}}