{"entities":{"Q2174019":{"pageid":2184762,"ns":120,"title":"Item:Q2174019","lastrevid":78270089,"modified":"2026-05-06T11:11:45Z","type":"item","id":"Q2174019","labels":{"en":{"language":"en","value":"Compositional abstraction-based synthesis for networks of stochastic switched systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7190697"}},"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":"Q2174019$6B191658-8566-408C-9F0C-BEBE2BEACA3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"545c16bb2aa4107d19658c2108c1372e05639321","datavalue":{"value":{"text":"Compositional abstraction-based synthesis for networks of stochastic switched systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2174019$2D4BCAE0-FC4E-44D1-8124-20EFF3D04846","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"721f271c28f71ae2beb1c48564d2018da6ec8de5","datavalue":{"value":"1441.93322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174019$E6D3D01F-B73A-49E2-BC95-4FDEEC2D3F07","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":"Q2174019$9C8203D3-A8B3-46B9-AEC5-E041EA41180A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66ab7a9759e1b34b547acdc6abd2881220f0b927","datavalue":{"value":{"entity-type":"item","numeric-id":2061249,"id":"Q2061249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$FD42A80F-22BF-4D80-9BA4-ECFC139E3D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae2161ef886d8ebd3f0df12de6de95980476e7e8","datavalue":{"value":{"entity-type":"item","numeric-id":1689366,"id":"Q1689366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$0A7BEEB2-8AEC-4E8D-88F9-7ACFC481D105","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":"Q2174019$55733203-8AE9-4040-8886-B44CFF7230CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15784d321aac3bade60fa378317d3f88af56df9f","datavalue":{"value":{"time":"+2020-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2174019$77C8E2FE-C7E4-4FAD-B0B4-C2051F00628C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0d86c8499e923fd4424ebd2dd0835c429ac702a","datavalue":{"value":"https://arxiv.org/abs/1912.11481","type":"string"},"datatype":"url"},"type":"statement","id":"Q2174019$938DD3EE-9065-4DF5-87E1-5CF14F1A65D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c72308024c44712d1b45ccc4033303f9087db880","datavalue":{"value":"93E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174019$D3488EC8-4823-498A-8A0E-27092BA5259C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174019$15F5A9F8-2C83-4C0B-886A-4A39019094F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38d2487ee4b6d9d6363a0214eff40b18ba208076","datavalue":{"value":"93D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174019$0FDC77FC-8677-4197-907B-F8B09459F449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174019$05502794-B8F1-4435-ADFD-3D1A66357469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20a9144c47525561b3a24eedf53da9ffff9498f","datavalue":{"value":"93B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174019$D5C5E575-4DFF-472C-911C-F1CAD879AC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174019$C84E3A10-977C-4C8A-B66F-D73E1FCE1497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174019$60D82B2B-F16B-42FC-8C47-B2D375EE53BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e679cb93dfcf457d408276cdd020d63e2b42bae5","datavalue":{"value":"7190697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174019$4D3FEE92-B89D-4859-93CB-F853FEB90182","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb9f1e73d7b37c36336b5ecc79ab01b54115268","datavalue":{"value":"networks of stochastic switched systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2174019$7EA049F2-AB69-400A-BD8C-A8AC6CEB5C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"610fc10e01e9d3d63f0625c54509b79bbf1cb57d","datavalue":{"value":"finite Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2174019$F1B38F6B-6339-4C7D-A94C-907DF6659AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ba376d2cbc08bf8bb851c0e62cb53df5a959189","datavalue":{"value":"multiple Lyapunov functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2174019$47E512C7-49EE-4BDB-A962-B6B33AA5B8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c327bd69869de5438965808d7fb8ae9e61bb3d32","datavalue":{"value":"dwell-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2174019$63456315-309B-44B8-830C-9AB480113FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20092a53b1946805fd49ddb0a9b5a9dbc5263bb4","datavalue":{"value":"small-gain conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2174019$11535C63-7346-47A1-8D2F-159533AAAD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2174019$33C1300D-B1E7-49AD-9460-EA9043729A36","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df08836f1fa379e8ffdb746fca562955f0fd3fb0","datavalue":{"value":{"entity-type":"item","numeric-id":35453,"id":"Q35453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$5EE43FFE-3C51-4650-B48D-FBDEA4C2F2D6","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":"Q2174019$8FC4AA0A-3643-466E-836C-0AFEF9BD2A57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f283ebe71201bd774e94e6043cf1e8e6e851cbf","datavalue":{"value":"W3001057880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174019$9EDEC1F6-AC1B-43B7-9D5F-96FA5452F1D4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c98f7495085f3e4962d3003090efed6978d04e29","datavalue":{"value":"Q126289751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174019$4A34A99F-133A-4B42-AA00-34F641A62B03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$C7634079-D1B6-4232-841B-91825D86C7BD","rank":"normal"},{"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":"Q2174019$BAD39B57-B15E-4A3B-BC30-3D60453C842B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0836bf7b7beff8f2a8306667b85775d82bd30d46","datavalue":{"value":{"entity-type":"item","numeric-id":3190116,"id":"Q3190116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$8E9FB2B9-34D4-4EB8-93EF-EEA9E218D4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b609f396e815552b36cc86d98afc15dcebec87ba","datavalue":{"value":{"entity-type":"item","numeric-id":813993,"id":"Q813993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$2D155FB6-24E8-412C-BEA2-EC57CC4571F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b5750a5485d8cac849f8a524ba2d5efd549c40","datavalue":{"value":{"entity-type":"item","numeric-id":2641908,"id":"Q2641908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$F0822D3E-AC4B-4DD4-AB5A-CD33F1FB7B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d189279e3f4609e481cef5e620f06bc32b0a37","datavalue":{"value":{"entity-type":"item","numeric-id":3058497,"id":"Q3058497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$3EFA740A-70CF-4829-B5F5-6932FAA2A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af8254ee87f2ae41b421ffad0dda95b98544ebd","datavalue":{"value":{"entity-type":"item","numeric-id":2986774,"id":"Q2986774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$AD4D388D-6D17-4CE3-BA7E-16472CF0FDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b406f9b9ed254ac478a4a13f1c477e4396481d6d","datavalue":{"value":{"entity-type":"item","numeric-id":2248073,"id":"Q2248073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$7716DBBD-724D-4507-B681-8CF3B108B74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba9bcad470813439b1f4366c75af52a8b006228","datavalue":{"value":{"entity-type":"item","numeric-id":4974594,"id":"Q4974594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$995ADCBA-98B9-488A-B401-D2054D4460BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d6d7ea1c2593dc2afe17c267994ae12165390","datavalue":{"value":{"entity-type":"item","numeric-id":4357240,"id":"Q4357240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$197FE1C1-191A-4118-B247-450BAADA481E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad772b9f8f3d355ea62d5749b7e362495aba60d","datavalue":{"value":{"entity-type":"item","numeric-id":2986935,"id":"Q2986935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$D3478A8D-8C83-405B-9E79-A4B5B137B903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f50035fa0aa862d7cdcca82b6f68e0a318f4277","datavalue":{"value":{"entity-type":"item","numeric-id":2555027,"id":"Q2555027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$4241EA65-170D-4651-BBF3-56BCD42A589F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47240905522e81697c9e35bfd396ff2b74e83a0c","datavalue":{"value":{"entity-type":"item","numeric-id":386007,"id":"Q386007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$3C2055AD-20D4-4C13-9FEF-2B49D26596ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$26539F63-3E30-4187-BD50-6C0F271F44CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41446201d6d7e8e9cc833fa85d10766b4e69b3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4561427,"id":"Q4561427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$B443D9BE-2F42-4620-8D66-20FB22744DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b97dd6e4da5fc1bc7bbe602f409ce0a1332650","datavalue":{"value":{"entity-type":"item","numeric-id":2280818,"id":"Q2280818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$C1172FBA-1F1D-4CE2-9D96-7805DF6A6C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c090fe1b38ffcd772b08ec2baa6aeb6b3f749693","datavalue":{"value":{"entity-type":"item","numeric-id":1407764,"id":"Q1407764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$A34959E2-D319-4943-B309-62D28650D8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda5b9e55b947aefd99046870258f41ddaf5aa50","datavalue":{"value":{"entity-type":"item","numeric-id":5689349,"id":"Q5689349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$2F71D306-C8F7-46B3-82B5-78A2BD8BF05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751bbd47eaa986a5f3f9d113493c9ea8e36caeb3","datavalue":{"value":{"entity-type":"item","numeric-id":1430517,"id":"Q1430517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$3845A0E1-37A1-43D4-8CCA-3382B73A711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae03ed65447fdaca871d58b63af29f543bdddbe","datavalue":{"value":{"entity-type":"item","numeric-id":987436,"id":"Q987436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$E1414E8A-3163-41AD-8AB0-21A93091857C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$FCFF7F95-0451-4D96-8E8B-D489A8FEF6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db93349199195e492cdd6311f447f3ebef17ca42","datavalue":{"value":{"entity-type":"item","numeric-id":2871352,"id":"Q2871352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$E5D30195-7EC5-4F2F-BDCF-93FEA88587F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804445e4155e6e830be724c39b089b7bfbefb7d2","datavalue":{"value":{"entity-type":"item","numeric-id":523135,"id":"Q523135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$444FC5CD-45AF-46AC-BE90-21097A3B41D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$C0513F5B-6789-41FA-A44D-39C0C6B802A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f044759284fd8083b0664a825d09fe3fe5f9b375","datavalue":{"value":{"entity-type":"item","numeric-id":2986934,"id":"Q2986934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$4E4F3F58-713F-4B86-BD10-E5E3A961870D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def823ad586a4269a961f74ffd6e25e3fb5ebbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2983300,"id":"Q2983300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$5B0ECDD6-61E0-4F1C-996D-5A34DBB6581C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c801ad0ace05571a89ad8c6e79cc23230213f9d8","datavalue":{"value":{"entity-type":"item","numeric-id":2454178,"id":"Q2454178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$7C770C28-5B60-48C7-B7A1-E3F0D262A1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d6eb9652afa481067c4d5424a9ee6fbe0e407d","datavalue":{"value":{"entity-type":"item","numeric-id":1689367,"id":"Q1689367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$3C74C696-D945-4F2C-A036-F2E7B8238A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68eb73640497a027153e3b93caaa3e091576384f","datavalue":{"value":{"entity-type":"item","numeric-id":2982915,"id":"Q2982915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$8C0E0B1A-E62B-4709-9193-E1BA883BB136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7691e595de6fe4fbad474b1971dd2039e69ecb4","datavalue":{"value":{"entity-type":"item","numeric-id":5352632,"id":"Q5352632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2174019$119C51BE-8BFD-44A8-8E7C-44039679C7FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11015c6c55cbdd95f28829c551a982c8b7ad0f09","datavalue":{"value":"10.1016/J.AUTOMATICA.2020.108827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2174019$66E60FB6-7FDA-44F0-8DAD-B67ACBA78742","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0007b05bea303a6c8522b32e1c41ca7ffd8f826e","datavalue":{"value":{"entity-type":"item","numeric-id":2178236,"id":"Q2178236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188b25604539399ffcf257731eef0a859a92cff1","datavalue":{"value":{"amount":"+0.8825587630271912","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":"Q2174019$6D97310F-29CD-4753-960F-53B50FF8F71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7bd29ca25d96319e4eee8f8df6f3cad692c711","datavalue":{"value":{"entity-type":"item","numeric-id":2280818,"id":"Q2280818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"431945eddba47d4a4b89a948c97b546aa552ceb7","datavalue":{"value":{"amount":"+0.8600687980651855","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":"Q2174019$0B7F832D-288A-4BD7-8DFA-7B263D68CA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683bce285d67cb61293777abd6263a3c4729d085","datavalue":{"value":{"entity-type":"item","numeric-id":2123412,"id":"Q2123412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0cd1e9297d17beb527568d7930ff57b6b3fa83","datavalue":{"value":{"amount":"+0.8284652233123779","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":"Q2174019$4D216EF4-367C-47BD-BEFF-6B127415DE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f2de31f7c98fc2ce21f223403a1d13870d60076","datavalue":{"value":{"entity-type":"item","numeric-id":2220062,"id":"Q2220062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967bb9bd36097ca2a04b56672b8e8ab30f8513ba","datavalue":{"value":{"amount":"+0.8144107460975647","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":"Q2174019$4904FB41-8445-4BA6-9F4D-FD8461CC7750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cacffafce500a034189fa9fe188e6c2d8a584b5b","datavalue":{"value":{"entity-type":"item","numeric-id":2280884,"id":"Q2280884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f6a0190267ecc68dc100ad979ac3bd8fcf4ac5","datavalue":{"value":{"amount":"+0.787561297416687","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":"Q2174019$E00EF5DC-DEA3-4C18-B2EE-D6A541377E8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional abstraction-based synthesis for networks of stochastic switched systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_abstraction-based_synthesis_for_networks_of_stochastic_switched_systems"}}}}}