{"entities":{"Q6667977":{"pageid":14279134,"ns":120,"title":"Item:Q6667977","lastrevid":99960023,"modified":"2026-06-05T21:06:15Z","type":"item","id":"Q6667977","labels":{"en":{"language":"en","value":"Scalable synthesis of safety barrier certificates for networks of stochastic switched systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7971975"}},"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":"Q6667977$37357128-883C-4092-855A-14FEBD8F2626","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55df1b4ded4c1fb9460a4f684642a4b0cb2ae3b2","datavalue":{"value":{"text":"Scalable synthesis of safety barrier certificates for networks of stochastic switched systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6667977$E9D06019-7000-4D06-AE3A-B7C43FB85475","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bf57d30ec888b0692bbfbe98ecb4dcd3426636f","datavalue":{"value":{"entity-type":"item","numeric-id":2061248,"id":"Q2061248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6667977$FC38B2C3-6D15-4F07-BA6A-406D499009F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9f5ee9d87abe8ef5a2f37caa0f5783a72505495","datavalue":{"value":{"entity-type":"item","numeric-id":397360,"id":"Q397360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6667977$EE135E25-505F-4984-857B-EC212E440A50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6667977$2CDECC1E-34C6-4305-80B9-AEF3E3875DA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f42f02f7dbd7e0b40146175c2c9e3f7c58ce8ae","datavalue":{"value":{"time":"+2025-01-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":"Q6667977$E05BF374-DAF1-43D5-A87F-E22E8059B387","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6667977$84BBFB30-B870-44FE-BE4F-4685056CEBF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77dee47a13fb502e26de1f746874fbbc63eb49b2","datavalue":{"value":"7971975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6667977$6E7CC626-3077-4B15-B62F-A8F4C3B42C4F","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":"Q6667977$346D9C16-40A7-4C3E-BAA6-34664C72C499","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d29763d925750e8d0f1a5711551c7c83e2ecb4b","datavalue":{"value":"10.1109/TAC.2024.3386633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6667977$81F41FD7-E2C5-482F-97BC-45A02B660DF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scalable synthesis of safety barrier certificates for networks of stochastic switched systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scalable_synthesis_of_safety_barrier_certificates_for_networks_of_stochastic_switched_systems"}}}}}