{"entities":{"Q2864837":{"pageid":2875557,"ns":120,"title":"Item:Q2864837","lastrevid":58032705,"modified":"2026-04-03T13:04:03Z","type":"item","id":"Q2864837","labels":{"en":{"language":"en","value":"Exponential-condition-based barrier certificate generation for safety verification of hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6233039"}},"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":"Q2864837$79859E67-A0BB-47FA-BD07-FBC85BC0DFB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bde1e80dc9d5926c7651f362ae06c6657b1f685","datavalue":{"value":{"text":"Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864837$CF0F0476-8598-4D43-B9B7-60D0EAE26BA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2eb9f964669112176636d1b739fc86f3bc05be8","datavalue":{"value":"1357.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864837$10BBECBF-0931-4590-8C37-86B3E01C4C73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"537fddab635d217fac52cc7196dfd33fc13a6402","datavalue":{"value":"10.1007/978-3-642-39799-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864837$C4283BE1-0103-4773-9255-70D94E453A11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d0246ca56a99c4f188fe7563625ffdd427ddba3","datavalue":{"value":{"entity-type":"item","numeric-id":364599,"id":"Q364599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864837$8EEA8F73-1940-4D35-BB9C-0678DEA02EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34a2e3a849f7afbd44d878457dc05f4cc4bbe211","datavalue":{"value":{"entity-type":"item","numeric-id":270244,"id":"Q270244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864837$171AA16B-A852-48FC-9190-3A9ABE3FA324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07abc0868bbf3c0352f8089c12b27e770f5814c5","datavalue":{"value":{"entity-type":"item","numeric-id":364476,"id":"Q364476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864837$2692E2AC-6009-4D58-B59E-D24D770DA5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1caedec2f74947a2d17e2400cfb77f2b4f640d20","datavalue":{"value":{"entity-type":"item","numeric-id":364475,"id":"Q364475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864837$8A9DDCAD-6893-422F-9489-E0741E53A202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82cefe3b2e3eed0fb2ec594f936d0e87f2ce1cca","datavalue":{"value":{"entity-type":"item","numeric-id":424965,"id":"Q424965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864837$9470598B-3475-4CA7-B57B-E21EFD83516A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864837$58B9485A-EF90-469B-A36D-93180220F99E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88928c17fadcfc4c4e165345ca8ccf5e078f7614","datavalue":{"value":{"time":"+2013-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864837$BB8C0A27-857E-480A-9DE0-71D4CE73F4ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ccd32b46a48f82bf747d4b7a0468ed918cf0f24","datavalue":{"value":"https://arxiv.org/abs/1303.6885","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864837$9570F99B-AC43-4C5C-B64C-E58F6A692B77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864837$30E373EB-489E-4164-B18D-3296D4B13DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864837$2BFD46E0-4395-44B9-ACA0-4D3F5D92ED52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbc96324399f4f73d3268dfe5298cdfbc0fd7dac","datavalue":{"value":"6233039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864837$24A01223-44B4-4C94-8071-D3B96863DF1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932e829a19a15e625f957c0ec94c3ca05aae1ad1","datavalue":{"value":"inductive invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864837$08B2D006-98E8-4CB2-B340-F39D1A19B526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e04fbdd0685793ff9399d35eefaa19f37c3d6177","datavalue":{"value":"barrier certificate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864837$0FD501A0-8377-4567-A741-1CEF25D37810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864837$29C376BA-BE19-4D6B-8CB3-7C3A7B6F1966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f1637059600dda27f3a7d7eb32818e6afe98a8","datavalue":{"value":"hybrid system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864837$86029057-F86A-44E7-B6B9-D767A8F23BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30d368830fbbb4c8a3beb70d3bde39013a39e0b0","datavalue":{"value":"nonlinear system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864837$0E634306-CF72-484E-9E7E-53FB580D19C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310c4e00f91f9b6278a98ec4eed6669527225bfb","datavalue":{"value":"sum of squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864837$8FFD98F9-1813-4651-B763-D387FC9DE6CA","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":"Q2864837$C540C435-6861-4284-8F11-DB1E9F7417A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c308dcb26bc344a99056d5f2e66ed15597cde42d","datavalue":{"value":"W2129729773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864837$9F61002C-EEFC-4544-9760-2832723E976F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a080c12259b7c84608e693a624ae52bf7b840044","datavalue":{"value":{"entity-type":"item","numeric-id":507352,"id":"Q507352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d8d6d6d65dc31064bd3ba0ff030ade46f9329d","datavalue":{"value":{"amount":"+0.8404984474182129","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":"Q2864837$F16FF592-D30D-4B42-8AA8-F8979E3236C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b55209ee41e179fcdaaec302fa853e7c5c6a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4b7e367be998cbcec8dda332483781eac89445","datavalue":{"value":{"amount":"+0.8351322412490845","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":"Q2864837$1DE8D01B-7A4D-440E-A0B8-BA87AC405F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45a368f3f418a412bf07930aeb13e8ad68a26f5","datavalue":{"value":{"entity-type":"item","numeric-id":832194,"id":"Q832194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089b3793d8da7ab4eec3ccf13eca019d662b4ea5","datavalue":{"value":{"amount":"+0.7995017170906067","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":"Q2864837$2F4D8780-534B-43BA-96D4-A0E04F6DC40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e511f963338a800aa7481bbd1c5ce3b4fa1b24","datavalue":{"value":{"entity-type":"item","numeric-id":1793125,"id":"Q1793125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4407da3347ac1f848e0dbb60d00a8c9fe2e09cf","datavalue":{"value":{"amount":"+0.7762473821640015","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":"Q2864837$771C2BAE-A67E-4E2F-8CF0-2F6456C0FE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9e0e397cf989a95745ca0a0e709008bb514329","datavalue":{"value":{"entity-type":"item","numeric-id":2281664,"id":"Q2281664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7937a7333768205f02eea4c69bc4ca891ccd8c","datavalue":{"value":{"amount":"+0.7746033668518066","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":"Q2864837$530B662D-FF0C-4FA0-AA12-F302A81DA5FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864837","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864837"}}}}}