{"entities":{"Q5747642":{"pageid":7777193,"ns":120,"title":"Item:Q5747642","lastrevid":101722313,"modified":"2026-06-06T02:38:27Z","type":"item","id":"Q5747642","labels":{"en":{"language":"en","value":"A formal proof of a necessary and sufficient condition for deadlock-free adaptive networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785335"}},"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":"Q5747642$0834A7B4-29DF-4ACD-A77C-03E4C63C7DF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ffd67a04eeda87e5de0c0ca6ea08d6c54e6ec44","datavalue":{"value":{"text":"A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747642$DF79B5CD-E186-499B-AB33-7E43F62E291F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"113586dfef0e03668c1702537b46077567181116","datavalue":{"value":"1291.68373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747642$BD0423D2-5C53-4243-A2BF-6A472CBFAE9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93db93b640ca7a0216a5edfec43f3075b11459d4","datavalue":{"value":"10.1007/978-3-642-14052-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747642$0042497A-FAFA-4D57-89D1-AA44B0FC5DB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4bf01e8df1c87de639938e4e74854e4e2315839","datavalue":{"value":{"entity-type":"item","numeric-id":437038,"id":"Q437038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747642$2D9521C5-F926-4842-84F5-FCB5DCD19CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34804e6a2215a0425fe35226b8ec01b24c6b23d2","datavalue":{"value":{"entity-type":"item","numeric-id":437039,"id":"Q437039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747642$0BBF9787-5CCB-4C1A-A463-32357F5D77D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747642$A8D1CAE6-5568-4FE9-B0FD-A5A0F58EBFEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747642$9095C769-EBAE-46A9-B96C-A0AD37069559","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747642$8CC34398-AC97-47C3-811E-6DFE03A1C12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747642$17D94EE0-8EBA-4C88-8D12-6340829A8135","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0529fecfe7bc78bdbdc642f6bd0cc535f187574e","datavalue":{"value":"5785335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747642$78A5823F-10C9-4F31-80A2-E211F3209E21","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747642$3257837B-E148-4F02-82F5-D30720B3F163","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":"Q5747642$1EE66681-2BA5-4101-8C99-30667527B0BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8d913de7356b6df88c509607c62437e2dc2e92b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747642$99BB97A3-8231-4003-9CEB-8652518D16A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33d133b045b3b9d9228570326f64e34eb4e0990f","datavalue":{"value":"W1571136502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747642$D2131F06-DFA2-4AD9-B789-51B326E58D88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54deb013900cac843ea7a88ec2ca3f20e219d47","datavalue":{"value":{"entity-type":"item","numeric-id":437040,"id":"Q437040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3f01f021c500e1dc24d1b799b368f9480456da","datavalue":{"value":{"amount":"+0.8713434934616089","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":"Q5747642$91CC9C91-A556-47D1-81E6-8DBB09E86D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b959c4faa8a54faa6d15d5b3b0763f8be0c197b6","datavalue":{"value":{"entity-type":"item","numeric-id":3455563,"id":"Q3455563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf635ff755ec7f1090d3a17189dd969dc4da807","datavalue":{"value":{"amount":"+0.7501925230026245","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":"Q5747642$FE505A5C-94F4-4102-9FF2-6A22C0E8D110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f30fb825b322b9b5a869ec9f046aa8f49eb8d5","datavalue":{"value":{"entity-type":"item","numeric-id":4727425,"id":"Q4727425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ededd0c033aa369cd95b1c7eda2540e4e64108ed","datavalue":{"value":{"amount":"+0.7435732483863831","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":"Q5747642$A9D1A1AD-C2BF-4D54-B3DA-93B607730E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae27fbf047d7fb1d9e041fa35e830eb089b91dbc","datavalue":{"value":{"entity-type":"item","numeric-id":4327423,"id":"Q4327423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27525a9c07dc2db09dce87ae3bc9b71844525ae","datavalue":{"value":{"amount":"+0.7264014482498169","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":"Q5747642$E492EBAF-5C9C-43A1-9820-D5C00714FF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f804cf18159ddb207bf79069e1cdbb9160b6a7c1","datavalue":{"value":{"entity-type":"item","numeric-id":580970,"id":"Q580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4acd69b501d07ee777e2eab766e4573ce061783b","datavalue":{"value":{"amount":"+0.726078450679779","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":"Q5747642$077FE375-FE4F-4CBA-8CB0-70E2B4A48A83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal proof of a necessary and sufficient condition for deadlock-free adaptive networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_proof_of_a_necessary_and_sufficient_condition_for_deadlock-free_adaptive_networks"}}}}}