{"entities":{"Q2379953":{"pageid":2390696,"ns":120,"title":"Item:Q2379953","lastrevid":72651669,"modified":"2026-04-14T06:18:25Z","type":"item","id":"Q2379953","labels":{"en":{"language":"en","value":"Local and global deadlock-detection in component-based systems are NP-hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5686400"}},"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":"Q2379953$B5398292-C975-4B3F-B0F0-B3B052BA8ADA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1216ad186566b3ba0fe263476a4c126fba0cc4d","datavalue":{"value":{"text":"Local and global deadlock-detection in component-based systems are NP-hard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2379953$8113250F-DD8D-499D-B35C-164C4B302C2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"680c2e661bcb6f4766621cac2fc62a9f5c24e056","datavalue":{"value":"1184.68260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379953$9EA87AAD-DA7A-4E32-86DE-C8A2B5039F89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d464d0a6438f352a95a68c7178481fd6510202cd","datavalue":{"value":{"entity-type":"item","numeric-id":848950,"id":"Q848950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379953$5EC9D3CF-BFCC-4BB3-B819-CC04FA2D289D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379953$FDCF0EA6-F629-4F44-B7EF-FF5F880FA3F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b2597d51ab54359972966267a61b08692759225","datavalue":{"value":{"time":"+2010-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":"Q2379953$C586B858-2EDE-4ACC-AC71-98A2FF2E16C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379953$92323D89-6A86-4A57-92AF-57DBA324A65D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04570d516fbf5b693acb59e54f07a83bc5b50bc3","datavalue":{"value":"5686400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379953$6A4D3C6B-7857-4B51-889F-DDFF52F7F3CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2379953$9A7C848E-E26A-4745-B091-A312CBBBB3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2379953$6F1A9C5E-D75D-46D2-AB15-1828FD334531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feefff646df0211dd417593d6b00b78b2206f039","datavalue":{"value":"safety/security in digital systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2379953$E045A6C6-65F1-49E7-965F-4848732CBC66","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":"Q2379953$4C8F6408-9BBB-4E31-890D-F9BBCF923892","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97bf326e1bd97ba7c51c790376e34f5a2dbcd143","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2007.02.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2379953$96AF2DC7-3FD6-433E-9B9C-50E193583804","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6250d8b17d038b5e7dd18978a48e6b818c28fb0c","datavalue":{"value":"W2045126171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379953$C5D19338-5074-4B06-9A4B-1117F71E6042","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379953$377AFA11-A9A4-4A4E-9107-622A9375B9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379953$CB377597-B7AB-43C1-82CD-C6FC4F6BBD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa44c4d98eb852f877149c1a8563b1898426baf","datavalue":{"value":{"entity-type":"item","numeric-id":5191537,"id":"Q5191537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379953$C5FB5551-57C4-487B-BD71-44D8EA5EC4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1221a33196b3c7ef452907ebf2efba3883e9cfb4","datavalue":{"value":{"entity-type":"item","numeric-id":1776582,"id":"Q1776582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379953$219FFA0C-AB5E-4529-A256-72225BE52DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11fa3aa399632c7df3ddb7f2dc0e9e10a90ffef","datavalue":{"value":{"entity-type":"item","numeric-id":5448822,"id":"Q5448822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379953$5DD6297E-ECAB-4D33-9C1C-726648BB8A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e54e1eb346f4196cc1ac66f42c20d0558de23c2","datavalue":{"value":{"entity-type":"item","numeric-id":4715388,"id":"Q4715388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379953$DCAEA4DA-A152-470D-B9B8-9D1196DDA18C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"860887781b1cc9dff1e4e24b89e5e3a3bc50490b","datavalue":{"value":"10.1016/J.IPL.2007.02.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379953$032AA6E1-90DD-48D8-B563-2204BC6C1A4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7813e124882fa412b92f75865e5c35a0db599d","datavalue":{"value":{"entity-type":"item","numeric-id":5448822,"id":"Q5448822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c734cda3c426a0adc3eef6c069786fc76889cc0","datavalue":{"value":{"amount":"+0.8090199828147888","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":"Q2379953$BF6C62E8-CFA8-45A2-AC28-5256FCE956B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e7d6cbd461b83c0a8c8f7ff986908aedea102c","datavalue":{"value":{"entity-type":"item","numeric-id":5505604,"id":"Q5505604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6960813a2bba8e8572c2c1f8888db611d8a7d1","datavalue":{"value":{"amount":"+0.7363536357879639","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":"Q2379953$F159919A-04EB-4388-A401-AFA3C95F8186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaae53853be4e6b5c5b215e85506800c7991cb8","datavalue":{"value":{"entity-type":"item","numeric-id":1285587,"id":"Q1285587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755a46f79cc06dc854a875ad76fc3dd90a7676ae","datavalue":{"value":{"amount":"+0.7341406941413879","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":"Q2379953$5DFF25D3-C0A9-4705-BF79-4F612197D263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"409c70f02aac18578df15bcd918a7c2cc9ebfd82","datavalue":{"value":{"entity-type":"item","numeric-id":3700823,"id":"Q3700823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a9bfaa454fea0ca43fee9fd61587d8c490a995","datavalue":{"value":{"amount":"+0.7271929979324341","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":"Q2379953$792E25E9-FB3D-4486-9E27-32D41C8515E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32dd6c9335427ea1abfb3aa1483ca28ee5665c7","datavalue":{"value":{"entity-type":"item","numeric-id":4037114,"id":"Q4037114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9027edcc462526723250dc883c9c3c033552b2c1","datavalue":{"value":{"amount":"+0.7265912294387817","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":"Q2379953$5DF301F1-1426-4AB8-B5FE-6EF5E5D03B76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local and global deadlock-detection in component-based systems are NP-hard","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_and_global_deadlock-detection_in_component-based_systems_are_NP-hard"}}}}}