{"entities":{"Q4589615":{"pageid":6619200,"ns":120,"title":"Item:Q4589615","lastrevid":58281249,"modified":"2026-04-04T13:31:54Z","type":"item","id":"Q4589615","labels":{"en":{"language":"en","value":"From branching to linear time, coalgebraically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6805752"}},"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":"Q4589615$F2A8164F-CAB2-474D-AA0D-54CBE13CFB39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e1db88f42a88b8e53624a5eb127bbeb052143c3","datavalue":{"value":{"text":"From Branching to Linear Time, Coalgebraically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589615$D4F16F3D-D452-445C-BA28-01010314C1BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"702175cc043b0dd868400b69076d4ae565d6031c","datavalue":{"value":"1429.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589615$D5655374-3771-442E-82C0-E89F9A406EE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7e8920ffe27f35cc1dcbf42d2e66624ade6c34e","datavalue":{"value":"10.3233/FI-2017-1474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589615$C78A3B61-FA30-40B0-8A09-094AD3979F63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589615$764E1323-7DBC-47DB-80E9-9EE4E094090E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c851dddc18687fa1af98fb94fafafdff8d946b43","datavalue":{"value":{"time":"+2017-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589615$12B8E223-6CF1-4427-9456-A8AD1336F477","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"369cd397cb46f388045e0a23a1e7429ec3287ad6","datavalue":{"value":"https://arxiv.org/abs/1309.0891","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589615$B947C19B-693F-4594-A0D8-89E1A43A848A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589615$D569C3CA-6DBE-477D-88EF-DA299804D29E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cc8f963d0bb1ca113ac6bb18a00880e002eae09","datavalue":{"value":"6805752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589615$D2550517-1907-4CA0-9260-DCF358581394","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589615$A6F57A05-853D-4D1E-B929-A16707BD5D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589615$2D18227E-D860-4AA2-B182-7A7286CE2AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49916021edccb418deb9b5c9398917147892e7c","datavalue":{"value":"trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589615$301D5EF2-22B9-421B-B185-191E7351F3C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589615$301216A5-C669-46C1-BFC2-2C9BAF473882","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":"Q4589615$90CF99A9-9321-4474-A183-BE1CE10E079F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8630cfd2cba40d4767d7c8c463638a4b9618646e","datavalue":{"value":"W2013127440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589615$5EA37F51-39EC-465B-A313-5DEC6F3C7301","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741a91472e11c8c4d166a9c77592a0ddba1508e7","datavalue":{"value":{"entity-type":"item","numeric-id":4992895,"id":"Q4992895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3867da71cbfce52b08b23ae91130a20f28ea5f","datavalue":{"value":{"amount":"+0.9985689520835876","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":"Q4589615$25D9D7DB-A098-4E71-8665-B4901F3C13F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7327cc9917572c30f723c8f6e8f35eab701268d","datavalue":{"value":{"entity-type":"item","numeric-id":5410688,"id":"Q5410688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983d42e41dca5bb3be691ea2d4c8cdf5caea80fc","datavalue":{"value":{"amount":"+0.8982236385345459","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":"Q4589615$B5C36647-DD7D-40DB-B70B-2DDAD96AA1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee23c0fddcfc214e8622d76ce20bf41db3c673e","datavalue":{"value":{"entity-type":"item","numeric-id":5275344,"id":"Q5275344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e87ebe336788beec3fc6615a679e0073e466dc9","datavalue":{"value":{"amount":"+0.8106303811073303","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":"Q4589615$D4646154-DAF1-48F2-8E48-1CCFF188B0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10c8f423222f332e5a5812a8b0bca0964da141e","datavalue":{"value":{"entity-type":"item","numeric-id":3184736,"id":"Q3184736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9764e22da42e82ebcf073f86ea11123d1255752f","datavalue":{"value":{"amount":"+0.7949892282485962","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":"Q4589615$B6408062-E6C6-4D2D-8A6A-1F212A8DEADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f24a9e9ed39de44bdcc7248ea34b175533ad328","datavalue":{"value":{"entity-type":"item","numeric-id":4580201,"id":"Q4580201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4588f470efe96f60069dc926c3616bf38744e1d6","datavalue":{"value":{"amount":"+0.7813812494277954","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":"Q4589615$789A83D7-F20A-4AB8-AAB4-E820BB728D24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589615"}}}}}