{"entities":{"Q2355695":{"pageid":2366438,"ns":120,"title":"Item:Q2355695","lastrevid":78844169,"modified":"2026-05-06T12:34:06Z","type":"item","id":"Q2355695","labels":{"en":{"language":"en","value":"Generating invariants for non-linear hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6463989"}},"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":"Q2355695$8A9C8610-BD25-4024-B0E2-44DDF12C2350","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c7b07636e6162b5b4e7e21e7adf0de507b6bfce","datavalue":{"value":{"text":"Generating invariants for non-linear hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2355695$4379DA3F-0F85-4E90-9D84-224C21A6A88D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58ea7fd32f17e934c3e2cc284d54094033a55d3d","datavalue":{"value":"1328.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355695$1C573E44-3C22-4E14-A942-B84B157B7FAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a39e86a8e0ed60736ef11909a69475bfa0cdc074","datavalue":{"value":{"entity-type":"item","numeric-id":903491,"id":"Q903491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$DE762765-2D0E-4E7E-BB80-2F0A0A057DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18bfce964e2970148187569860a0732d94e9c44","datavalue":{"value":{"entity-type":"item","numeric-id":473111,"id":"Q473111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$D1D8E136-21D1-43FF-B643-0379B5541DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3e5814b970b5f0fb67456a9171b66036917a49b","datavalue":{"value":{"entity-type":"item","numeric-id":891045,"id":"Q891045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$B7A3C29E-5170-4315-8F22-96085F4FCCAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$930EF2E0-543E-4002-A12D-D29342D8561B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffc3b242463a8a01767e25c752f32765f1655cfe","datavalue":{"value":{"time":"+2015-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2355695$27CD0D6F-3EBC-4640-946F-73E652AC1380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355695$60304B97-DEDC-4404-AEC6-140DB792DFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a45ae13c9fa089fa230a226367a6e2fc5f1bdfee","datavalue":{"value":"15A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355695$9021DE1F-740D-40D2-AF49-7B2AEF98990A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dac0104321263ac6733341018cefed745814b2b","datavalue":{"value":"6463989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355695$D0E7398C-8A1E-4DF1-A75B-0536D1527488","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355695$29575B46-D661-43A1-9518-3F944C718934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ffbc796b6c2ef973edb145bac0720f48a3bbfb2","datavalue":{"value":"inductive invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355695$460FAAD6-44C9-4C1E-B54C-030CCF4DFFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355695$B8DC48CB-F7E2-4457-834B-6BD70FA1261E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355695$E2A1EFF2-8CDA-44AD-B131-8BD18131E0F1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$10198C80-170F-4711-868B-9B2C6D843A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$292A86CB-3BA2-4D5D-B303-5B3EFF7656B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49f6fb65fa6d2a219475c4a5b936c8907f84d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$E86EF819-BDB7-49D4-B7B5-45897B362139","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":"Q2355695$C2339286-9531-47E1-97ED-101AD3479321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c78bdf0926b89a3e72d47cd1ab227eeb1025a90","datavalue":{"value":{"entity-type":"item","numeric-id":18756,"id":"Q18756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$07A64C77-FBF5-433A-A4D0-79523293B586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$9B61AAB6-2DCC-4173-AB4D-FB0ABB417B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7354bd697027c020fb16570ae4946efb0c24585d","datavalue":{"value":{"entity-type":"item","numeric-id":33168,"id":"Q33168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$BB27973A-E750-486B-92C5-13D79C0BF2DF","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":"Q2355695$CE7B3829-8D8C-49DD-85BA-502D254D78DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0579ee82a6c4ac75bfec31ef00bb1f870e08d48","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.06.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2355695$9329D6FD-D89D-458F-9787-E6EAB7E5AB44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93644e33ae73f482bd475b881392cbc61a34bbdd","datavalue":{"value":"W575850752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355695$9E0364BB-60C5-47BC-B297-AF55CF131FB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$0124BFF3-C847-45CA-B0ED-78BE2B46CAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$0AB0B9BE-DC89-4640-B9AE-37CFDE669DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b9426d95a45047c7f492ea88667b3aacb7e213","datavalue":{"value":{"entity-type":"item","numeric-id":2769581,"id":"Q2769581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$1FA581C3-846E-4908-9983-B6E39CF09949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$23029279-7AEA-4768-94F5-903BFCF12F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3933980b8109f0ae19c58483ed8b9de03b9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5307949,"id":"Q5307949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$391EB93D-10CF-4B09-975B-9F1D806B6AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb860ace0e36c82a8ecef7053057816d881aacc0","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$54C99714-EE4B-4A37-ADEC-28835964751F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$EF45A59C-FDFE-4150-8736-0EFC9D047288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9195c7bccf6268cd3d0f3a81790a3bb795e0fdad","datavalue":{"value":{"entity-type":"item","numeric-id":3523152,"id":"Q3523152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$A78F52D7-79ED-4401-B5A8-AF4636314057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8a8793af4c14bbcf0b75f37c3935a925b97b35","datavalue":{"value":{"entity-type":"item","numeric-id":5458327,"id":"Q5458327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$7471D1D1-DBBB-4832-83D6-A6E75834F52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68d6ad92cf5e3ae855a591ca8a5ab97abda3202","datavalue":{"value":{"entity-type":"item","numeric-id":4385444,"id":"Q4385444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$37A100B0-0851-45D3-86E9-50A0A9A9FECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$1F4020E9-28A5-4353-A3DA-D9D077F2718C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$439EA539-285F-48E7-A3E6-4DF4AF2926F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cfb6ec665f8eac1f665978ac78d9eeb093c3d24","datavalue":{"value":{"entity-type":"item","numeric-id":5191109,"id":"Q5191109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$C1D07B6E-BC5D-4687-BC30-8A1694E290FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$3A9B1B29-3010-4E10-8165-47A5AF99B49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ef9008a9fa143fe20e12a5c9881d6597928911","datavalue":{"value":{"entity-type":"item","numeric-id":5200035,"id":"Q5200035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$ABD4C048-A08A-4722-BE7D-A049371E6910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$8F7B553E-9CAB-4E78-8DC9-B79E6EC00F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7854915e8b14bf5eeae37a963b18599756769746","datavalue":{"value":{"entity-type":"item","numeric-id":5307955,"id":"Q5307955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$EB4403E5-C5C3-48D0-961C-7C6AC3906361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5334e67e9482e264bdd65149cb10cc8102a06b12","datavalue":{"value":{"entity-type":"item","numeric-id":5703954,"id":"Q5703954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$755455A9-99AA-4595-B1E4-BE5AEA6FCC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf5667edd20bf607f41849b86ac22a0984c3e35","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$65FE5DC8-7A9A-4E77-9D51-5EBBB555791D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9377181a9e08a416fe35940de91ede41e9957a","datavalue":{"value":{"entity-type":"item","numeric-id":3624557,"id":"Q3624557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$5779F60E-974C-46C2-8860-33FD76587017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daec60642aab6d1ca47f7b469286c97e73cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":3512492,"id":"Q3512492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$9379E1C4-4D17-4C8C-B3EB-BBB5C144199A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b246b64afaee2c41e55f38e2bd04fdfffe6b9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4930740,"id":"Q4930740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$2FE9513C-59E0-4AEF-88DD-18D0D8B130A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd74ede01d8fba384ce35d1357d4ab58dc8a766d","datavalue":{"value":{"entity-type":"item","numeric-id":3624592,"id":"Q3624592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$DF4E302E-8B7A-424B-957C-7D712E294950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db00714683c8cc2db4536d951ca1806c4763df22","datavalue":{"value":{"entity-type":"item","numeric-id":2986749,"id":"Q2986749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$9DF9FD61-FC58-461E-8C8F-2BF0EF15F8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd853cc714ef9f3573e45726d99028ac1f7eb4b9","datavalue":{"value":{"entity-type":"item","numeric-id":5505618,"id":"Q5505618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$1CCB3167-9C89-4B0C-B350-4BB3FF568653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97b423288db2cace6f38c3624e32868ede2ec55","datavalue":{"value":{"entity-type":"item","numeric-id":2985884,"id":"Q2985884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$643D2721-1D41-491C-A9B6-AB7FE270198A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7a095c5324affb0457dc3c701ea0f2b468905a","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$5AD4E33C-52DC-4D34-917B-639227BD9873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f0ca245493771193c72b8e649abd5334ef4752","datavalue":{"value":{"entity-type":"item","numeric-id":5317677,"id":"Q5317677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$9F1E3785-79B0-4BF4-A585-4B9311D19E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$D271E4B6-CB0D-4B63-9017-8C29733E4936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d2f52869cc0cd76376bff818708073df94b6b5","datavalue":{"value":{"entity-type":"item","numeric-id":2986831,"id":"Q2986831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$20D740CB-1926-47C3-8782-D23ED1D2C3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4816108848367538b034735ca1dc8b9222d53a2","datavalue":{"value":{"entity-type":"item","numeric-id":5491865,"id":"Q5491865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$B5117F8D-7671-4B84-84CE-4928DE3A6BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bcad11fe97484505c727089d3af542344d4df9","datavalue":{"value":{"entity-type":"item","numeric-id":4930176,"id":"Q4930176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$98872F0D-4B21-4A57-90E8-4F5FFB9474BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3fbc226d62731020dc0ca64fe7600f26430f11","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$75B03978-79EE-492B-86F4-B239651F0616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40fdc9a7f650f2e2f505bb0ba0ca5172b68417c","datavalue":{"value":{"entity-type":"item","numeric-id":2986722,"id":"Q2986722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$55E20542-D9B3-47EF-84D8-B7D145AE9CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc75f98dab04a32e9ec813391cce25fef95a5a0","datavalue":{"value":{"entity-type":"item","numeric-id":4393077,"id":"Q4393077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$E2111E6C-FFAB-4762-B81E-E5475AED203F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bafa3751b8b8e8fbaca5651ac637d6bbc7888d1","datavalue":{"value":{"entity-type":"item","numeric-id":5716569,"id":"Q5716569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$ABC45123-4E40-401B-8822-26A6411D1290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8723df622574ee7b9d8344c383cb42a85ded5e","datavalue":{"value":{"entity-type":"item","numeric-id":3523125,"id":"Q3523125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355695$0161C9CC-203A-4742-B911-0BC3BFC19796","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf098d9b150905bd064441aab9197d266ba3b607","datavalue":{"value":"10.1016/J.TCS.2015.06.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355695$28DECA49-637C-4F4E-89C0-D5010BE1D992","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0241b468b78cc0004ce7aadf41bb9a2f7c42d5","datavalue":{"value":{"entity-type":"item","numeric-id":4930740,"id":"Q4930740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f3c8f6df290a3354983477369bb0dd36d70d12","datavalue":{"value":{"amount":"+0.9804835319519044","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":"Q2355695$40EF0BCD-F010-47A8-A890-AEB95D447461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91780bddd8cef2844c937040704d61b3bf4a9eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2985884,"id":"Q2985884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4ddbf4516050b0b39cdc1feb6663ccdc491aff","datavalue":{"value":{"amount":"+0.878920316696167","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":"Q2355695$FDBE2E08-7E1D-49BC-9828-4FCAD3F9EE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96bc94ce1d255a60ed5c9faa551cdd83938cf3a8","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"803a95e5b81e641220cfed906cede1da3ec2239b","datavalue":{"value":{"amount":"+0.8705329895019531","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":"Q2355695$55BBB6C4-8E38-4018-83A6-390723889418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c01e2015aef0b45b58ca63c3890ca206d7fb0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5703954,"id":"Q5703954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83cac56956481849e74be858683bc386494836d1","datavalue":{"value":{"amount":"+0.8590233325958252","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":"Q2355695$E4FB368C-2058-46E1-948C-D3F3393AE6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b081348772a052a7c2004193075ae86dd50c14","datavalue":{"value":{"entity-type":"item","numeric-id":3624592,"id":"Q3624592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11a10b0c416595b6659ce0a9642c39362a554fb","datavalue":{"value":{"amount":"+0.8550944328308105","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":"Q2355695$C711BF1E-089E-4FF3-870B-6035C86C0562","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating invariants for non-linear hybrid systems","badges":[]}}}}}