{"entities":{"Q2873666":{"pageid":2884386,"ns":120,"title":"Item:Q2873666","lastrevid":51912509,"modified":"2026-01-20T12:54:33Z","type":"item","id":"Q2873666","labels":{"en":{"language":"en","value":"Coalgebraic trace semantics for combined possibilitistic and probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250402"}},"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":"Q2873666$314E0BB0-1F94-4F1E-987C-01C373459AB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d20114c109abb7b0bf1d87f0e10efbc9ce752f2","datavalue":{"value":"1279.68232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873666$BE8963A2-EBCF-4C88-84F8-5621E2725F90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$8E499140-DEDE-4B3A-B9FE-AE1BCCF62D5F","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":"Q2873666$7030289A-8A6F-441F-A75C-0CBFAE9DAF34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873666$E1C6B025-C8FD-4189-AA15-A5403F15A960","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873666$7ADFBAB6-97DB-4E48-AF07-6ED8FC6AE996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873666$E4466C98-4E1D-469D-AD6E-7056697A0CEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c61193cb73940127a57589b869071b64879f57e","datavalue":{"value":"6250402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873666$833D3101-B763-4D6B-8CF1-94CFB4E8E482","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873666$CB3BF6EA-4030-49C0-B74B-002FBC54E2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe12d8a5bebb349dd460e192a48eb3b2f970299c","datavalue":{"value":"probabilistic nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873666$279CBB08-2ECD-4CB4-99A0-1B690B6B1D61","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":"Q2873666$D8014E29-2D35-4F26-8EDB-6AAAEB904D10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b59f405bc95665d630f4b0b616dd9cde688c9ef","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.05.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873666$8A790982-5BFF-4DA0-AFA9-5A3420D03613","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b128c8492a40f9d883276919a2283961e418c04","datavalue":{"value":"W1964907332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873666$91275F62-FBD2-40AB-8B2A-16071DDD598E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c5d69077a040fca25f8fdb07add276ee88a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4279244,"id":"Q4279244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$C3552ECF-C3CB-40A9-AF2A-D3EC4B6CF3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$BC31F148-D8CD-4B43-AA68-CDE28A300084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e876b856b3f5d6ef5102ec15c26c3cf32fa56c","datavalue":{"value":{"entity-type":"item","numeric-id":703518,"id":"Q703518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$E35C3CAF-4047-4556-B018-28404B284449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$C58B4F0F-CB6A-48DB-86DC-805689A22864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2a217a4f89905810d12fb9d8a428ab9ebf7dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2464936,"id":"Q2464936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$306E6312-02D6-4B5F-9BF8-92A2568FA7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df3fd7e686a0201cb41d06c626534790e72ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$1E9FE9D7-0824-4800-9789-7B21E08E5F00","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":"Q2873666$A7E817EA-9721-41BF-BAB1-F686EB16B927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee7fb1708edfce599e1655fbc62530d4ca9a62a","datavalue":{"value":{"entity-type":"item","numeric-id":5492823,"id":"Q5492823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$8656CE61-4667-45AA-98F5-A407362CAD7A","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":"Q2873666$4CAAD36D-5FA1-413C-9A40-8247DE1E5213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f10fa435f4a4c7f6d374cd7641ac4079962fe2","datavalue":{"value":{"entity-type":"item","numeric-id":5458363,"id":"Q5458363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$9CCBA9A2-F27D-403B-8525-30DEEAE42C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6847b6230dd7a27075d197b8daec7a7f5de2e850","datavalue":{"value":{"entity-type":"item","numeric-id":1337357,"id":"Q1337357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$B9F7A64D-597E-451D-A11C-BC24FFAAD0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$BAD01BF5-DEEB-4601-A15B-76CD62197EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$440F9168-24CF-420C-B793-179C0F8B6B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf4fce0bc4c7b8ec693da39c4791939f4cc073b","datavalue":{"value":{"entity-type":"item","numeric-id":3496299,"id":"Q3496299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$93D907C2-4FEB-4F21-8F46-C8C38AF68E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$75A94540-9CB3-40BF-8C7D-CEA9CD8CCD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$3D2FC028-03C3-4A96-85C9-9B717F5CB0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4975d1abb2d17eced8cec872019842496981d896","datavalue":{"value":{"entity-type":"item","numeric-id":371258,"id":"Q371258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$1915D82F-7800-413B-B7BF-601815335547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d219c448aa712a35ee812c047663f1dce1c75","datavalue":{"value":{"entity-type":"item","numeric-id":5466795,"id":"Q5466795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873666$ED852090-6A16-410C-A504-A44CDAA018B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14534e448ac4a434e719e02540d4f6ec0a687c92","datavalue":{"value":"10.1016/J.ENTCS.2008.05.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873666$1FBB0A18-FC50-4DE0-A368-0DE51F8B55C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee61154bf3841b0dd60e4c03a15c00e6b758ab67","datavalue":{"value":{"text":"Coalgebraic trace semantics for combined possibilitistic and probabilistic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873666$F7E6B21E-6375-4ADC-A29F-9479422876A9","rank":"normal"}],"P1643":[{"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":"96f9c14ce1e84948b42c56d3ac20383ef51cae79","datavalue":{"value":{"amount":"+0.7781199216842651","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":"Q2873666$5E399DC0-9F23-42BF-BB94-631E0F24F785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ddbca50e3ed88ed87b84a991e5be38ebbdfd45","datavalue":{"value":{"entity-type":"item","numeric-id":2912693,"id":"Q2912693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3499f905a1bffdfb89b1da492b6f9b2b14f7761e","datavalue":{"value":{"amount":"+0.7764596343040466","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":"Q2873666$17DBE6AD-A112-496B-BBE2-95BF9310DB7C","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":"421e2a29f184e5b1d4e4d4c5d60e72ad80e24bd2","datavalue":{"value":{"amount":"+0.7577322125434875","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":"Q2873666$C8499E50-1F45-43B5-BF5C-0D6484FF374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf5b3e23a03d5b0bd4dfbf9b775f8814de1356f","datavalue":{"value":{"entity-type":"item","numeric-id":5158368,"id":"Q5158368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a1f2f1966674d8992965ea1c114ac8c7705d35","datavalue":{"value":{"amount":"+0.7541495561599731","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":"Q2873666$197AF388-AC2A-4446-A6B7-F52FAB32A801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efeb15e9dc756a948d33b5c79aec9efb329cf92a","datavalue":{"value":{"entity-type":"item","numeric-id":1798791,"id":"Q1798791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a761f42823c43e26c2439877870f92c4213274f0","datavalue":{"value":{"amount":"+0.7494064569473267","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":"Q2873666$273BCC67-904A-4A3A-98B0-DFD54BD315B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873666"}}}}}