{"entities":{"Q6925611":{"pageid":21056713,"ns":120,"title":"Item:Q6925611","lastrevid":84131765,"modified":"2026-05-10T22:03:39Z","type":"item","id":"Q6925611","labels":{"en":{"language":"en","value":"Distributed controller synthesis for deadlock avoidance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8097724"}},"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":"Q6925611$33E6DED8-8F1A-4F26-A0A0-35C7A4BF5179","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":"Q6925611$C92634F6-AD57-4703-B06B-536EB4ED95A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"402bea510efe4d147d2208d9653663ee10e1b996","datavalue":{"value":"10.46298/LMCS-21(3:24)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925611$E725D395-8975-4F31-879C-31275179C089","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":"Q6925611$B015D49D-BA2D-4803-A906-6167389588C1","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":"Q6925611$29B0715B-D5B5-4FBC-B746-154DF5216A0D","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":"Q6925611$F759C629-75EE-4AAF-8F41-29A7F1088410","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":"Q6925611$A0EDB0EA-D222-4D53-AE74-79E60BAE7A89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$B40BF317-9FBD-4824-AC4A-58957E808464","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4d35ab81cabaf95bc563e9fb08a1e3335319aee","datavalue":{"value":{"time":"+2025-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6925611$1CD24185-765E-491D-AF03-905B068A8181","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925611$44A0A603-30C6-43A3-92A9-9207FAB98F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925611$85B4F60B-0CE4-4448-9EBE-2FDA9AC4ED8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"371fe4f768c6b9cca38d55cc904b37dd30d67d6d","datavalue":{"value":"8097724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925611$258B27AF-4E77-4129-8D5B-C2C75E3C5A78","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$65AC79B9-F232-40EA-961E-62FE1A6209D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"884c56ec58b79b2ead19bd7c1ad298425c1e8cd1","datavalue":{"value":"distributed synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925611$0B6B767F-ADDA-41C2-98ED-9F0FC9951DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"617e19b133a75b76c58b5930a9df0395be230094","datavalue":{"value":"lock synchronisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925611$0D052733-4E44-4787-A184-007C55AE4A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c70abc74354f81e14c1950aab27c1fd80288d6","datavalue":{"value":"deadlock avoidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925611$93C3D6E9-1244-4151-8022-470EBA7B4DCF","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":"Q6925611$8332789D-C3ED-4B03-BB1B-6C6C360C40EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f03457ae9d1e0f5908243f797541d41ecd962aa","datavalue":{"value":{"entity-type":"item","numeric-id":6925611,"id":"Q6925611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$880CE5A7-50DA-444C-99A1-2C5F32403DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ce87d8ae1062f56188fea43a5952aa965fb091","datavalue":{"value":{"entity-type":"item","numeric-id":5020999,"id":"Q5020999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$4702F041-3D84-475B-8E84-ED20BBBB11A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f4e5e517fa33c899b0aa8acc5bf8a187fdc187","datavalue":{"value":{"entity-type":"item","numeric-id":5891174,"id":"Q5891174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$0233279D-EB64-4027-A396-F8A1C3BB58F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff42ef43c612a824794743fedcf10ddb41a93e5","datavalue":{"value":{"entity-type":"item","numeric-id":5875388,"id":"Q5875388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$61D2ED55-17FA-4E9F-821B-23762C62FFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$6057D5D3-DC42-4F07-8C6D-6A802CF438C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b471e81978679b9a69ab1d981741cde62e4fd9a9","datavalue":{"value":{"entity-type":"item","numeric-id":5606989,"id":"Q5606989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$17EF82B1-3A78-4E64-9D7C-F60D7BE8B321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050436a8bfa8e84ffc27f78342155d9b43b6ff62","datavalue":{"value":{"entity-type":"item","numeric-id":6124952,"id":"Q6124952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$916C227F-4BE4-4152-BF85-D0E7F4F17F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc5bb703762d3048de023514c4f9076bf7d1d91","datavalue":{"value":{"entity-type":"item","numeric-id":493902,"id":"Q493902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$4FE41435-505A-4F1E-80A7-AB42960B3564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa28f7cce45b79df67b0f4e78b2d37ed34847f2d","datavalue":{"value":{"entity-type":"item","numeric-id":515654,"id":"Q515654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$9E0C3EA8-DFA9-4CF5-860A-682FC5A8A64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77eaae5f3f3287304f74412ab11d87eda5bd150f","datavalue":{"value":{"entity-type":"item","numeric-id":5327440,"id":"Q5327440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$26FDDD61-F44A-4FB6-9E88-06249B4E35A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1681089fdef67870416d0771727c8fcb25923f7","datavalue":{"value":{"entity-type":"item","numeric-id":2043106,"id":"Q2043106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$3C728D4C-669C-4107-AC2F-7204B122484A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a4674bb2c9cdc7012d8653bff435a767ba1f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5136322,"id":"Q5136322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$EBDA9EC0-C17B-4EDF-8920-BD99FE621B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f1f3909f2af111421dff77e7d837fb8aff2f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5043589,"id":"Q5043589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$13CDAD8C-48F8-46D6-A896-36EC605DE410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c96acf389200ae0a7534eb1dede3d1d0c171ad","datavalue":{"value":{"entity-type":"item","numeric-id":5465860,"id":"Q5465860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$76D24533-A950-4E15-85AA-304497FC9D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b994d799263a2da1c4df99e27b5f6a0650c15c","datavalue":{"value":{"entity-type":"item","numeric-id":6560927,"id":"Q6560927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$32C5B9BE-9D95-45C1-A56E-FFB649C621F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff0d4dd97452ea265c9589bbf1435eac1807dcb","datavalue":{"value":{"entity-type":"item","numeric-id":842581,"id":"Q842581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$B23D3D17-3442-4A2E-9464-A1F8F48AA1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc657c187c213c7332f24773a386e0aceca4cf6","datavalue":{"value":{"entity-type":"item","numeric-id":3297600,"id":"Q3297600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$0D089EA0-E96C-4786-A35D-F152C057AD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ca349cee3adc073f64ce48fa16675e4e333ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5716592,"id":"Q5716592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$5071F945-3B9E-44DF-BBC5-EF0619833648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$18AB8084-77CD-442D-BEAA-3130A651A8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038a119376752c8e014cdd5dc9e112517a380d5c","datavalue":{"value":{"entity-type":"item","numeric-id":4535033,"id":"Q4535033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$230387D2-6B6A-432E-A5DD-6C902A729221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f234712b1aa94710207e78d0463a15230877fc","datavalue":{"value":{"entity-type":"item","numeric-id":5897770,"id":"Q5897770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$4B976A10-A257-4E91-9B88-C81D1AD75B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782615f367b4c7981c5f415c8f3458e7e600e9de","datavalue":{"value":{"entity-type":"item","numeric-id":2978553,"id":"Q2978553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$D3960D69-B408-4900-B58E-1E474CFA883E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dd2a3abf043fa81e3cd0573192ece3199721d","datavalue":{"value":{"entity-type":"item","numeric-id":4031515,"id":"Q4031515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$762EC90D-78D9-492B-8277-3AB37C4633ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876966e46c21a2a7c1dddf246bcad45c3982f932","datavalue":{"value":{"entity-type":"item","numeric-id":2504549,"id":"Q2504549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$55CDB50C-3009-4BEC-A5C7-09ABC5F2A36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a613a47011f46503782be16fa8feb625c1aca7de","datavalue":{"value":{"entity-type":"item","numeric-id":2390212,"id":"Q2390212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$B2F546A5-A34C-45F1-9E18-660C0ECD092C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57bdeaf6b9cdfc933e31bac73bdbdcd7abe88f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5261522,"id":"Q5261522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925611$65AFEB40-05AB-4AEF-B2AC-E3B462DBC065","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed controller synthesis for deadlock avoidance","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_controller_synthesis_for_deadlock_avoidance"}}}}}