{"entities":{"Q888464":{"pageid":890312,"ns":120,"title":"Item:Q888464","lastrevid":65219550,"modified":"2026-04-12T01:06:30Z","type":"item","id":"Q888464","labels":{"en":{"language":"en","value":"Hybrid automata-based CEGAR for rectangular hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6502609"}},"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":"Q888464$D6B56BD1-A18D-40A2-95DA-9057A6280ECD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a093564dbfc815f77e57ac1090a552cb74beb9ef","datavalue":{"value":{"text":"Hybrid automata-based CEGAR for rectangular hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q888464$275C89BF-0E03-40FC-8CE8-534A8F5762AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86852747b59f2b88506d39dbefa2c177623d9343","datavalue":{"value":"1341.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888464$4B632779-FD87-446F-B491-0C110AA02266","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa0e9c6c676e3a811618e1a876ea1a2b12e00090","datavalue":{"value":{"entity-type":"item","numeric-id":636271,"id":"Q636271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$787A6EC8-4932-469B-9264-621808B0D53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a806a6c33af9a9908c0c103477b67d9307af8d9b","datavalue":{"value":{"entity-type":"item","numeric-id":832031,"id":"Q832031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$46333E78-E4AE-4CA2-88C2-39F9380E4FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90393429fed72c1283fc5e6b05722ab07dfbec00","datavalue":{"value":{"entity-type":"item","numeric-id":432131,"id":"Q432131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$7FBF35A2-86CF-498D-B94C-EA91494F346E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$444498D4-9FCF-4702-85EF-4DF7AF25A7EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$053117FA-82B7-451E-8B55-448C4BBAA470","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fedb92f8006ce865a5ead1bfbb356102d7f9117a","datavalue":{"value":{"time":"+2015-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q888464$8F060108-6661-4D77-AEB3-EEA7DBD67136","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888464$ECCADFA1-5BC8-4CD4-A499-8AFFA4AB5913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888464$C6BAE3BC-20EC-4891-B63C-852F6B78EE92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"920159e51bb881bbd79eccb80ead0296b706f583","datavalue":{"value":"6502609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888464$74EA7854-C164-4658-A264-1730801FAC57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f1637059600dda27f3a7d7eb32818e6afe98a8","datavalue":{"value":"hybrid system","type":"string"},"datatype":"string"},"type":"statement","id":"Q888464$030AC2F8-6257-4AFB-91A6-56E92FF6A6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q888464$9BDCEEEF-9D7B-4A6E-A99C-E98B6E89D2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q888464$042E9A16-580C-4615-B4D4-FE10BE0E7BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e212d89122e701a32456facd16b296e210cb91","datavalue":{"value":"counter-example guided abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q888464$125FAD6E-249A-465D-AAB4-3A1A24D12A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d43cc557a6c23541e41deeca84fe2d154a25d6","datavalue":{"value":"rectangular hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q888464$19F9A56F-FB60-4D56-B4D3-25F41BB2DCE6","rank":"normal"}],"P1463":[{"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":"Q888464$03D16EE3-A4C9-4E71-B230-75FD5759AA0B","rank":"normal"},{"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":"Q888464$0C0C359D-E940-4B1B-A899-0064C1A046A3","rank":"normal"},{"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":"Q888464$32358289-8D6E-449E-BF20-EF1E59CB6B71","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":"Q888464$1BF8BABC-49CF-4352-9C15-7AEED7F2CD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"882a971f4991bcd3c0ef655b6f375f7a0214f07a","datavalue":{"value":{"entity-type":"item","numeric-id":22275,"id":"Q22275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$07355057-3228-463D-AE64-CB69128607AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$C1CEDDD5-4A80-4381-8E41-C2D3A92C0694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$E337E701-A22F-48F1-B406-BE53C77E3ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$6BC18554-0304-49E5-B5A4-821FA8E74E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"036738555bc6833f227a7b2e1fb78ab1770693a8","datavalue":{"value":{"entity-type":"item","numeric-id":22890,"id":"Q22890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$6621F6C9-48A0-4DA1-8322-979D44EEC0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$C2DCE58A-1983-466C-8693-9C3BC0CDF5DA","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":"Q888464$69221921-9D8C-4550-8860-F554CA84E693","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c05963e8c43339c05771e7f5a8e32acab4706380","datavalue":{"value":"https://doi.org/10.1007/s10703-015-0225-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q888464$BE20BF0E-EBA3-49ED-AC43-4D2BB43E642A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"855a3c041d22ec73e9e9ef80a6239be0d8d70ade","datavalue":{"value":"W1967100715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888464$CC0A5C80-8E7A-4E3B-A2CE-FEF5CB37F9B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$007F6759-9348-4E16-BDA7-9CF056C8B3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$EF4059FB-8644-4FF1-9539-54173525FB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$844A1466-A499-42E3-A558-E862906894E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df5625c5fd923fbef5a991cd84e27683e2a66e20","datavalue":{"value":{"entity-type":"item","numeric-id":4417924,"id":"Q4417924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$557BA6DE-8783-4843-98E5-FDB670CC0E88","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":"Q888464$F111D1EC-B66B-405F-855F-30B278613C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f075cf4fc5e5bc9f404bc25c91b575e8dd951475","datavalue":{"value":{"entity-type":"item","numeric-id":4417923,"id":"Q4417923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$FC22E475-F7B5-4DED-B55A-B2B626810C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88053da80a11a27ba25efe3cc5797f5fa3925f8","datavalue":{"value":{"entity-type":"item","numeric-id":3510839,"id":"Q3510839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$0DE5B158-AD9D-49C0-B683-3A1450091E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10091bc86f77d621a961d74b765545e7ea08d174","datavalue":{"value":{"entity-type":"item","numeric-id":5703926,"id":"Q5703926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$2EBE91D6-432F-4AFB-ABEB-36D6403B4962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cede91bdc77b210998cf5377e6c5a7cac216413","datavalue":{"value":{"entity-type":"item","numeric-id":5429335,"id":"Q5429335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$A3720940-D516-4442-BA9E-B237143F13A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6885720c0c70af8e023d668d7235c89276b99e","datavalue":{"value":{"entity-type":"item","numeric-id":5464759,"id":"Q5464759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$E4D69383-EA7C-42EB-90C1-F3CEE7E15792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b055b28c3ecf01ed8cfc370eaa73dc48a2d0ca26","datavalue":{"value":{"entity-type":"item","numeric-id":5703953,"id":"Q5703953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$5447FC1F-78BD-49E3-8C6E-0009AFE4EF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6a7918bf4a2ff0a7dd0c860a931a547e7e751b","datavalue":{"value":{"entity-type":"item","numeric-id":3612979,"id":"Q3612979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$C916B0D3-FF3A-478C-98CF-109C1043D805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$B65FE37B-F803-4297-B37A-433486BA49A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$0D3267CC-746F-49A1-8DA8-2D5C71EA6A84","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":"Q888464$DA3B68E9-7C5F-4604-A313-2A168C13FC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9664b166d641fcc88f9dec148e06cd33528b438","datavalue":{"value":{"entity-type":"item","numeric-id":4806208,"id":"Q4806208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$05574677-096F-4C4C-A25D-2B3A91631221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445a859697bfe39d1e92f2e5b895642b26bd8049","datavalue":{"value":{"entity-type":"item","numeric-id":2926638,"id":"Q2926638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$81378DB0-6B8F-4026-BE48-188B79C316BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57f332f5cc68c7ac5e3e59e80b7e391fd4a426d","datavalue":{"value":{"entity-type":"item","numeric-id":5897960,"id":"Q5897960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$C0D0E193-EB10-47AF-ADE8-356F16C58462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c61b8df768da1a4e1cc2a85425f3f7b271a5888","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$671A3399-785D-4B16-A4CB-052A09E80162","rank":"normal"},{"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":"Q888464$05451E56-B861-4A88-97C2-BC1CE3DB58C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36883030cfbe7504efa1a529decfce95f5779b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5307932,"id":"Q5307932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888464$A11D8BAC-4F94-4888-9813-6518400B0B7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bcb73cd9c7b44e19e8dc3321eaf890c950f97d0","datavalue":{"value":"10.1007/S10703-015-0225-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888464$19B67E64-A5AB-44DE-BD26-5A968DF8E42D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02e29ccb83fdcce6b1ea272efabe39a1ae3d6ca","datavalue":{"value":{"entity-type":"item","numeric-id":2926638,"id":"Q2926638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f7cac3cbdd4234f5b15df2e7a1d9b422d8df16","datavalue":{"value":{"amount":"+0.9958707094192504","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":"Q888464$A70BD301-762E-4A01-8984-4B25CC4F1EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90524259465ce06e064cfef5e4e8bebd2a2818b0","datavalue":{"value":{"entity-type":"item","numeric-id":2272936,"id":"Q2272936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ee372c018b02e2214ee03f17c817da777d6949","datavalue":{"value":{"amount":"+0.8721714019775391","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":"Q888464$FE255F13-9D27-47AD-AAB5-1155EB94852F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb661497f55a6c2b38c182c34f0b33cbf1014188","datavalue":{"value":{"entity-type":"item","numeric-id":4518893,"id":"Q4518893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492eafdd0c23a75e579d2b3917a691f94ade5cbe","datavalue":{"value":{"amount":"+0.7887749075889587","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":"Q888464$088FDB4F-A205-4989-AA03-36EF01BF9F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8da9fb4f9eab46bd6e16b4f154c7a638708e1a","datavalue":{"value":{"entity-type":"item","numeric-id":5452604,"id":"Q5452604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd87125b2bda5e6ad9d61932d2d0e95e337f628","datavalue":{"value":{"amount":"+0.7838452458381653","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":"Q888464$03DD9C20-D910-4BC9-8F4B-6C6E067E0CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ffbd9df183b52d418963b816400f47f3531f009","datavalue":{"value":{"entity-type":"item","numeric-id":5897960,"id":"Q5897960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8154ac4767bc0e050eaed92ede1dbb62fff9995f","datavalue":{"value":{"amount":"+0.7786442637443542","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":"Q888464$4C0D7542-1A09-440A-B436-36107351EC15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid automata-based CEGAR for rectangular hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid_automata-based_CEGAR_for_rectangular_hybrid_systems"}}}}}