{"entities":{"Q5404482":{"pageid":7434056,"ns":120,"title":"Item:Q5404482","lastrevid":75596701,"modified":"2026-04-19T21:12:56Z","type":"item","id":"Q5404482","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 6272604"}},"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":"Q5404482$4D8E35F7-DB75-4FC2-85F6-95F09C20988F","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":"Q5404482$FB56B79E-8AEB-4C61-A40F-A5A189A9DB03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"099a9e4fd62ef04830415345dff6488bb4c7a065","datavalue":{"value":"1325.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404482$9F264BD7-0E52-4210-917A-47BE8C8546AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94fcd17be4ffe998be6c91fc9f015ef179ecb311","datavalue":{"value":"10.2168/LMCS-10(1:16)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404482$FDA94188-CAFB-469A-A141-A2C4B5B8CE0F","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":"Q5404482$A8ED4DA6-E148-4F36-AEA2-F5CF9C7D6606","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":"Q5404482$15140CCE-A029-449F-BCC0-10AA479BD9D6","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":"Q5404482$539C7A1B-4488-424B-8E1C-E0E2033FAC81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404482$43727D26-35DF-488E-8C99-611681BFFD0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630dce3b2853701ed9536abebcceb27951f83aed","datavalue":{"value":{"time":"+2014-03-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":"Q5404482$9B714EBE-2F7E-45F6-838E-86285F3136AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404482$3653D079-5472-48D6-935C-160B14C56B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404482$BD0C7ECA-FD94-4CC8-8EA3-42C243177AB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af44dfe761c145e1ef1d157e253ec81540dea332","datavalue":{"value":"6272604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404482$A508DBD1-5FEC-4F07-AF72-5CB3202FB5B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404482$663C590A-3414-429F-A2A6-EF53F22D72C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed819d96bc7cff24691938b6313255b68e60e95e","datavalue":{"value":"probabilistic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404482$F0D84658-0765-4308-9EA1-79355FCC7438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7988d6e2a15b70f386d1c36238312f63eef396d","datavalue":{"value":"behavioral equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404482$DC282B98-26B6-405B-B55F-6424ECE8A7FC","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":"Q5404482$5CEDB405-37D1-4BE0-804C-5A49F6E7CBE9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"75738cf7b2cc9f1715871bf7a56f3cdbc8b1734e","datavalue":{"value":"Q124439058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404482$F2BCE7A8-F02B-4130-B7D7-CBF7E3FBB59C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0691f09b13e73a7b00fd7f9266d91b4623ac2c44","datavalue":{"value":"https://doi.org/10.2168/lmcs-10(1:16)2014","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404482$5F07CD3C-B74F-4350-9D03-D876F8671DFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b99213b8d0f74fbf1fdb6004faa52c50f3ae400","datavalue":{"value":"W2092604016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404482$BD6CDA62-100C-4AFC-80B5-7365351729B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b62e9c7c7778998252e98509b1c7a0e970a7e35","datavalue":{"value":{"entity-type":"item","numeric-id":2892771,"id":"Q2892771"},"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":"Q5404482$AA58BB4F-1FE8-41B7-8EAA-084DEAA16DA2","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":"d5653958a9b17e4c3d5f355fae508a74040e6fb6","datavalue":{"value":{"amount":"+0.8521625995635986","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":"Q5404482$E8969CE8-C244-4736-AB37-D207203D1058","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":"e442b8a3eddb28e89e2b3e16789b50ffd7f3f4f2","datavalue":{"value":{"amount":"+0.851540207862854","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":"Q5404482$5666B6E4-64D7-4F44-8AA9-43769EF4FF13","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":"d77572fc5948e777e151506e02aa5748ca922d83","datavalue":{"value":{"amount":"+0.8160378932952881","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":"Q5404482$04F0C1AC-334A-4F26-9430-82BCA37B3FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e7fc6b1e0846b912fc72a54d39f3387e002b7e","datavalue":{"value":{"entity-type":"item","numeric-id":2056980,"id":"Q2056980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4750aa03ae69a42ec8a1585d65b8aedff47ff2fe","datavalue":{"value":{"amount":"+0.8104729056358337","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":"Q5404482$72AE1C2E-4CB1-4006-B391-A1B5AA2C80C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Revisiting trace and testing equivalences for nondeterministic and probabilistic processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Revisiting_trace_and_testing_equivalences_for_nondeterministic_and_probabilistic_processes"}}}}}