{"entities":{"Q3172858":{"pageid":3183568,"ns":120,"title":"Item:Q3172858","lastrevid":85992629,"modified":"2026-06-03T13:15:55Z","type":"item","id":"Q3172858","labels":{"en":{"language":"en","value":"Composing stability proofs for hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954733"}},"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":"Q3172858$3533910F-E273-4C4E-BA3D-128C4F06B91E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b9d46d8a260d8dbb6c5eba723bbc687037408f8","datavalue":{"value":{"text":"Composing Stability Proofs for Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172858$362CC969-4E55-40D4-B26A-EAD5AB7DAEE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e60918731fdc80ff3417c7e2bb0b42bd02e3ef7","datavalue":{"value":"1348.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172858$BAA46C07-66E1-4B18-8302-28C017462F20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69042b49d1c1d0ef493f5fb79b66fd004a1def33","datavalue":{"value":"10.1007/978-3-642-24310-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172858$B9C44A2D-28D1-4C47-A447-0D468513B4AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f071835643aa3805cdd2d1eabb080d9e13587d0d","datavalue":{"value":{"entity-type":"item","numeric-id":3172857,"id":"Q3172857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172858$C36E119E-35CF-4FF3-89B1-0E7446C56186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172858$CA993958-9E44-42CD-8337-EB81E803EF12","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":"Q3172858$011918E8-D7D5-4864-9105-E11C561D07BE","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":"Q3172858$AFBCA345-FE8E-4CF0-A5FA-E805A645FAA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172858$233B9153-479D-4B81-9357-C923B8C67EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172858$B245CE30-EE61-48E4-905B-F37B006C264E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11589af38a539e8d8a84ef76007cad87372b080b","datavalue":{"value":"93D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172858$6AA87FDA-3AE5-485D-A146-029607133AFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c9a7fb7bb6358cb90ed8f1c1ed25d97c3936778","datavalue":{"value":"5954733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172858$34119390-D6B9-478B-B95B-683D0E8ED24C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172858$A766BF33-B895-489B-AF7D-B42731DC1406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172858$F0847F9D-7DEA-4D85-B045-5DA61887119D","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":"Q3172858$947B7CE3-4B90-4B7A-88DB-929DA906DAE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cefe75c75be9cd47ede267609e1a77969db7c9b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24310-3_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172858$46208AAC-B963-4C2C-9A35-30F2FCA35C1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e74327df3ed29e778271f3b0cf293a72d62dfe7","datavalue":{"value":"W197679583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172858$50E79D49-8971-4F7F-9B19-920F59362E21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172858$D23BF3F8-4E25-4FAB-86AD-EDE30F41C2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8450c52594cdd408aed18139dccb491f1ec3b559","datavalue":{"value":{"entity-type":"item","numeric-id":4931283,"id":"Q4931283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172858$4618B85C-4316-4C46-BE34-49A1C4A002FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172858$0483BC57-A0CF-45BA-B28F-8400652BD72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c563860f739c4bf7a3cb0074bffad21c50245f8f","datavalue":{"value":{"entity-type":"item","numeric-id":5899000,"id":"Q5899000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172858$43366A0E-3266-47C5-BA54-B3493B4E5D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa280ac5174b7f3585bd6675ac7a2f743aac19d","datavalue":{"value":{"entity-type":"item","numeric-id":3510850,"id":"Q3510850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172858$173D6287-F37B-4CFB-8B83-42F5F0F7B519","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49deaaf0f94a6ed8ba2e667602fd140a73aab5ce","datavalue":{"value":{"entity-type":"item","numeric-id":3510850,"id":"Q3510850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0017a364e46a12dd56bdcbf56ad7ce5a66eaef","datavalue":{"value":{"amount":"+0.8382450342178345","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":"Q3172858$0743E601-0556-48B9-A09D-C70D85E80F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4968961eb7f836ce8c2b4c51e3f290a3e161268","datavalue":{"value":{"entity-type":"item","numeric-id":4931283,"id":"Q4931283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dcc847014ac8e76725cba91d48974db993a6f28","datavalue":{"value":{"amount":"+0.8276723027229309","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":"Q3172858$C308F25D-C3D5-451C-8642-F167053AFC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a130a4288260334ac89eac7d4b2f2e7f869d4843","datavalue":{"value":{"entity-type":"item","numeric-id":5899000,"id":"Q5899000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c319215fc477801888b08ef6105193cc4c072d","datavalue":{"value":{"amount":"+0.7708773016929626","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":"Q3172858$43303F55-518D-4500-90F3-EF11B1E95CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111c8abd414d1e9c55dc8eb82b2d7b9d5e7a17c9","datavalue":{"value":{"entity-type":"item","numeric-id":2945598,"id":"Q2945598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb26a4751a97ebf3a0504e73bf738ae3c45c08b","datavalue":{"value":{"amount":"+0.7342784404754639","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":"Q3172858$D9CCE5C0-B5A3-4221-A6F0-E943890E0B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b4d3c7f493349733a9b0391978184bd98fe593f","datavalue":{"value":{"entity-type":"item","numeric-id":2986914,"id":"Q2986914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec0d725de1eaf5dc02740417e09a1f782645ca2","datavalue":{"value":{"amount":"+0.7189937233924866","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":"Q3172858$19E464A1-A40F-491D-8305-05EB5648E4EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Composing stability proofs for hybrid systems","badges":[]}}}}}