{"entities":{"Q3145287":{"pageid":3156003,"ns":120,"title":"Item:Q3145287","lastrevid":86314766,"modified":"2026-06-03T18:24:05Z","type":"item","id":"Q3145287","labels":{"en":{"language":"en","value":"Deadlock detection in communicating stream X-machine systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6117302"}},"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":"Q3145287$0689E134-9360-42BA-9BF0-4C0FDE4C4C49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da5e827c602a37acef5734bd8cbd7059dfd7ddd5","datavalue":{"value":"1265.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145287$BE0E8FAE-5A57-4344-858F-1ABE600169FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c895a386e8282ce902f87b1f98f1b6e9294b75b1","datavalue":{"value":{"entity-type":"item","numeric-id":204596,"id":"Q204596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145287$056CBA6F-C871-4A8A-A514-990902B5B8FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89237810e2607c40640d822ba13c3a4357a2a395","datavalue":{"value":{"time":"+2012-12-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":"Q3145287$E5604B84-78C0-4FB5-9693-0784950076DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145287$8B1C5660-2139-4E7B-80FC-E24D06759E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145287$C2252DD5-0A3E-4A8B-B066-B0C118D71777","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1aa9febfedd14b667904293d647ee6e29418e09b","datavalue":{"value":"6117302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145287$A77DB8FB-CF30-4926-B805-A56C84D321D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dbc6e13155294d6447db031f4ca374633747481","datavalue":{"value":"communicating stream X-machine systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145287$EE56028B-2572-4805-A6F3-F4FF741959CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145287$7A24CC6E-EF55-4709-B4E1-5F16FC6EAFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b110a3890b335030508a19610f53a8bb1b99a7c","datavalue":{"value":"communication using channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145287$B686C1B9-6556-4C3D-8D87-0F92BC5AC69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995b00cc7d69ee07cf24da51a3a5485ed2bb2d30","datavalue":{"value":"mutual exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145287$763FD541-DF08-4F17-92DA-A54C1CCB2187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145287$3A27EB24-0693-4537-8D96-261A9816F0CD","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":"Q3145287$8804D678-D851-4F57-A6CC-990D88D396B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"817779df031551dc0c835c19dacf57c504544197","datavalue":{"value":{"entity-type":"item","numeric-id":4520784,"id":"Q4520784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"371011ec088c25a56366103d3ce73b36cf8aafe4","datavalue":{"value":{"amount":"+0.7644315361976624","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":"Q3145287$0BF03407-4598-406D-AC9D-2B9B3791E5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce665ac5eeb48158eec91a96f937601371e1ae09","datavalue":{"value":{"entity-type":"item","numeric-id":1849557,"id":"Q1849557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b8765c596c633516da0b7e69390765b42377d6","datavalue":{"value":{"amount":"+0.7594285011291504","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":"Q3145287$8FF66B43-4066-46B1-BFEB-F1FDB1457C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5276dde8f8346928878415d62eaebf168364a","datavalue":{"value":{"entity-type":"item","numeric-id":3780411,"id":"Q3780411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7da95328d47f9349ebbd004a9255970a59a7b6","datavalue":{"value":{"amount":"+0.759028971195221","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":"Q3145287$B5897966-F195-4F0D-AE53-41383562E7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1e05d09b9ae14c0f4dcd06fe01e5aca9e38564e","datavalue":{"value":{"entity-type":"item","numeric-id":5944216,"id":"Q5944216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9865a174e16497ce8b5040fd4b9e124ba3e6ed5b","datavalue":{"value":{"amount":"+0.7453178763389587","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":"Q3145287$0AB2282F-3518-4974-B318-81E26F73415E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90768abd90e8d7fdf89c01dcb0f3fbd73b6147c7","datavalue":{"value":{"entity-type":"item","numeric-id":4520835,"id":"Q4520835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e622b4b9305702cf03d92378eeb2fb33fa7f377","datavalue":{"value":{"amount":"+0.7411379814147949","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":"Q3145287$DBEE10E5-1E90-4F32-915F-03D4171BD55C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deadlock detection in communicating stream X-machine systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deadlock_detection_in_communicating_stream_X-machine_systems"}}}}}