{"entities":{"Q5089615":{"pageid":7119191,"ns":120,"title":"Item:Q5089615","lastrevid":41627293,"modified":"2025-05-06T13:18:40Z","type":"item","id":"Q5089615","labels":{"en":{"language":"en","value":"A Complete Axiomatisation for Probabilistic Trace Equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7560038"}},"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":"Q5089615$9298D799-94B3-4382-B708-0BFB8C63728C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34454f9f597f7e95da5bcdea9a1172e8d7cadb0b","datavalue":{"value":{"text":"A Complete Axiomatisation for Probabilistic Trace Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089615$76AC8000-7CCE-4AA3-92DD-1802A347FE1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e4540140d840f4e94370b186e0e83e608e26435","datavalue":{"value":"10.7561/SACS.2020.1.69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089615$3F90251B-F91E-4C1E-BB15-888A63BB8CA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe978d2758a8813ddd33d6cf1f2cc45fb4fcef57","datavalue":{"value":{"entity-type":"item","numeric-id":5089271,"id":"Q5089271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089615$72745F6C-CB87-44F6-8174-B9D6BCDCCA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089615$214C292D-52FA-490A-AB3E-9A330BBBA92D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089615$591627E9-9166-4F1D-8A7F-E3D358A66EA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd16289d0fc1079df359b6aa9d58fa174ea29bb","datavalue":{"value":{"time":"+2022-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089615$7F57C65F-B9D2-4593-B68C-16FB07ED4FAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089615$60C50B10-5AFD-4E29-869A-D8B9C84E23E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089615$FDC86490-CFA7-48FC-9104-9C297F872F25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4861107a8544f3a6599032b1440ebd1498339a80","datavalue":{"value":"7560038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089615$3B9B4B93-8D11-472E-9326-E14EC53915AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd36d82941e14601c1798d58c442444057047f1","datavalue":{"value":"probabilistic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089615$25F4F398-92FF-415F-A367-7B3526F8D2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a57f448d3d46db77a29981b20638773aaad2e68","datavalue":{"value":"trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089615$B7B3EC05-1E04-4BE8-9855-112CD3A5E737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eded367bdebd97b9871d91467f331a629411f0c","datavalue":{"value":"complete axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089615$093642BA-4314-4052-B368-6192FFBE92BC","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":"Q5089615$73F22EAE-1F37-4322-BEFD-FBA87B4350FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbcd32ab3ded823123139659606dcf2694368238","datavalue":{"value":{"entity-type":"item","numeric-id":5739363,"id":"Q5739363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4aab230c89c8f882dd24eba0bda1912cdcfa83","datavalue":{"value":{"amount":"+0.9131162","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":"Q5089615$EA0DD64F-044F-4E78-84C0-C4BD7FCFDF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb98f4f5601711e9682e4b03355c64db8a06e5a7","datavalue":{"value":{"entity-type":"item","numeric-id":1798789,"id":"Q1798789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d222740c3ad27cba7cc17b23b27b9033b8cc227f","datavalue":{"value":{"amount":"+0.90529317","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":"Q5089615$DB605F77-C0E6-417D-8C71-15897368F4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c1a7680e7f73ce02e4c3cb29d850db36f407c9","datavalue":{"value":{"entity-type":"item","numeric-id":2996139,"id":"Q2996139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd61ad98b345593fb895efec0239c7180c3d3768","datavalue":{"value":{"amount":"+0.8950351","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":"Q5089615$1B5F3F81-6A04-4F6C-9FE3-2D10418E8981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25605c5c874dea6835fbb39a15699dab8225375","datavalue":{"value":{"entity-type":"item","numeric-id":2988377,"id":"Q2988377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf201e43b46dc808fc62705bab57e8e6d712f6e","datavalue":{"value":{"amount":"+0.8905461","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":"Q5089615$F3EF5D26-5AF4-4D38-AE51-D7E3DCC7D091","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":"0a179cf7145981030641f704603c4aed9783cf15","datavalue":{"value":{"amount":"+0.88968396","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":"Q5089615$872F4599-4354-4313-B100-8E149E08B67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14b2781cf53a32ff1483b07c1a973e84c072a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4636572,"id":"Q4636572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6dedc8b3cdf31f53c46d0835c706f2566351013","datavalue":{"value":{"amount":"+0.8757272","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":"Q5089615$1FF3AC73-F904-46E0-9A8C-16E2B3E197D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6cb9fd44edb1910ad79756fe0f48286540dbb7f","datavalue":{"value":{"entity-type":"item","numeric-id":3434685,"id":"Q3434685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1203f8fea4429a1941d7f97cfd68141d92115b07","datavalue":{"value":{"amount":"+0.87304735","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":"Q5089615$A846F8DE-9521-4DA4-9B84-E46A9E3B8C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be015c80c534043c4f29a99f3dbc8333311083e","datavalue":{"value":{"entity-type":"item","numeric-id":1032627,"id":"Q1032627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1203f8fea4429a1941d7f97cfd68141d92115b07","datavalue":{"value":{"amount":"+0.87304735","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":"Q5089615$86793192-7F8C-449C-ADB6-E2DA4B571A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0509920ed35473137dcf14232b632bcc1341c04f","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb1665b04a5074cf07b35d52f9cb7561aeb7630","datavalue":{"value":{"amount":"+0.86994565","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":"Q5089615$AE14CF79-A613-4180-9D05-154AEECEF95E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089615"}}}}}