{"entities":{"Q2280818":{"pageid":2291561,"ns":120,"title":"Item:Q2280818","lastrevid":73030383,"modified":"2026-04-14T09:32:07Z","type":"item","id":"Q2280818","labels":{"en":{"language":"en","value":"Compositional construction of infinite abstractions for networks of stochastic control systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145550"}},"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":"Q2280818$4EE7D1BD-03FB-4BF8-9B9F-4CE594B2BDDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0eebc9e77feec616bf52d674f03afc7899577cea","datavalue":{"value":{"text":"Compositional construction of infinite abstractions for networks of stochastic control systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2280818$0B16684B-D9DF-48BE-8B1E-985B5E4DBA88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2499068646137041d32d7425d62275be84f0a92c","datavalue":{"value":"1429.93139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280818$375526DC-37AC-4FF0-BAD5-CF940448580B","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":"Q2280818$DE82AC4A-6A26-46D5-88C3-668A9310A82D","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":"Q2280818$73926B1A-6ED4-41B9-9D2C-5C6FD8ACAD6A","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":"Q2280818$73A46A9A-1685-48BE-BA3C-8EF83BB21636","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":"Q2280818$F43C68A7-565E-4059-A21E-0F256040C873","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2280818$4A2DF6D9-47D1-4B4E-A57A-96BF9A2C7710","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"269770bc8882b97e5656c4b50d52d98a82a01d33","datavalue":{"value":"https://arxiv.org/abs/1801.10505","type":"string"},"datatype":"url"},"type":"statement","id":"Q2280818$96932521-F1FD-40B5-8B4A-EE2A4EDB7FFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20a9144c47525561b3a24eedf53da9ffff9498f","datavalue":{"value":"93B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280818$23B35940-0620-4681-AD3E-38C88F944A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd87a0473bfa14f58600a7b373a6a1e6cb1f2980","datavalue":{"value":"93A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280818$685E02FF-F9D8-42EE-A777-462F3623D64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280818$FC140803-B219-4B9F-9182-758F6AAE3E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280818$AF8580DF-88FC-42CD-8E3D-3C19C0E7EFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280818$5BFA195B-0744-47F1-A0D0-1ACCF2FCCD09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fb9ef8da0fc0e56a72ea9074b9b8fe469ac1863","datavalue":{"value":"7145550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280818$A154D05F-EA54-4EE2-B443-60F1C98309FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66dc1fdc7ae9d722cb2b673723f9c89f9ffd18c9","datavalue":{"value":"networks of stochastic control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280818$0D8CBCF5-F158-4BC4-BE75-D0461E690040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4252e236a8964af70732b102fd6a61203000c12e","datavalue":{"value":"infinite abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280818$EAC61669-013F-4DBA-91FA-1C9FC577CF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280818$7009E34A-FC15-48D4-93B7-D3A0BC34F8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e7935ff793d1a214984badb3dda354c84f5f88d","datavalue":{"value":"dissipativity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280818$997E9791-5CD0-4A07-B40A-CC2E9C8FF681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb98b1b0d1260ad3bb232576900e6e1506531b4","datavalue":{"value":"formal synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280818$7492866E-97DB-4CE7-91B8-17725C56DA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c443d318ab5c7a24244c5c1abd647447dc7a5ab","datavalue":{"value":"co-safe linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280818$3E280978-2A9D-40A7-BAA0-6052BB2279E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1c691fae64baf81d14e45b8a7e4d6a630c6b56fa","datavalue":{"value":{"entity-type":"item","numeric-id":31993,"id":"Q31993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280818$34D199AB-551E-490F-9206-828658B1AE0A","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":"Q2280818$B65984CA-B330-4BDE-9395-772BDD005D7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf08199ecd7c20ddbb651eca439e4762fa969a58","datavalue":{"value":"W2963686733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280818$A46AFF31-AB4E-4776-AF08-94F7F742023C","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":"Q2280818$2DF10811-5221-4586-B024-03C8A88885FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22df3b3254b96a6a1b0543a294996584ffe2e218","datavalue":{"value":{"entity-type":"item","numeric-id":5310048,"id":"Q5310048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280818$A63722C2-4766-4620-B510-0263EB69E499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae96bf1835bc8159afb0def73c1f3626cdf3000","datavalue":{"value":{"entity-type":"item","numeric-id":2799496,"id":"Q2799496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280818$9ECFE2BC-136D-420B-BBA6-D5FF964837BB","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":"Q2280818$A4461947-AFFF-40FA-B91D-D7C855F7186B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7311c2cc3ee6e63514aa6bee27428e1f9211cb","datavalue":{"value":{"entity-type":"item","numeric-id":2012356,"id":"Q2012356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280818$2EDF1FA7-0A28-44B5-8589-DA37BB892AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4dd3237587acde4ab6be0547ecd2958e02b054e","datavalue":{"value":{"entity-type":"item","numeric-id":1012892,"id":"Q1012892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280818$B1B167E3-43F8-46D5-A114-BCE363EA38E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d27dacc5c86087ff2495c99b8279b01d00250f","datavalue":{"value":{"entity-type":"item","numeric-id":2716030,"id":"Q2716030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280818$FDDC2149-37AB-4A63-8383-EE80C44B5045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a19bd5ba45bb38b70623f2b98ba350ea801f89","datavalue":{"value":{"entity-type":"item","numeric-id":5348126,"id":"Q5348126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280818$EAD9A205-CF62-425B-9B4B-747132672004","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":"Q2280818$B6E3E19C-4EDE-46C1-B523-A0C6F66F1FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280818$95EB2854-75B0-4691-9C37-BB0DB1C04E1D","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":"Q2280818$8D1DB25F-66D3-41C0-8758-FF240FA79672","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":"Q2280818$ABF37FD6-CBEE-46A6-A9AD-282D1B9C31B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3515890ca165cc8640106ea5636e2eceb7ca41b9","datavalue":{"value":{"entity-type":"item","numeric-id":5223778,"id":"Q5223778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280818$C7A63E99-C005-4981-AC89-99419C2C71A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b17440c3a5fcd63c00e2237db83c791bc44633","datavalue":{"value":{"entity-type":"item","numeric-id":2988967,"id":"Q2988967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280818$DA923CA0-BE53-40C6-B300-483B42E2657B","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":"Q2280818$5C612398-D5D6-4A64-A62F-8F6914AF851D","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":"Q2280818$7362DCE9-E4C0-47F4-BD5E-184E76B7F080","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":"Q2280818$BD618E2F-D32B-4988-82BB-407467D9E6F1","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":"Q2280818$A63CA002-1589-4DD1-95AA-5E91CCFA14A1","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":"Q2280818$54A27CA1-A3EC-4FFC-B7CE-B2D1816F2CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a4124d76e5449877c4923a5fb858149480e879","datavalue":{"value":{"entity-type":"item","numeric-id":4630123,"id":"Q4630123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280818$E5388103-4228-4A51-B4A5-927FA94D7B72","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":"Q2280818$E5963B64-EBCD-48AE-8C7B-D917308BA09C","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":"Q2280818$8DAB148B-D914-447A-8BDE-5548D9D3FB74","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7265a820c87e4ac9278d602471959e88a0b711e8","datavalue":{"value":"Q127752288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280818$88A7AE20-28C7-4E1E-A1B4-7C8F2AFD96AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c5885b7721ccb627821d28692d75207f2a2c796","datavalue":{"value":"10.1016/J.AUTOMATICA.2019.05.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280818$72E06239-ED1B-4C07-87AD-2C135E935B40","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":"4031155df3e9539fbfb5fed20112552ae9daff85","datavalue":{"value":{"amount":"+0.8862526416778564","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":"Q2280818$32DBD437-CDAB-4215-8125-107FFDDAC8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937538e02784c8ce4c9a204c22dbf9ad145fc74b","datavalue":{"value":{"entity-type":"item","numeric-id":2174019,"id":"Q2174019"},"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":"Q2280818$EF13F4BD-FD88-43D3-A6BB-29062992F23B","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":"010740d53f28b30b03da3244ade74c042e6c692c","datavalue":{"value":{"amount":"+0.8530976176261902","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":"Q2280818$DDF000AB-0137-413C-B880-4CFDE90221D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948e9451e26d912af2dbf270393bf725aa87dace","datavalue":{"value":{"entity-type":"item","numeric-id":2988917,"id":"Q2988917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36a0e8237091b1b924fd85321a250bf474cd0a2","datavalue":{"value":{"amount":"+0.8149561882019043","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":"Q2280818$23AF614A-B8CC-42AE-80EF-13D0D2FA42DF","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":"f7be7fc653e2dd996f9df7141759ba0268b82369","datavalue":{"value":{"amount":"+0.8076437711715698","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":"Q2280818$A077DEFB-BA29-485A-A369-2CC24D16A5E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional construction of infinite abstractions for networks of stochastic control systems","badges":[]}}}}}