{"entities":{"Q6175602":{"pageid":13310490,"ns":120,"title":"Item:Q6175602","lastrevid":47879899,"modified":"2026-01-02T23:26:08Z","type":"item","id":"Q6175602","labels":{"en":{"language":"en","value":"Reactive synthesis for relay-explorer consensus with intermittent communication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7716074"}},"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":"Q6175602$795C10FE-0A3B-487F-93A9-11993A601B6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ea63c0dd3b5a2aa07cdea0c0449b25a5a447a10","datavalue":{"value":{"text":"Reactive synthesis for relay-explorer consensus with intermittent communication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6175602$8D2511D2-284D-4DAA-82F4-2277D637B08B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68644f975b79cd6d92d45bbe7563b0872bdd79b4","datavalue":{"value":"1520.93517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175602$0DB8B6F5-1C5C-4FBE-8A56-125D5830BFEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d094e88625daed009bf00b6d76625b4d7671537f","datavalue":{"value":{"entity-type":"item","numeric-id":6056074,"id":"Q6056074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$B1D7EF57-2219-466F-84C6-1B96C5B19808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3259cd35cf41c01882c86078b7ae6311aef3625","datavalue":{"value":{"entity-type":"item","numeric-id":5092242,"id":"Q5092242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$75D4CFF6-ABC1-40F7-91A8-E2F4E2C366C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18df74a15d9f7681bfbca2158383a74d3fd7f90","datavalue":{"value":{"entity-type":"item","numeric-id":903376,"id":"Q903376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$DEBF6245-FB24-4EED-A7F1-8B7FC5C1BC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487073ada51865d122949c4ee8319cc409a27d36","datavalue":{"value":{"entity-type":"item","numeric-id":306318,"id":"Q306318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$0A742462-AD8D-4627-8CC3-6B994B541B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47caefbee0f692fb956f72a0f304089336fad856","datavalue":{"value":{"entity-type":"item","numeric-id":254533,"id":"Q254533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$82ECDD23-6AFE-4554-A10B-3C8C4F17B9E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$E91E7316-19BD-40E3-BE37-B05A3A99F09F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee559c3a4fe5d145e61bbd36a28862ec3fe11592","datavalue":{"value":{"time":"+2023-07-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":"Q6175602$93071E34-2B52-4FFA-B042-37B665DB033B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcfd8a147b9234ab18f11b7435125332c54d836","datavalue":{"value":"93D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175602$6A6694A9-B715-4524-B6B4-6613FD652B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"087647ba2abb2bab4ed9f998c2f5e73922e112f3","datavalue":{"value":"93A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175602$A7A52036-BF74-4EDB-9CF8-FD85C09900BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0916e5de0ac6f52471290e56f7212aa9a67dd8fe","datavalue":{"value":"93B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175602$95EDBD07-DCB5-479B-AB49-456F59B6137E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175602$C8157972-C808-4E04-BA14-1BB7B165F06A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09c2cf06002dca268bf383023cd36be4a3918935","datavalue":{"value":"7716074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175602$93949A27-C963-42B1-B76D-CC522D7B3CEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61cc79fbecd7a7237d0440cd427ca9a105b86ce8","datavalue":{"value":"reactive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6175602$9C75C18E-CE9C-43F7-AB25-4E9F1F6879B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668f86223ea1efdfa344f0fac0cf5df3b0de7fb5","datavalue":{"value":"relay-explorer problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6175602$F36E3E1F-CF36-459F-AC2E-92DC57FC2270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ef7e432ee0b3184bdef5afcf1573d7973c999d","datavalue":{"value":"approximate consensus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6175602$B47BC9DA-A0DD-4BB1-BE55-FED2EE85F0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f1d62e8ac78a76d89134b40763241963d286459","datavalue":{"value":"intermittent communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q6175602$77486FB1-1F72-4A4B-B592-4B0A66B0181A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8f08d94ed7e2bdcd855f06f6d17a3525ec4cec0","datavalue":{"value":"switched systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6175602$7B6F4D34-7E28-4ABD-BF7E-46BC77CDC76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6175602$8E5763A4-9533-4329-BDE5-E7C9AAE4C653","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":"Q6175602$D2865720-4FCB-41AF-9FFA-B2C6DDB90D26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$D073BD68-11D8-44FB-8B4B-16625AC51E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$CCA92AAE-F0B5-4995-914F-D24A6F287B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe7671e09bbd8e49ad0b2de37562e08545bf086","datavalue":{"value":{"entity-type":"item","numeric-id":4566876,"id":"Q4566876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$ECECD4C4-0C97-456B-A173-36C5EABB4604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60e1a2b1e58c9a98baba5ece79ff00e623e2277","datavalue":{"value":{"entity-type":"item","numeric-id":357538,"id":"Q357538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$7CD3C5E4-DC96-46CF-82A3-B71A398E6FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aca5a16cf8aef5a40c9854d82776c3d10de0a1c","datavalue":{"value":{"entity-type":"item","numeric-id":2342509,"id":"Q2342509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$850F1735-BEB3-4158-B83A-E17D6C45BE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b76e379d67a63dcfbf1966cb6f73851d58c1a4","datavalue":{"value":{"entity-type":"item","numeric-id":2771497,"id":"Q2771497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$82A2569D-177D-4C15-91F1-E82E2E9A434E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"091dc0b09924d0f399cceae60e66da2fedcb4dda","datavalue":{"value":{"entity-type":"item","numeric-id":2982691,"id":"Q2982691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$B1E789B3-887E-418E-A1EB-3B2A28AE01F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d7b4a8070cb7aa2a77b6fce4dd16d14944ad259","datavalue":{"value":{"entity-type":"item","numeric-id":2356668,"id":"Q2356668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$B2942EBC-7908-492B-86B0-4937C02E533F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$77B3787C-29F2-420C-A9C4-5F455F9C2207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$497DCD5C-AB9A-4D58-B0C7-197D31263B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"022a678755b204cb930ec13fd506300d4568a4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5282232,"id":"Q5282232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$B7B7AE30-3F92-4436-BC9C-7129B9A27DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d4f2bed5fd09c5baca6f300ff04afb8879ef15","datavalue":{"value":{"entity-type":"item","numeric-id":4974480,"id":"Q4974480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175602$279622EE-6FC3-478D-9692-BEF1A7D9521A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56290b4dfeebb7bd8dc23dbb13234c5b3b490d46","datavalue":{"value":"10.1016/J.AUTOMATICA.2023.111075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175602$AE7E1E16-486F-4A2B-94B7-9CC806D525AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a0218a0bb7a072ba71be441785414e238c5ae4","datavalue":{"value":{"entity-type":"item","numeric-id":2933174,"id":"Q2933174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378e7738e666ae161b8f885c68917e68dcc231b6","datavalue":{"value":{"amount":"+0.7369287610054016","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":"Q6175602$7FF75203-499C-40A4-B3AA-14F6606F5BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8431f71ab8c4b30fb49717911f97016b1e4a2b3","datavalue":{"value":{"entity-type":"item","numeric-id":2007050,"id":"Q2007050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50da8875515469b1a387d1af72e04e031dfcfe04","datavalue":{"value":{"amount":"+0.7259466648101807","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":"Q6175602$0FFC522A-C44F-4151-B1AE-7BAD24293CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10682a168475e0ea1c97b7891ea91610cc3516a0","datavalue":{"value":{"entity-type":"item","numeric-id":1660685,"id":"Q1660685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78bc50e2411b191b0bbc5c8742e2208eabcda89","datavalue":{"value":{"amount":"+0.6944959163665771","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":"Q6175602$464DE72E-6242-44FC-A030-00EFD929175D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff96943f701b65dc88bdf509db5157d3e2e00ea","datavalue":{"value":{"entity-type":"item","numeric-id":2798521,"id":"Q2798521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5c12438cfd4cea60a76fdc8288a1c7d8b4d0bf","datavalue":{"value":{"amount":"+0.6882418990135193","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":"Q6175602$3EEE5A65-F8A0-4507-A19E-09A284DB2249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414a0f6ee5b496cec54e9a73e9c56fb2be8919a9","datavalue":{"value":{"entity-type":"item","numeric-id":5130090,"id":"Q5130090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0f3267a022f67cea5f7d7abf1ade0c907aba86","datavalue":{"value":{"amount":"+0.6875121593475342","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":"Q6175602$99B19BFF-EC3F-4180-9108-8F1D8EE0BAB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6175602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6175602"}}}}}