{"entities":{"Q4585069":{"pageid":6614654,"ns":120,"title":"Item:Q4585069","lastrevid":89560076,"modified":"2026-06-04T17:40:51Z","type":"item","id":"Q4585069","labels":{"en":{"language":"en","value":"Coalgebraic infinite traces and Kleisli simulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932683"}},"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":"Q4585069$80848DB9-C3AD-4373-B1E4-DBCF3F0B24C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ddddeaf99a509e51f0a1522789227c7261ab4ca","datavalue":{"value":"10.23638/LMCS-14(3:15)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585069$1D1E4F24-8FE1-495B-9EED-4E331426E6DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"400653cd5902e3fb87732c5c5f26fe441314ea48","datavalue":{"value":{"entity-type":"item","numeric-id":729814,"id":"Q729814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$79E9F297-0A1F-4293-A581-E4AAA009F2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$4762155A-2E99-49CB-B9AA-541EA18CB547","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95251e74dfd058313c94d01023632403bcdd7ae4","datavalue":{"value":{"time":"+2018-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4585069$62243026-7E64-43DC-A9A2-F2EB117195C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c59f93259a4cc2853e3f78491ddb1b080e02bcb","datavalue":{"value":"https://arxiv.org/abs/1505.06819","type":"string"},"datatype":"url"},"type":"statement","id":"Q4585069$991A9BF3-A9DF-469D-A52E-A4EE8F4C017F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585069$D7348E97-E787-486C-8392-C5018C142BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585069$F43C960E-BF86-4183-92DA-7070EF351213","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"716fc9d2fb6ac3de42883444b2791d137ca54c32","datavalue":{"value":"6932683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585069$78270D53-43D9-46CC-AE00-2F3AF33A1C11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585069$5FB3C78C-A4B4-48D6-B852-F5891C1A9847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585069$8CE04D7C-FFF6-4B67-BD56-B9ACC5A45D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585069$215795C8-F619-4BE1-8F7F-259E4FED33C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585069$45C1FFE1-49EC-416F-A73F-3D715FA9B56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73933cdd296ec0b305da46d595df556468b6724","datavalue":{"value":"infinite trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q4585069$C9DFBF21-9836-4105-8FF6-9550FD46E3E0","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":"Q4585069$E6D8B7CC-8F30-4927-B9CE-5B54861D4757","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69be46fdf8ab590abfa89398d0ffe65704fc55b1","datavalue":{"value":{"entity-type":"item","numeric-id":1850092,"id":"Q1850092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$3920C1F3-9186-4EFF-A209-68804E65C89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a394bb99bb34a387dc51757912aeb250e2e2b93b","datavalue":{"value":{"entity-type":"item","numeric-id":4943605,"id":"Q4943605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$48753A3B-67D4-4331-A19C-3981BABE5864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69870d0e01af12e6cce5f02dfec8095aa44e8838","datavalue":{"value":{"entity-type":"item","numeric-id":1134211,"id":"Q1134211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$B8EB38D0-6C5A-41A0-A368-6A65BB3A54B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e8e9da7120d2d65aaceca566ccf87b4a46bdbd","datavalue":{"value":{"entity-type":"item","numeric-id":1405789,"id":"Q1405789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$64ACC7C2-B036-4180-A752-BA149FF6F16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$44DC2E66-05C0-4A23-B64D-F2036803C031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0f7f73f6d9dc767a83384ac84831a61bd07750","datavalue":{"value":{"entity-type":"item","numeric-id":890618,"id":"Q890618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$528D9755-0D6C-46E4-85F9-B8E2433A1160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$A9C9345C-4CEF-4227-A3A5-829AFB87F147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cd44f601ba703e6f92fda95d964258e3710c38","datavalue":{"value":{"entity-type":"item","numeric-id":2919451,"id":"Q2919451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$E9C7C4BB-9904-44B6-93BB-430F5FDDDFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121646593fd2b72f32fe1aeb870f4032b2958cbc","datavalue":{"value":{"entity-type":"item","numeric-id":5636797,"id":"Q5636797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$6070C206-4435-4D6A-BE0F-7AE1494FA2E6","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":"Q4585069$46729542-DFC0-4557-BAFF-1C3EBE1428E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad736adcd55bbf0ec8541ba51328d0f17e2cbc","datavalue":{"value":{"entity-type":"item","numeric-id":5756612,"id":"Q5756612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$1AEF574F-AA84-442D-8B0A-F435B60C87C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e5bd214c630759d812c163b68d18a9d4ccc0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3584948,"id":"Q3584948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$8D0563EE-59B5-40E8-9AD9-FEF5CF71E71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$C47C8186-D8D2-4336-B7DA-AC2D370E0888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4b392a083ae5ce978518afd88a9b7efc82696","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$E3C6A8E8-2D8F-423B-9B70-82DAF0760096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"646653f65fac9c4cb44cd008cf9f56b023753571","datavalue":{"value":{"entity-type":"item","numeric-id":2914679,"id":"Q2914679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$7A076A98-CC25-47EB-9270-354234A35212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$E2D8EE51-52CA-4913-854B-EEC86855328E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d33770974a3c359a6042866b7bae593340956b","datavalue":{"value":{"entity-type":"item","numeric-id":2871468,"id":"Q2871468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$708EDABA-B310-4E26-BF00-5EA26C2BF044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$0B02CDBE-EBD4-46C9-AB3C-1316A3566E4A","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":"Q4585069$438235A5-89E4-4206-A018-C2D1EE37757C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eae4e379dcc2959a97cb8f2f2dceb642932a910","datavalue":{"value":{"entity-type":"item","numeric-id":5890054,"id":"Q5890054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$8D10C473-A9D8-4702-A3DE-745F1A124753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48df1c393c8f3c965ae9348185bda8d441997e8f","datavalue":{"value":{"entity-type":"item","numeric-id":4499221,"id":"Q4499221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$A0BD0F44-9448-4508-BF8E-E2417685D94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f6da33156d7bbb3ac6bef947452707f394a43e","datavalue":{"value":{"entity-type":"item","numeric-id":3630218,"id":"Q3630218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$FAC4A9DC-2CAD-4E01-82EE-2C560391AD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3c7b473054fde58943d211bbfb3dd047580027f","datavalue":{"value":{"entity-type":"item","numeric-id":3190135,"id":"Q3190135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$2AECC66A-282E-4593-A3A4-DF44BA4BAF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9918e2b26840847dcbe04317f79eb079e28cd161","datavalue":{"value":{"entity-type":"item","numeric-id":5275359,"id":"Q5275359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585069$5175F7A1-26EA-4E23-AE84-662E7E79900E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62f5f82723b47aa145f7ebb4888336f4c6c2925","datavalue":{"value":{"entity-type":"item","numeric-id":5275359,"id":"Q5275359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb13d0c5d4c6f635cc5bb66057c780d9072e549e","datavalue":{"value":{"amount":"+0.994571328163147","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":"Q4585069$DE940370-9F29-4EE2-B7BA-09D459D384BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d20e84dbc175275f547b8e22c89772fad3faf5a","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78535e520c0163e6c82ff468b23c0c5e9ff2c035","datavalue":{"value":{"amount":"+0.7917221784591675","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":"Q4585069$69142CDA-F906-42AD-AED4-DFF65642FED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"690ccc2866457a133847e39b71902a74e8a290b2","datavalue":{"value":{"entity-type":"item","numeric-id":2863893,"id":"Q2863893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb330122452156db2df61871d68421da2448239a","datavalue":{"value":{"amount":"+0.7906572818756104","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":"Q4585069$A2C8DD37-E91C-4486-BC27-E1E86F3D5DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45758877ff6b9fbd5a5dc26b561b3177d4ffdc1","datavalue":{"value":{"entity-type":"item","numeric-id":2871468,"id":"Q2871468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90031ec97e1a974f0c8c371ca4a403d533b51174","datavalue":{"value":{"amount":"+0.7827850580215454","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":"Q4585069$8ECB3E69-48BC-474A-B16F-C54D56FC72F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbc7b01d55bd2a3dbeff83db71249960c7daf3c","datavalue":{"value":{"entity-type":"item","numeric-id":5756612,"id":"Q5756612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09e18ec8b636510e9a5e149de4c16e7b9674c39","datavalue":{"value":{"amount":"+0.7730540037155151","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":"Q4585069$11182AC7-27CE-4987-9EA6-3689318B703D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic infinite traces and Kleisli simulations","badges":[]}}}}}