{"entities":{"Q2941763":{"pageid":2952483,"ns":120,"title":"Item:Q2941763","lastrevid":58059321,"modified":"2026-04-03T15:42:29Z","type":"item","id":"Q2941763","labels":{"en":{"language":"en","value":"Weak bisimulation for coalgebras over order enriched monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6475350"}},"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":"Q2941763$9CCEE0C7-FD10-4CB4-A562-AB17A01F49C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c423d5ddb267d798ac43757cdecd2cff0c0b06de","datavalue":{"value":{"text":"Weak bisimulation for coalgebras over order enriched monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941763$400BCFF6-7834-4944-BAB0-420BB3CA12F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f42195e0fcf98997187ec285331e8b558b3476b","datavalue":{"value":"1391.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941763$0D50BD5F-2C13-4A7B-B004-5C210BB3C37C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b17c47816042a7462ecc35774d6e94379b92cc4b","datavalue":{"value":"10.2168/LMCS-11(2:14)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941763$02E8DCF3-17A4-47DE-8015-951D120E0F1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09e53d9c503aecdbbddb8e33b24fad81735f2bbc","datavalue":{"value":{"entity-type":"item","numeric-id":535112,"id":"Q535112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941763$87937BFC-9E88-4942-8B87-21E6ED032E22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941763$280A0EF9-C24B-403F-93AC-DCFFE2DE40DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58a31ea2ce845203d6a39244a5f91d2bbfe1b016","datavalue":{"value":{"time":"+2015-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941763$8EA33C9B-7B14-44A9-B17E-8989B41F3A75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb20f6f8e8c6cc74343f527729eee29fd5e90fde","datavalue":{"value":"https://arxiv.org/abs/1310.3656","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941763$A328A0E6-5A7A-4D45-93A2-A1B31E46D100","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941763$B9972703-13E1-4908-A9A9-8F142EC074F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941763$36B328F8-9579-488C-B3BC-BC9B261116AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941763$F057935E-59E1-4A1F-9DD6-B32EAEC301DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77c23bb573ff945d7db0016c8406893ca6369f26","datavalue":{"value":"6475350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941763$72454977-446B-4740-A726-15BDA1AA1C08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941763$6D55E0CC-03F5-4F97-92D6-B97436AB8E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941763$0ADF8AC6-22C9-4514-93EA-A69E1679C6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941763$3E24CEB5-F6B2-4960-AD8D-4BB8BF065FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941763$47D64025-B2E1-4A94-8AC0-74BD84A4DC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941763$F3937ADB-1BEF-446F-8E63-7087A31D082E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6624b57af1b3ab923090084866851133add36539","datavalue":{"value":"ordered saturation monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941763$C5F20679-2C6F-46C4-9237-A1D6F9957DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941763$795FF479-E71F-4A93-BD26-348A78559372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941763$532CD2F9-AAEF-4805-89BD-310A373B1AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1ffb6106e18af64cda150a9dcfea5010706779","datavalue":{"value":"internal transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941763$A89F3022-45B4-4C4C-8B39-D49CCCF58482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d4f6ebce75b877a5994ca3d5ce6b56fa1a054f","datavalue":{"value":"Kleisli algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941763$50735737-3D2A-4A82-899D-676EC37A00E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a517247fd0d1862e8f6e6b5d9fe6d9f3580b42c","datavalue":{"value":"silent transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941763$0B1C9927-51C4-4639-B1BF-1172435034C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941763$10535500-44E7-4FA5-B8C4-48029BB912C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941763$A94A5C92-FE8A-4A65-95DE-D4FB059A7E08","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":"Q2941763$908AC4AA-4DFE-43D2-98D3-55D087E8AD01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f47266fe260f834225b313f4a4c56726d224af0","datavalue":{"value":"W2166514831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941763$966439FF-43A7-4AAD-BCBB-0668FB984CD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56437bc5a9701315e51acd30cf500af1f18cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2915163,"id":"Q2915163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe60819d063ab957e2f37f28c1bf983ed4e748d","datavalue":{"value":{"amount":"+0.8992972373962402","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":"Q2941763$587CCEFA-454A-4A24-9E80-8225D4FEE324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d2f6b473e28655155528c8704a8ca172d99e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5167838,"id":"Q5167838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb9df24f5bc36f913c7f4df01b8e1fef13d9e28","datavalue":{"value":{"amount":"+0.8835133910179138","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":"Q2941763$FB7C33D4-590F-443B-AB9C-A8F7F203C524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3081ac765471a63258f0ed2e84423eec00a9615b","datavalue":{"value":{"entity-type":"item","numeric-id":2849887,"id":"Q2849887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89878beeec69899473152027951efb508667c76a","datavalue":{"value":{"amount":"+0.8552387952804565","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":"Q2941763$A6AF5D8F-DFF0-4F93-8BD7-30D7E0F168A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc74ecc300e3a7ece0786330ba97a820880d18de","datavalue":{"value":{"entity-type":"item","numeric-id":2842561,"id":"Q2842561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689be0c0a175d1e1499a16fea31b822ea7ab958f","datavalue":{"value":{"amount":"+0.8436278104782104","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":"Q2941763$EF87D54B-9FDC-409E-9B7B-8F1F090CF479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ae6a9775afd27d41cdfeaf61344334bda64b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4621137,"id":"Q4621137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e85a42e0719337b3853737de9cc32f7942706b","datavalue":{"value":{"amount":"+0.838435173034668","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":"Q2941763$E95FA67D-948F-47BB-AE75-2D81D5236A14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2941763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2941763"}}}}}