{"entities":{"Q3172856":{"pageid":3183566,"ns":120,"title":"Item:Q3172856","lastrevid":51341825,"modified":"2026-01-17T20:25:26Z","type":"item","id":"Q3172856","labels":{"en":{"language":"en","value":"Incremental computation of succinct abstractions for hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954732"}},"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":"Q3172856$9D9980D6-DA72-4666-A9D4-7030117D39F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff50f21acec57cefc39e45cdc3eb680e5f58ecf0","datavalue":{"value":{"text":"Incremental Computation of Succinct Abstractions for Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172856$6358263D-E7CD-4E94-8097-CF1911459390","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c4e2f1accc1fd087db36f4fd9f31712f2c64ffb","datavalue":{"value":"1348.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172856$84AD1953-E176-49B8-96AE-EF115C0E28F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"810420bb25d1268f1910ee82ae855e23419a41eb","datavalue":{"value":"10.1007/978-3-642-24310-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172856$345ACB79-850B-4E14-8E06-C0BB1A2E97A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97295b318e54292ff588375cd997a35d62b55054","datavalue":{"value":{"entity-type":"item","numeric-id":2346282,"id":"Q2346282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$F5A8A6B5-4F6E-4A3A-9F93-332E0A562836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e504e5c78f160847d88d111e5ab65b0189aa771b","datavalue":{"value":{"entity-type":"item","numeric-id":389833,"id":"Q389833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$F3B5C8F2-6C40-459B-A240-27C5406B433D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$E5FED05D-6BC8-4CE0-A81C-C7A489E1C22F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172856$8CE5997C-7EA2-4BBC-8BAB-783C383B2A0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172856$9F4BF0E7-45E4-4936-A1E9-63FDFEC8DBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172856$74BFEF76-9597-48B5-8EDA-C436449B6C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172856$B23F5902-DB69-49F8-AC40-D9D82CAB94B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cdd161f63dd60353e9cfb50edd01a8c2d598ca0","datavalue":{"value":"5954732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172856$1ED84832-B2BC-4418-AE7A-82D73D08A59D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$F1D58554-7801-419E-A2C6-FC6E0DA5D92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$A84E8A64-29A4-4678-828B-F1C0E87395A0","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":"Q3172856$246EB4A2-81B2-4302-9EA5-37E9752EED0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57f5ddad0124622df4e1a7f9fe38b86a8f2626fb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24310-3_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172856$FCCDC8EF-4BAF-491D-9E11-558D1F4CCD1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab14cf4b3f484af5263993e797b7fdc2dec9a355","datavalue":{"value":"W2154637232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172856$0EDF80D7-3434-4D74-AAA0-40FB7824DAB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d5ac330b61c9474502155950ca0e46acbe352a","datavalue":{"value":{"entity-type":"item","numeric-id":1960525,"id":"Q1960525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$8EFC4BB5-F8E0-4FE2-AD33-218FD135CB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349fa0bbc46d88f17de1610f90d279b612f62ded","datavalue":{"value":{"entity-type":"item","numeric-id":3601408,"id":"Q3601408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$48D668AC-BCC8-4AA5-8079-D225EC1D7E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3e63c80eb78186ace2b0da5fec4010008404ad","datavalue":{"value":{"entity-type":"item","numeric-id":5696927,"id":"Q5696927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$7D622D49-2A29-490F-A14B-D2297D317741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ab828076764dd3c1c3bcd0118a6663e784bb9b","datavalue":{"value":{"entity-type":"item","numeric-id":1071491,"id":"Q1071491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$9BEA3EB8-9BCB-4475-A1BD-1868ABC5B12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4e2c9ced5d4712927dadd7766b626d1457443a","datavalue":{"value":{"entity-type":"item","numeric-id":3426788,"id":"Q3426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$5B3E6EE3-6370-48EB-B625-B1B86FE9B824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$4530729E-EA42-4310-B378-26DCBBD8FA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd173596d7a74de8f64338b828f706cbd4fbeca3","datavalue":{"value":{"entity-type":"item","numeric-id":5277761,"id":"Q5277761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$6D78ECE1-3C04-49B3-B36A-D5081146064B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b664b48d3863cef99de8ca1cf666e1284f24b2a7","datavalue":{"value":{"entity-type":"item","numeric-id":3569093,"id":"Q3569093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$5F25E058-A489-485B-B1FD-254BFF9E0AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00e6460e0cc46faa6508f0969770a4212ece59b","datavalue":{"value":{"entity-type":"item","numeric-id":3637254,"id":"Q3637254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$B5D9F64D-3AD2-42F1-826B-FECA9C4CEE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ab6e8e0bdc75b20da172ab4510ad41a1c82a0e","datavalue":{"value":{"entity-type":"item","numeric-id":3608771,"id":"Q3608771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172856$E3991409-1232-43B0-8102-E265F1DADA0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3782bcc3f42ea1b7656de2420eaaf15658dcdf","datavalue":{"value":{"entity-type":"item","numeric-id":2496812,"id":"Q2496812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6996ec824207adf7f59781a091ea448f8d0bc6a0","datavalue":{"value":{"amount":"+0.8024972081184387","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":"Q3172856$41257355-1622-4819-90DE-D30B7A90BD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9370bfab7f78eeb6f2fc4c20aa56511d34c82bba","datavalue":{"value":{"entity-type":"item","numeric-id":4899747,"id":"Q4899747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f286eef4d25096067fffc98cb5d9d8b68624728c","datavalue":{"value":{"amount":"+0.7786974906921387","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":"Q3172856$C0838FDE-9B07-46B1-9C7E-339DA75526A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf526ce1d9380790dd1bf506f9c4d85c60e90d5","datavalue":{"value":{"entity-type":"item","numeric-id":2475634,"id":"Q2475634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a00eecfeba3ca8a2b18f1b6005b224bbccd4ef","datavalue":{"value":{"amount":"+0.770733654499054","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":"Q3172856$3C32B8B4-22EC-41F1-BEF1-7E7D864ADADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44bd7aa7a5d5233a507b672bda57c22c035f24e2","datavalue":{"value":{"entity-type":"item","numeric-id":702842,"id":"Q702842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741eb39f5f5c127db6ff06f61f313e855881453a","datavalue":{"value":{"amount":"+0.7689912915229797","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":"Q3172856$EA6079FF-76B8-4816-97E7-364397C90E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bfd3bf7acf66669831da12c2fc5590b340ea59","datavalue":{"value":{"entity-type":"item","numeric-id":5307955,"id":"Q5307955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5bf750f49fcc15ee0ea6b06f329b7db779a630","datavalue":{"value":{"amount":"+0.7622242569923401","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":"Q3172856$B97F9629-17D1-4E1D-860D-ACC0F9EBC138","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172856","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172856"}}}}}