{"entities":{"Q5448822":{"pageid":7478381,"ns":120,"title":"Item:Q5448822","lastrevid":50298914,"modified":"2026-01-13T18:58:01Z","type":"item","id":"Q5448822","labels":{"en":{"language":"en","value":"A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5246196"}},"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":"Q5448822$83A00804-8AB3-427E-BCD8-38912700CE72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b08f62d571a83a5f3370d5c0df63ddd9bf44605c","datavalue":{"value":{"text":"A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5448822$ED0F18A9-8E65-46F3-9FA0-8BC0C3A980D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf63e35bd05767adb81a8335835ebded31819f1c","datavalue":{"value":"1131.68304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448822$293BC0C1-4A37-498D-8379-6FF43FF94FE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aaa937dc0e7707a19c3060f6962e933d2e21784a","datavalue":{"value":"10.1007/978-3-540-69507-3_77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448822$665A3455-13A8-426F-818B-6A51604E1609","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71b2bb4c703dce597e4a7185ea8ca2f5c52c81e2","datavalue":{"value":{"entity-type":"item","numeric-id":2441718,"id":"Q2441718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448822$74BA0B51-D9E1-4E7C-A2B1-104BC4992C2B","rank":"normal"},{"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":"Q5448822$4961BC80-E4F5-4087-858D-3E7F16A2CE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6be0758ab24e32065513e953f1c6c34b492ac29","datavalue":{"value":{"entity-type":"item","numeric-id":671405,"id":"Q671405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448822$746F59BB-1F20-42D1-920A-A8F80659A8D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448822$0BB5DC04-D349-4E83-9C58-50DD591E60AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"408bb415b0e4e91f33eb35fe43922ec8a2030622","datavalue":{"value":{"time":"+2008-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5448822$A2FBD2D8-E9D8-458D-A2FA-71C96467E0FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448822$A1245394-0EAF-47A0-9A80-78A3156E9414","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b41486865fa214b9ac0dd7e961c14a248f9b9317","datavalue":{"value":"5246196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448822$517B770C-EC09-4FCA-B145-50BF4D4DDDD8","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":"Q5448822$F1DBCB47-BDFA-4ACD-B6C0-12005634A2B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c33150bca69cb8623452bddc6cd0ab145f0bac9b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69507-3_77","type":"string"},"datatype":"url"},"type":"statement","id":"Q5448822$4B8F8711-0E0F-41F8-9B3C-5F3D4761E31B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4a2aac488c86255e7f40bf0a383cc39a045a76b","datavalue":{"value":"W1581159190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448822$434E1B34-2ACB-4C1C-8B4D-5272AC8CFEC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11509d1c8a43e0bfe2dbe88c288250b4706319f6","datavalue":{"value":{"entity-type":"item","numeric-id":2379953,"id":"Q2379953"},"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":"Q5448822$62644B16-2A26-4B07-A6C5-128C6584905E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33611b6d0a8f1cb11442477a9346880a9857ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1996857,"id":"Q1996857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e10e2ea20e34f638f783faf2a8a9bc9a94cfc0","datavalue":{"value":{"amount":"+0.790018618106842","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":"Q5448822$7137B6E6-3147-4032-BD69-C2D3CC87CD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea450aec116d237ae3bb018e8755010929b599a","datavalue":{"value":{"entity-type":"item","numeric-id":2441719,"id":"Q2441719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa97c522174582315ad33fe3274d92ce3017fcdd","datavalue":{"value":{"amount":"+0.7407442331314087","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":"Q5448822$3FFD0E53-BCDB-4E25-ACAD-44B75830BFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7248c8a3507fb22088297760ba2d98a20a88cac8","datavalue":{"value":{"entity-type":"item","numeric-id":5191537,"id":"Q5191537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caefaac66a580680ff86f18b3203b5c30ffbaaca","datavalue":{"value":{"amount":"+0.7350193858146667","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":"Q5448822$C3D07A72-5C67-43F6-944F-2ACB253F61E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eeb509b73a042deebca797bb04c4d9ff9979f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5711509,"id":"Q5711509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de61312ff0841fd12ac1f11f58dd922a96b7b3d","datavalue":{"value":{"amount":"+0.728877604007721","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":"Q5448822$066FDEE2-985C-432F-9E56-127DA9AAAF90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5448822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5448822"}}}}}