{"entities":{"Q5758125":{"pageid":7787676,"ns":120,"title":"Item:Q5758125","lastrevid":97356848,"modified":"2026-06-05T14:32:03Z","type":"item","id":"Q5758125","labels":{"en":{"language":"en","value":"Detecting Races in Ensembles of Message Sequence Charts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185793"}},"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":"Q5758125$82AD8E92-A2F0-45DB-A6A0-DC69459DE0CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cc8602454a79a419877889dbf560176279413dd","datavalue":{"value":{"text":"Detecting Races in Ensembles of Message Sequence Charts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758125$659BCFB7-CC81-4CE8-BB0F-5499D02DD133","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fba0194dc23b6c8affd23a63917e68bee5c3c6ce","datavalue":{"value":"1186.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758125$C30EBE44-1EC0-4886-8BDD-8F0346EA3272","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"672d2ddbe8c08f43d44b0fa05d5134687e6c2638","datavalue":{"value":"10.1007/978-3-540-71209-1_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758125$09CF7BE8-02AA-4638-A3EB-7F01AE7D7792","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aeee448d21555d034ea0578822b3e16a748c229","datavalue":{"value":{"entity-type":"item","numeric-id":420827,"id":"Q420827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758125$65F3840C-C6BC-414A-BAD4-0199853C7BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c25692d5864b09581ae766555ef6d0e63eb5f0e","datavalue":{"value":{"entity-type":"item","numeric-id":436615,"id":"Q436615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758125$114F5641-FD42-4497-BAAF-C732A4F727B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758125$D35EC4AE-3394-4B3F-AB42-E1FED2236429","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758125$259AB8A9-13D7-4810-A9D6-91D2D5796A5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758125$37B6845B-26FF-4900-A1CC-BA4C28262D6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758125$C40A2407-8B62-4879-9140-064150E8ECE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758125$2F577A69-84A5-4F05-95F2-ED0EB219DAAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"339c420b935f56392588c8b7dd9d7cc9772147f3","datavalue":{"value":"5185793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758125$898081AB-F337-4DB7-A27D-AFEE449F014A","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":"Q5758125$2314C7A7-33FB-47CE-B020-D62B918B2720","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"459e94a49ceb5c1e171cd677aa46f745895666d6","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758125$9ECEA15C-4CCA-4BA7-9709-AC13C1969D54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06fb8b61dc354e4371a42018ee89c68c07e35ae8","datavalue":{"value":"W1600229119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758125$02389BCD-D523-4167-9133-C2180BC6CAC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab5158bb343f29a6165e524c0ded26013ad305f","datavalue":{"value":{"entity-type":"item","numeric-id":5493384,"id":"Q5493384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24239b83af41a928994655f6da5567da284ed43","datavalue":{"value":{"amount":"+0.8497359752655029","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":"Q5758125$9AFDF1B2-219C-4E3C-8245-C68727B1A224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa178f177e92fc6a9b48eb7e07e0ffad3669994","datavalue":{"value":{"entity-type":"item","numeric-id":2779790,"id":"Q2779790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1832e47cd717af0ae701017d701fc3540b431906","datavalue":{"value":{"amount":"+0.7507449984550476","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":"Q5758125$0FAEF4DB-3804-4F9A-A335-D99647D06ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dc7ed0f26ca08c3fe10bb18ec37297611b0d5fe","datavalue":{"value":{"entity-type":"item","numeric-id":701045,"id":"Q701045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1aaa7a45603935d73aca44eee6d6dd84d661c3","datavalue":{"value":{"amount":"+0.7343858480453491","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":"Q5758125$1994315B-9B15-432C-A87A-9FCF38B17EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ec6cd224f2d9986b85b25ba7bda4fe5c9e337a","datavalue":{"value":{"entity-type":"item","numeric-id":4941891,"id":"Q4941891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ceccc97f1bc4cda2556b942e49951b937cb7e4","datavalue":{"value":{"amount":"+0.7267321348190308","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":"Q5758125$4CC21EAD-7F63-47F2-B1A9-AC0C00BE535A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc4e491ed871f230588c1df1ebbe3b3eb5e5f18","datavalue":{"value":{"entity-type":"item","numeric-id":4536376,"id":"Q4536376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d58e0c69a0fd4a179e62afd6ef354c5670c184f","datavalue":{"value":{"amount":"+0.7232876420021057","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":"Q5758125$76B14E79-BD84-4D6B-AB5C-6734003A1C74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Detecting Races in Ensembles of Message Sequence Charts","badges":[]}}}}}