{"entities":{"Q2948557":{"pageid":2959277,"ns":120,"title":"Item:Q2948557","lastrevid":85142264,"modified":"2026-06-03T06:02:25Z","type":"item","id":"Q2948557","labels":{"en":{"language":"en","value":"Coalgebraic Trace Semantics via Forgetful Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487990"}},"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":"Q2948557$FF1227F3-0A1E-451E-AD0A-34B8DE8AC696","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c04b344f800d3416a88f45c86e6322e6d9db673e","datavalue":{"value":{"text":"Coalgebraic Trace Semantics via Forgetful Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2948557$FECFADE6-38C4-403D-8C47-4337574F2AA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b8cd777224928deebe7326b7b1044814f16873f","datavalue":{"value":"1459.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948557$1E7787D8-D98E-41EB-8718-0AFBDE706A93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25a123ddd02af8fdb72012c0cb529d998fec8903","datavalue":{"value":"10.1007/978-3-662-46678-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948557$1083A08A-4656-4693-AC29-C3AF1E1474F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948557$34404602-DA9C-4D3F-A8B1-9C0625458174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948557$A3DED20D-2CA0-41FE-B083-261F3B22E41A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948557$F5B55185-6966-473C-84EF-4765AD60786A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9cc25a3f929f7dc4cd6afff1695aa56ef6a0364","datavalue":{"value":{"time":"+2015-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2948557$BB400885-4389-440D-A7A5-135D8B8C4AE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c89f66e77d71192ea34ea6d006f4d0fa228f2e02","datavalue":{"value":"https://arxiv.org/abs/1611.05183","type":"string"},"datatype":"url"},"type":"statement","id":"Q2948557$39FC516F-A306-4D20-B328-7CFE6517DBC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948557$2322AB4F-BAC5-4F92-A92E-0304CCE388DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948557$C618EC97-DF91-4E75-8814-18B80E2FF77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948557$06396668-A6E9-44CC-B226-12C97E9F86B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948557$367AD5F7-1891-440E-A42F-ABBB5918A96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948557$4D3864B6-F714-4A8D-BDB1-8EB6E4B35C52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4454268312a32377a9f186067622544b80e157e1","datavalue":{"value":"6487990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948557$8F7CB437-A79A-4147-A8F7-E57E9C5DF457","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":"Q2948557$88522262-55FF-4E98-8DAF-C0E66FE48CF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f753551f1fa8d6ead775b7f982e956d8f40b9c0c","datavalue":{"value":"W813146449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948557$0C087F31-0F6E-4D5A-9F68-2BB400902C1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"799352b2f5a27c905ac68a00cb7fac9ea718e0b1","datavalue":{"value":{"entity-type":"item","numeric-id":2974794,"id":"Q2974794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948557$E3FB557A-B271-47B0-A7B9-92927FD8EC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1daa601c0a91bb76af3b8d0c5acf03e6857fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0679e1bb6a05876d0f2971e3af517cc7f3471ab2","datavalue":{"value":{"amount":"+0.9369641","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948557$D185A74F-A023-4216-94ED-81E071CC99CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea47ba968525800d4cb78ae54ec787bf8b92dd41","datavalue":{"value":{"entity-type":"item","numeric-id":4608676,"id":"Q4608676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfba40a4b990126d3f45f3e738897c10110759a","datavalue":{"value":{"amount":"+0.9099423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948557$AE6817E2-0385-41B5-BEC6-AD6426676E4A","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":"15b25bc627eac347792d1629fdc82e67bb5dffdc","datavalue":{"value":{"amount":"+0.9042114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948557$209AB295-7414-4336-9442-290A70BEA79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2880a7faed2b6bbdc8986bb38a264ba0817d0199","datavalue":{"value":{"entity-type":"item","numeric-id":5492823,"id":"Q5492823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"533375085b6f742038f663772626e74b4475c7f5","datavalue":{"value":{"amount":"+0.90043664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948557$6F98739E-6284-499E-AD2E-CF339ADDC126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fc185b534b7cfd9fe5bc72f57b21c8745ce915","datavalue":{"value":{"entity-type":"item","numeric-id":2873666,"id":"Q2873666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614dcccada02d4224cf48c81d4c4f41065a9c058","datavalue":{"value":{"amount":"+0.89697343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948557$98980EE2-BC82-4EF5-A801-5361D8037FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5d1c10184e87f84fea62c405c49013a7aa9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38685a7f0af27001b4a9b93bfc1f0481d2fece17","datavalue":{"value":{"amount":"+0.89632404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948557$6E7E706B-30A4-4721-9BB8-B166980CF5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662399e4cc13d497bbc41ccf76729bbdc43b66e0","datavalue":{"value":{"entity-type":"item","numeric-id":3090874,"id":"Q3090874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8e94b7fe43985b0f1711b857e98015728b9b4c","datavalue":{"value":{"amount":"+0.8955781","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948557$7B37E125-C3EC-41F2-B7FD-B835D10BF905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e11462c67f907669c47585f3bfc53eac22cef68","datavalue":{"value":{"entity-type":"item","numeric-id":3617726,"id":"Q3617726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5db166a5073ea69b1876ffd7c928b945bac5736","datavalue":{"value":{"amount":"+0.8937203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948557$1118F16B-62C6-4DB4-AAAD-59C54254951B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37516706d3a2297c3503889d5045bf58c6da84b","datavalue":{"value":{"entity-type":"item","numeric-id":3005989,"id":"Q3005989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f51310c2afc65f14cdb86c2f6d93348591f3f82","datavalue":{"value":{"amount":"+0.89301145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948557$9D32383B-5F11-4751-99E9-861241D37D07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic Trace Semantics via Forgetful Logics","badges":[]}}}}}