{"entities":{"Q2257982":{"pageid":2268725,"ns":120,"title":"Item:Q2257982","lastrevid":52214201,"modified":"2026-01-21T04:22:42Z","type":"item","id":"Q2257982","labels":{"en":{"language":"en","value":"Revisiting causality, coalgebraically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6410115"}},"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":"Q2257982$C883544D-08A8-4203-94B1-05BE2077FA1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e036e931953c4a1f8dac80b79d1c88115081718d","datavalue":{"value":{"text":"Revisiting causality, coalgebraically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2257982$9DC1E7CC-CDA5-42F2-B107-61C085BC34DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a3597d94bdc0afb7468552237153b0f3b6590fa","datavalue":{"value":"1307.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257982$90A51903-39A0-41BB-9153-BCBBFBE55D1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29004be5eb03a1c906f7f72116a0404010c1eee6","datavalue":{"value":{"entity-type":"item","numeric-id":860880,"id":"Q860880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$32E333F0-68E8-4131-BC9F-415A8C369423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$ADCD215E-2521-4772-991C-E85876416DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9153d687468caa848dd7d7aae8cfeaa8401f9f5e","datavalue":{"value":{"entity-type":"item","numeric-id":530840,"id":"Q530840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$C98A65CF-4C19-4A8C-B255-5D16F9A1BE28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$09ACA877-DAD9-4508-A172-EA5B3E233A47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c1f34cd617859aff4fbe92f8216861e04e26244","datavalue":{"value":{"time":"+2015-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2257982$A1E04E86-0048-446A-9DFC-5A84790F0C2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f82a0c6d44e03ec7174be04de28f007b52738a1","datavalue":{"value":"http://hdl.handle.net/11568/687665","type":"string"},"datatype":"url"},"type":"statement","id":"Q2257982$C8A22AD8-DD3A-4D8C-B770-6251F92D9281","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257982$36CCACBD-5E6D-45EF-AF80-EDA11CE83F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257982$4CF096C4-446C-49DE-8F1F-8ACEAE345CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257982$368CC01A-B4E6-49C4-A4EF-DEB64E1C7930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257982$D2E0F9E6-2897-4D7F-B2D8-36C55F9E15A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f418011bba3ce7b2dc49922cdf04290a3aa2730","datavalue":{"value":"6410115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257982$FD90500C-132B-4131-A744-72359AC97456","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9abe1de09947063e74c3da3921843cae6123732","datavalue":{"value":"causal semantics of concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257982$5180F034-3D4D-49A4-A838-02F3655D6311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a10294805fe20f690c0ecdc86089bc948300f99","datavalue":{"value":"events","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257982$B41290EF-780C-4206-9EF6-E4179CDC3C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de91ebc8392ab800f65878bcd2d995fcbc115f80","datavalue":{"value":"coalgebra over a presheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257982$3E97E8EE-8DF8-4149-9D57-61E1B6472A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8385c5bbdaf41d08c8677d6103c896ddc5f434","datavalue":{"value":"category of finite posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257982$F13076A9-6200-45D8-B0A8-27E4F7DF6873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91f95b30892a255369c74d426d6c9942830ae85e","datavalue":{"value":"endofunctor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257982$750894E5-A361-4560-8DC4-04C2C7F6BAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0357d89ffd0cce402299b18de19cbc3c09f895b7","datavalue":{"value":"allocation operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257982$369F77A0-620E-4D55-838D-63C8DC92642E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67488e2e7c1d63a7a52d7924e095af5edf6b2577","datavalue":{"value":"category of well-behaved coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257982$B3D538FA-AC47-4D69-9DA3-76B6A805107A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257982$26E7E6AA-A233-4D81-BA0E-9D1AC47570B6","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":"Q2257982$C1D77268-4864-4E6C-9FC8-2B094EEC50C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34497ed5a2fcd90395f0061847544310a48c502e","datavalue":{"value":"W1983914828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257982$4E74AC7C-E301-4AAF-A016-F86FFD289D31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1dc290df059ff29926fef008c9e1053408a1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4680360,"id":"Q4680360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$6542715A-79D4-4A64-B072-AB028015E59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532219dd4d3cb9099cc3b0175993615877764e53","datavalue":{"value":{"entity-type":"item","numeric-id":2892759,"id":"Q2892759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$9F21CFF9-955D-49F4-88FD-7201598832CB","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":"Q2257982$6DA57DAE-5813-429F-A161-C6FE2FC5CCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3d0f7768d520b32ccf996a8034d8940ed7e963","datavalue":{"value":{"entity-type":"item","numeric-id":1130165,"id":"Q1130165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$4461521C-81B1-4D9D-A09A-E21AE5B78AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a2206cb30f0e10bcec9269e3f48872fbda38eb","datavalue":{"value":{"entity-type":"item","numeric-id":1603689,"id":"Q1603689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$78FB71AB-7EF8-43AE-9F0F-ED5207C6FDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f829e937e53bde24a395ad933c2db339937707fe","datavalue":{"value":{"entity-type":"item","numeric-id":598191,"id":"Q598191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$2E3F3ABA-0F28-4C7D-8D3D-9337FD8EDAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff841b075d9dfae93616db2c1cd246ebf5566b57","datavalue":{"value":{"entity-type":"item","numeric-id":2919450,"id":"Q2919450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$97E573C3-E495-4EF4-BCB9-A2A254B14BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26616eabbae6a2611835280d295dcf4e427223ff","datavalue":{"value":{"entity-type":"item","numeric-id":618165,"id":"Q618165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$25B406A1-1A31-4E12-8541-D80A0CD6D8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e28e3cd9653624a5ce4e60ec41031cd524ac1c7","datavalue":{"value":{"entity-type":"item","numeric-id":1770362,"id":"Q1770362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$703551C4-C8D1-42C0-8C6D-C143A72440CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287df1ea431675163738285b883b42a2e03d7746","datavalue":{"value":{"entity-type":"item","numeric-id":853745,"id":"Q853745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$7D48F587-B536-4F01-9000-E0EE5D90CC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$F788C1C6-168F-4B42-817E-AA7100AD9F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3979bafe4eb9f717a5fb20fe1d7c87e4416fdbc8","datavalue":{"value":{"entity-type":"item","numeric-id":5048942,"id":"Q5048942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$5D5F5794-F64A-42FB-8B68-C8CF34D45214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85298196baa7bff5e9e5da052234d6e7237e0009","datavalue":{"value":{"entity-type":"item","numeric-id":2566037,"id":"Q2566037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$A03C9EC7-5681-4905-BCBC-64D05CA6A724","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":"Q2257982$DED124B3-1204-43BC-BC6F-0515D9F9EDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e8f3a5a320336c6de7fafe54e5ec000b5382ee","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$3D73F708-4D02-478F-BB04-FB7427D515ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25af9d3ed5cc84126441c8d73f2c24b5264dfb9","datavalue":{"value":{"entity-type":"item","numeric-id":4270080,"id":"Q4270080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$FF6BAACD-63DE-465F-B014-1FA4C8E0DC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ec7d8fe15d36eb40752b72a6a0baaf7999a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4256309,"id":"Q4256309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257982$CC3DAD9E-44E3-4EAA-A775-C59C9546F3C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab048db50bf9622dbe62c610a8061203fec09146","datavalue":{"value":"10.1007/S00236-014-0207-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257982$603E6769-00AF-4708-90E5-A6E6913AB317","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2158357a9b97b4bd2342a55d7a9b58bf03eaf28","datavalue":{"value":{"entity-type":"item","numeric-id":890619,"id":"Q890619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014c9289deaccb3ab1d44e60f1c0708af50c55ea","datavalue":{"value":{"amount":"+0.8795923590660095","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":"Q2257982$25E526C5-0EB3-4137-AF18-5AA4C29C5F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f9cd7e188e64f740b3e3741a9cecae5f5853d3","datavalue":{"value":{"entity-type":"item","numeric-id":3460861,"id":"Q3460861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6bba713d5098110c192b33431a4a800289401db","datavalue":{"value":{"amount":"+0.8083197474479675","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":"Q2257982$CEB951AA-2D82-43C9-B0EB-77AB5ADEAEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36847495d7c129a370e7703a4cb37a9dcc0895da","datavalue":{"value":{"entity-type":"item","numeric-id":2465026,"id":"Q2465026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cb8e288a67cc9f387057e7089139b203a92ecd","datavalue":{"value":{"amount":"+0.7507660388946533","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":"Q2257982$4E580DC0-F594-48FA-B467-1CB868DB2E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e11245a08e03671c3cfe26907a1ec38ab8d23b","datavalue":{"value":{"entity-type":"item","numeric-id":1194329,"id":"Q1194329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ee2ae3ed0ec50a89e3a7d93164925d7e1b9b63","datavalue":{"value":{"amount":"+0.7498023509979248","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":"Q2257982$9B2BB9D2-FE37-4649-8031-A28B0C2EC83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68117e429f8680c192e2df5ca782287efbebf7f9","datavalue":{"value":{"entity-type":"item","numeric-id":4256311,"id":"Q4256311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e82e434745d22c35873c6ad0ef2bcae5bc96b7","datavalue":{"value":{"amount":"+0.7497354745864868","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":"Q2257982$74883767-3F49-4547-BA9B-F960D39CB89D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2257982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2257982"}}}}}