{"entities":{"Q5091107":{"pageid":7120683,"ns":120,"title":"Item:Q5091107","lastrevid":55885024,"modified":"2026-02-20T20:13:49Z","type":"item","id":"Q5091107","labels":{"en":{"language":"en","value":"Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561457"}},"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":"Q5091107$F0A7E7A4-E6FF-4C57-83D5-4166DBD4156A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1061ad095d7f33540f15856a44a3b80cd86ddb6","datavalue":{"value":{"entity-type":"item","numeric-id":2303885,"id":"Q2303885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$886DCCC2-1892-4400-A1C4-9201B0D4E207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eb8633d4fc2fe019d53117ff3be83d3e76af59d","datavalue":{"value":{"entity-type":"item","numeric-id":2303886,"id":"Q2303886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$D4D4CE2E-2F0F-453D-BFB4-69C5EC307AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$318100E9-DFE5-45EC-AD9E-8E770E6D5978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd180bf3869763f3f572490f3c0f985a05a6d09f","datavalue":{"value":{"entity-type":"item","numeric-id":832223,"id":"Q832223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$EA33344F-D767-495A-B0C2-CFE6745384C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5091107$1C3A2A94-8B52-4E8F-97AC-B2F11A098CBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091107$83BD49E0-9B15-4754-BAE9-C2EB290FAF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091107$FAE7BD0D-9D68-4A66-BC8F-AB2464DD062A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ff63867960d343e87dc67f33e4bbd9eb26c9da4","datavalue":{"value":"7561457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091107$FD52555F-FF90-47D4-8478-EDD51C9C04E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7502229eee5329a2aadd175b41632eab38086e3b","datavalue":{"value":"parameterized synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091107$E2B3A0BE-67D1-43CF-ABAE-513C8EE069E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5037dad296a241cfa4d4139d1f63309727fd86f","datavalue":{"value":"self-stabilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091107$078FF007-08C3-4B39-B74E-60693FBE3F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091107$8A3DE260-4829-4A76-8EAD-F8180E59F2E0","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":"Q5091107$E397BC54-2CAB-4D9C-B1B5-68D85982A4A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b471635e2253b7ee28e02a5d7def6d2c33aab36","datavalue":{"value":{"entity-type":"item","numeric-id":4633532,"id":"Q4633532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$807E5B86-0E04-4DE5-948E-450FB357F7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$B5907E8A-AD84-4192-803A-E50DE7C475A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9fc1fed289ec2e07d145680ed090fc8df7f131e","datavalue":{"value":{"entity-type":"item","numeric-id":1083187,"id":"Q1083187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$B3928793-F658-4280-9D46-C2EA474E5370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$0BA6E1E7-3E72-4258-B891-1AA16A97E142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$E416B916-0387-443E-9929-06D51A4A99DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1d9b8b284ceeeebce1c66c0271575268ba2eff","datavalue":{"value":{"entity-type":"item","numeric-id":5045444,"id":"Q5045444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$32BCF26D-D119-4D49-8405-7F345E65BF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2c82df1f597e1a878710cfc3920bb910f7b0b7","datavalue":{"value":{"entity-type":"item","numeric-id":4603447,"id":"Q4603447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$73CFBD9C-6E27-4C56-99D8-E25ED6785C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df398e3a53c79af1d031e755ed11a5588d62b8d","datavalue":{"value":{"entity-type":"item","numeric-id":2891413,"id":"Q2891413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$72A5269B-C875-4D85-8D41-4027ED5CF60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0740bce08778ef602abcc1d70be710e455d901d5","datavalue":{"value":{"entity-type":"item","numeric-id":5404478,"id":"Q5404478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$87430E61-5260-4978-84CF-20010C3BB05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2768bf8a06740f15968dcb91e83d15f35832498e","datavalue":{"value":{"entity-type":"item","numeric-id":2926642,"id":"Q2926642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$B8AFBB5A-FB71-4C21-9FEE-98D1BB4E5D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b323833eecc9e9a17ecfa18ad3be1cdaf4ec72bd","datavalue":{"value":{"entity-type":"item","numeric-id":2948235,"id":"Q2948235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$D64C3D68-6E2E-42FE-AB23-5622BA8460B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdaf6990c2cf30cc866036765e86f5665e8b94be","datavalue":{"value":{"entity-type":"item","numeric-id":3300835,"id":"Q3300835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091107$281CF339-9494-4E07-AE51-9C2570AB6E5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3deabdff17b94f68915c3ac4d705f4e1827b60cb","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/opodis/opodis2018.html#MirzaieFJB18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5091107$7EBB13C4-8059-426D-A345-AEB3F1B64C0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09dee57ff39c086199ce5de8f6f86efcb7c729f9","datavalue":{"value":"W2995194729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091107$2B94BDC8-3BEB-4342-B267-BB88C39E83F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d78dbd4124b3d114b8be5bf7ff8a68612f4dfec","datavalue":{"value":{"text":"Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5091107$B5EAD9AD-EB79-4BDA-8713-FACE99CEFC01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fb63073c3bf5de9a1cb2043cbdf3cca659469bc","datavalue":{"value":"10.4230/LIPICS.OPODIS.2018.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091107$8C583F8C-36C1-41D2-9B09-117263342E65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2842fee154f3579539ca40307ef46d07666c165","datavalue":{"value":{"entity-type":"item","numeric-id":2303887,"id":"Q2303887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea4653046e983ce4116f2958231a35bae40fd37","datavalue":{"value":{"amount":"+0.93591577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5091107$1C2A96B8-DF1F-4B3C-904F-4B552AF1C276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4625cce056a64294ab368f46a78587c0403834b7","datavalue":{"value":{"entity-type":"item","numeric-id":2949709,"id":"Q2949709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9f7466a7c071ff72cb1b3813d19adfcaeba03a","datavalue":{"value":{"amount":"+0.89076114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5091107$21276358-8D38-46C9-9A4D-36BD28C2A83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b16b53256301fe34bd4f98ea1516118bba018f80","datavalue":{"value":{"entity-type":"item","numeric-id":4875231,"id":"Q4875231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0caaac1c6c7f263185158ce26a05d4f81dfc27de","datavalue":{"value":{"amount":"+0.8855629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5091107$8FAB9345-7C76-459F-98E4-05A27FCC5383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dfefc78e74a9cdd34f6e1283029c09f3e93acd4","datavalue":{"value":{"entity-type":"item","numeric-id":4603447,"id":"Q4603447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c68de4411ab483c6637253f32c927ec4cd18d20","datavalue":{"value":{"amount":"+0.8710504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5091107$CE902529-5140-4154-A55D-A6FF77FE8D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9dd1d470dd316a2b3a589c30afe5c5a5f47d090","datavalue":{"value":{"entity-type":"item","numeric-id":4972154,"id":"Q4972154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9093ee8a798d444bee0c438d119adf6a41fd02","datavalue":{"value":{"amount":"+0.8562888","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5091107$1BBF75E8-3D28-404B-8CAF-D9EFEF9E151D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b5a01dcabfb25d4acd23098168f8d26b29ec16","datavalue":{"value":{"entity-type":"item","numeric-id":5464194,"id":"Q5464194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615860f90027e61fb7165fc2c36f0f23da5d7c6c","datavalue":{"value":{"amount":"+0.85532975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5091107$FAE5AAE8-8EF7-447D-B1E4-8A31B0F55B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06067124c50c414300617cc2afcbecd48e4915d","datavalue":{"value":{"entity-type":"item","numeric-id":4281546,"id":"Q4281546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cfa16ac98b8947863939702582d30b2526e3aea","datavalue":{"value":{"amount":"+0.85096174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5091107$30B75CE3-BDBE-4E46-AEA1-58D60F8C2F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"378b91d17b54025dc2fa49ceec9ef023e7adb9fc","datavalue":{"value":{"entity-type":"item","numeric-id":4633532,"id":"Q4633532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82b69b9ca501606239319628f12df9807d23426","datavalue":{"value":{"amount":"+0.85014254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5091107$AC810945-C06F-4A93-AB44-63E703025C95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5091107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5091107"}}}}}