{"entities":{"Q6560927":{"pageid":14172082,"ns":120,"title":"Item:Q6560927","lastrevid":95556950,"modified":"2026-06-05T09:16:40Z","type":"item","id":"Q6560927","labels":{"en":{"language":"en","value":"Distributed controller synthesis for deadlock avoidance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7870335"}},"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":"Q6560927$C125C96B-C4E8-4159-860B-8F6F57562BF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a99ccf686e1de7ec8a83330917833db840d89306","datavalue":{"value":{"text":"Distributed controller synthesis for deadlock avoidance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560927$9C6552AF-FDDF-4AA2-8333-67916CE7C777","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa56517fb09a9f3548e30af9b0933225274b9538","datavalue":{"value":{"entity-type":"item","numeric-id":259584,"id":"Q259584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560927$88A05539-7DC5-44D6-82A7-D02C3C150308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6d8d97ad12726aa3c87b741913b0d48c9222df","datavalue":{"value":{"entity-type":"item","numeric-id":4992843,"id":"Q4992843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560927$4C0A9225-A12B-4F76-9F49-59982ED0DC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560927$2BEAE45D-A45A-4282-AAFE-FEB742F60FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560927$6EE578AA-1EF5-4ABB-92C7-D3442037B824","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aad9968298383135691f4dcdd005dbce68275c0d","datavalue":{"value":{"time":"+2024-06-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":"Q6560927$E8D7E481-2D65-412B-BE44-043A5C731D1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560927$F4CDB544-248A-4A28-AF8E-A1E8994E28C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560927$8D3DDA4B-0365-452E-96C6-01913EAD24E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"297dff37a39a35b54ae340261cfcf0978f6d0dcd","datavalue":{"value":"7870335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560927$610F4337-54F8-497E-BA00-DBF9F21BB5A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"884c56ec58b79b2ead19bd7c1ad298425c1e8cd1","datavalue":{"value":"distributed synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560927$B6F16031-C6AA-40A9-B1D7-D1F2C0751761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560927$962A3253-08FA-42E9-A165-FB267CEE4D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"617e19b133a75b76c58b5930a9df0395be230094","datavalue":{"value":"lock synchronisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560927$8848D756-C757-47FB-AD79-AD27695F946F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c70abc74354f81e14c1950aab27c1fd80288d6","datavalue":{"value":"deadlock avoidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560927$2FA635DF-C3B7-4404-AEF4-7CCB7A52D14F","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":"Q6560927$E277EFD2-3A9D-4D75-BF38-79984326536E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3a42f0ae365cd486d5d11f252a9171b65539d02","datavalue":{"value":"10.4230/LIPICS.ICALP.2022.125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560927$4EEE1C8E-9692-4F50-B0C3-97176D740069","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed controller synthesis for deadlock avoidance (scientific article; zbMATH DE number 7870335)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_controller_synthesis_for_deadlock_avoidance_(scientific_article;_zbMATH_DE_number_7870335)"}}}}}