{"entities":{"Q2892771":{"pageid":2903496,"ns":120,"title":"Item:Q2892771","lastrevid":58051257,"modified":"2026-04-03T14:55:35Z","type":"item","id":"Q2892771","labels":{"en":{"language":"en","value":"Revisiting trace and testing equivalences for nondeterministic and probabilistic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049297"}},"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":"Q2892771$AB6F9FD0-6E4B-49B4-AB8B-04072A69B024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eaca46d24e16a9e940cc09e630c48478bb556a5f","datavalue":{"value":{"text":"Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892771$61AE0DDD-6BEB-4790-83DE-74C9E92D5A4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6e64747dcab896159ee0ccf25f4d01037857891","datavalue":{"value":"1326.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892771$8C240D21-E11F-4104-B5B4-248AFB896CC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9055b8cd2c8f0a85b77378240e5e6d5f51ebe4ae","datavalue":{"value":"10.1007/978-3-642-28729-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892771$9DEFCBF2-1D55-4EA5-B869-685CC1186D6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b01b28361973f8f6aa733f4b48583b04bbaecd","datavalue":{"value":{"entity-type":"item","numeric-id":199201,"id":"Q199201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892771$DC0C4EA9-66B4-4C91-B20F-2F2A10E025E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892771$F1DCD2BB-8ECD-4D7E-8174-C546D9AA31ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892771$43021625-8FA7-4549-8A3F-774524942A63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892771$E263EFBD-FA5B-492F-8D7A-3ED54D136303","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892771$48D81331-19C8-44F2-9FDF-45D10F370980","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5d7a069ceeb4075ef02148e1f2fc113c2ee4c10","datavalue":{"value":"https://arxiv.org/abs/1402.5365","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892771$2D608CD5-AE14-4A7E-A9C2-5FC6D04EE9E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892771$B8CD601B-ED23-4884-96F4-B7113B4131E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892771$F55F58BE-AE1C-4EDB-AE0A-40C47BEEF806","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c0f00b26096d03da96392900b207d4a56d41e79","datavalue":{"value":"6049297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892771$33D2E614-2953-4612-8787-E2CD24F5745E","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":"Q2892771$471B3413-560A-455E-884B-59CC6726B81D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32a11efda1175502d7320abd4a978dab2980c941","datavalue":{"value":"W1878576160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892771$6324DC54-E87F-4E8E-83E7-BF75AA83D65A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8573eec0419df3cb1c51e01ec8350a29de0ddd3d","datavalue":{"value":{"entity-type":"item","numeric-id":5404482,"id":"Q5404482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a835ba22d241ffd4c84bac3a350e7d15d9b45021","datavalue":{"value":{"amount":"+0.9527965784072876","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":"Q2892771$86422F47-9E44-45D2-A916-78D4C49BC0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af307dc145a5e9e7d113ab3aa670de7e93ec8426","datavalue":{"value":{"entity-type":"item","numeric-id":4992526,"id":"Q4992526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76d6c7d559a6e6f252d35d73f30f0a29f3c8ca5","datavalue":{"value":{"amount":"+0.8423613905906677","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":"Q2892771$443621D6-90C2-4DA5-901B-A7522D3F5858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b48ca97b2111859d731c94ba112c6af16ccf2a","datavalue":{"value":{"entity-type":"item","numeric-id":5151036,"id":"Q5151036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92841a21357c3a93cdf8b50783a5e9e6a11d85cc","datavalue":{"value":{"amount":"+0.8418968915939331","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":"Q2892771$E3B2267B-AB33-4242-B6D8-721B9C63D319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d56da46397d025d960a09858b579aacd91787e1","datavalue":{"value":{"entity-type":"item","numeric-id":2253178,"id":"Q2253178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c8b3e6670e1a736443ec97551af70bf9359438","datavalue":{"value":{"amount":"+0.8364213705062866","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":"Q2892771$FE45181E-B223-4662-A513-1CF320EE6D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963261767f202c002ef935e963ac9cd120843459","datavalue":{"value":{"entity-type":"item","numeric-id":3546349,"id":"Q3546349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a88a0570d09b251a4b73debf0836670d0283d4c","datavalue":{"value":{"amount":"+0.8236466646194458","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":"Q2892771$C8CDE43A-0E05-4559-AEF3-A19BAFE6877B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892771"}}}}}