{"entities":{"Q3178274":{"pageid":3188983,"ns":120,"title":"Item:Q3178274","lastrevid":86389826,"modified":"2026-06-03T19:55:17Z","type":"item","id":"Q3178274","labels":{"en":{"language":"en","value":"Final semantics for decorated traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602832"}},"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":"Q3178274$F6D29229-099C-4DAD-9C4E-0FCCF06A7DCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a81dc7410a079394aa03d13e9dc899b435f23bc","datavalue":{"value":{"text":"Final Semantics for Decorated Traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178274$C5D2C909-5CFC-42C7-B55E-489D981FB4E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64a972757fe2e51688781270262174563abae264","datavalue":{"value":"1342.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178274$B21E5304-54E3-4E45-AAFD-A9D15E0B4F8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$2D0BD3B6-A130-4A83-8E8A-C9DB2EFCA5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$C14E7587-2513-490C-978D-57B9179D45C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb6c682ea1d2955b0fc3bf41511e38774bc37602","datavalue":{"value":{"entity-type":"item","numeric-id":2043808,"id":"Q2043808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$6033BD98-41BD-4F28-8F6E-6A4FC5B389F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$5B92A3C8-70C4-4636-878B-7F4CB46D2FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$D380D945-DC87-4253-A776-23C4C2AA4EDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$925F2B19-2FC0-4F3A-8A8C-2F0E94753D99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3178274$B211865D-075D-4367-BCDB-6B7BC9928480","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178274$E74EA6D1-1B0F-4D82-818E-C7C3621733A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178274$A6B21513-6FC2-4715-B476-0429F28E0375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178274$4BD03031-A77F-4F72-9FCD-58100FD76ADD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92e4fb50f3e7bcb09c30aed505d774c0a13a75d2","datavalue":{"value":"6602832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178274$31ADC2D2-3945-4009-B683-63A411B24124","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178274$E4973764-610A-497E-839E-C7437F87D649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb9dc3bf25fa388a07c6e7ec0dbd6ec03e3294d3","datavalue":{"value":"decorated traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178274$F3BAF481-5EF2-4B2E-8B22-9CBD2CDD9E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178274$F98F2534-BE0C-4A49-9EE1-1C81F1F3C660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b064e334776030cf89bec0681ec9378af9553686","datavalue":{"value":"final Moore automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178274$CAC50AF4-BDC9-43FE-8ECA-3B6C0762D990","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$C10CEFF1-C6CB-4A75-B338-B0D36F2EB23B","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":"Q3178274$C4A7F2DB-57D1-4DC9-8830-555A84E77608","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6a70196dbd22d2f4bd5e129484a667ad622adb3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.08.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178274$2CCF1E86-494B-4CC1-B3EB-75F4E7884906","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"239692e719a31ac609ac4949a3442272bf63f748","datavalue":{"value":"W2121001461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178274$91F7E319-78EB-4EBF-A030-FE9E88B24E47","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1b45b66d7f3990cc6d6b4f10a506f4ac14b4c4aa","datavalue":{"value":"Q113318088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178274$D52CE760-350B-4D15-AA12-547D7F3302D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f7306543dc2addd074bfb1162ee9f407132b14","datavalue":{"value":{"entity-type":"item","numeric-id":3575369,"id":"Q3575369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$6E431539-7097-4E02-A029-4E6F681823B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$DB486355-3082-4DC2-A3F0-0875E834C5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11cc7286e9da7e62b6e15b9a522cce7aef0df871","datavalue":{"value":{"entity-type":"item","numeric-id":2503337,"id":"Q2503337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$15E3BFE8-DC13-426E-B890-598C27D5FAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d6ca6f55e61a6c2d75395cedf218ea6b94fec6","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$93EF01FD-D5BA-47E7-AEC4-4E905A30C3FF","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":"Q3178274$59A6C4BE-A2C4-414E-AD4A-17E7D3511F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$5B69BFA6-80C8-4E3D-BA4D-C0D22A5D8241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8344e30a6e6b1ca9390514ca7ca9bb62e414f7a4","datavalue":{"value":{"entity-type":"item","numeric-id":3184736,"id":"Q3184736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$C7A0473E-3DA4-4D5F-A479-2EB04B7FAC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$17F29D3D-12C9-4156-9ACE-4991EB3EA014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a2f99768ff1da949299cef13b498d5a9c3a16a","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$D0C4DD7B-01A8-4A18-859A-745A5BCC2799","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":"Q3178274$9299A3E7-FBDF-4516-A92F-894693F7A681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b211f7d9b79af80c89593f1677fce650e50849f","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$767D6710-4F8E-4282-ADB6-8F7D96617668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e434a96053d306ffde38531d482a7680b20de8a","datavalue":{"value":{"entity-type":"item","numeric-id":2908856,"id":"Q2908856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$3385A0B7-8558-4EBB-8E29-0529F7DE437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178274$865EC6D3-9EBF-42B2-8296-A83635304C33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07aabb50bf66eded9479e5fcc7572f0d392a3bdc","datavalue":{"value":"10.1016/J.ENTCS.2012.08.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178274$643AB81A-C64D-4DCD-B2D7-4DDF3900E9D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52c1a3accff6aa6b3de6de0d30d6cd448dc1432","datavalue":{"value":{"entity-type":"item","numeric-id":2973240,"id":"Q2973240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacc16406656031169f4419af3b40ca1f4d6ced6","datavalue":{"value":{"amount":"+0.9443661570549012","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":"Q3178274$AC26103D-D72C-4A40-BC3B-27D030EF7AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786e84a9a813d55925e26f5f257c4741ca9ee8fa","datavalue":{"value":{"entity-type":"item","numeric-id":2914679,"id":"Q2914679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f58bfbd7d30e022f8bbd0a755ebb70ae36a098f","datavalue":{"value":{"amount":"+0.7715017795562744","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":"Q3178274$69DD5E5F-282D-4B11-9565-942ACED350E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca15c00dde79c62088bd676bf6efb7acca1112a","datavalue":{"value":{"entity-type":"item","numeric-id":2341701,"id":"Q2341701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba5333c88634b12b6e0c1987ebf775f4d4d172d","datavalue":{"value":{"amount":"+0.7691166996955872","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":"Q3178274$7F917634-EB73-4956-A574-17563ED49C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d78eb4c930ed2e69fd42f5e860ad0241ef9a50d","datavalue":{"value":{"entity-type":"item","numeric-id":5256339,"id":"Q5256339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4392ed8107d19106b3df90486749c8e9a407f1","datavalue":{"value":{"amount":"+0.7554271817207336","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":"Q3178274$F8BB5740-8C82-4187-95DA-BE2EFB321E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f9d843d45247397ee9bc14ea2b0f2182f3a09e","datavalue":{"value":{"entity-type":"item","numeric-id":4499221,"id":"Q4499221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73263917558f0a50dfd3d05c5cb8e0ba5223e4d5","datavalue":{"value":{"amount":"+0.7512921094894409","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":"Q3178274$3F4414C1-EAB6-4250-AFC1-02CF4FA232FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Final semantics for decorated traces","badges":[]}}}}}