{"entities":{"Q2281664":{"pageid":2292407,"ns":120,"title":"Item:Q2281664","lastrevid":53626121,"modified":"2026-01-25T11:12:25Z","type":"item","id":"Q2281664","labels":{"en":{"language":"en","value":"A linear programming relaxation based approach for generating barrier certificates of hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7147592"}},"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":"Q2281664$8795A759-C78C-4065-B1C4-8E975A1EC61E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51f8f0295914cb6cb826f5bbaf5389bc3497bc80","datavalue":{"value":{"text":"A linear programming relaxation based approach for generating barrier certificates of hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2281664$48730BD4-CCB8-4196-A2E7-427852D84154","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac761f62a88fa43597cf0b4e7ecf3c30c101043d","datavalue":{"value":"1427.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281664$0F6FA611-A628-4F6D-892B-6D5D4C9536E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6193f9f63b7e1394e9f3e205b3c645b0045e006e","datavalue":{"value":"10.1007/978-3-319-48989-6_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281664$E3C24600-DD74-4315-B40D-A424AAABF2DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f92286191682914f0be7fb749cfc94b5e0bbdf7","datavalue":{"value":{"entity-type":"item","numeric-id":654029,"id":"Q654029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281664$E4D5A454-31F0-4A9B-BBEB-BE826CC1B4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a06f75e71448e1ca9cc7c745e63526884f8012d","datavalue":{"value":{"entity-type":"item","numeric-id":419279,"id":"Q419279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281664$CA031162-E37B-40B1-8420-AD8AC5489E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8972201d7d84d4437d2b00f83963a037f2b7f1","datavalue":{"value":{"entity-type":"item","numeric-id":217070,"id":"Q217070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281664$639B90B5-58D7-48ED-9006-71DF29EF3162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5884f60e294c0bbfc6a41fdd2027c40b47114bee","datavalue":{"value":{"entity-type":"item","numeric-id":553712,"id":"Q553712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281664$4B970BEE-AD5F-4466-B767-F2DF5478734A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6566f7241c7ed7c04cc74ecd005197b6f32908c7","datavalue":{"value":{"entity-type":"item","numeric-id":295007,"id":"Q295007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281664$914E22EA-E8AF-497D-9FBE-8AD7724911BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19ec05f4cc07189117a4725b428f63f5643b194","datavalue":{"value":{"time":"+2020-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2281664$8EC020B1-E892-4077-984F-2D18417F45F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281664$72302DED-89C2-4893-BD9C-97A77C506ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b559307b5b2969939e6945d65ee127220f8f6f4b","datavalue":{"value":"37B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281664$47CD9BA8-9731-4964-9794-9667EA9528A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281664$29690108-8EDA-4D0D-B9E7-AD9C011C63A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac526a968ecf1f05e7194313da6de02ad4318663","datavalue":{"value":"7147592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281664$FCF5E970-C81F-4525-8839-A13E4F4CAD1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2281664$42D197CD-A6B2-4851-A2D1-A3B1B4B99D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2281664$19F098DD-892C-43DA-919A-9F9F2C7A7FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e008fdd0dcb8c515569f45545f1874abb9093a8","datavalue":{"value":"barrier certificates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2281664$0B0DCD17-6698-4F40-BD8D-2981232898B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5b952c797fc461956f3a97882477e8ab79d1512","datavalue":{"value":"linear programming relaxation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2281664$28014DB1-8996-420C-860D-2FA3DBB36076","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281664$1B19DCE4-2AB6-486B-94C1-43A17857D015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281664$5B7705A1-F25E-450B-97D5-57B25E4C8761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c5814a0a3b47b1b5455e3eaa345adcdfd08dbf3","datavalue":{"value":{"entity-type":"item","numeric-id":16192,"id":"Q16192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281664$4A1AF2DD-F51C-472A-9740-7291169AF96A","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":"Q2281664$350A7519-FE44-4F53-B024-43F84231102A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98288b9acb13982975948f481c27c1fdaaf2a699","datavalue":{"value":"https://doi.org/10.1007/978-3-319-48989-6_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q2281664$12FBB549-4337-4E83-8D66-31051D2CFA35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c52adab92dce00bb9302b3141df337ebbfdec25c","datavalue":{"value":"W2555983297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281664$52298264-A52F-4973-9A0B-32CB71403F4D","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":"be18ae3db0c68fbf71ebc45af5c70a2a590f5c1a","datavalue":{"value":{"amount":"+0.7991421818733215","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":"Q2281664$660411E0-4E29-4CCC-887C-1BAC030F843A","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":"b3289bf3d9cef2f622b226b590e8d0d68244e2f9","datavalue":{"value":{"amount":"+0.7897694706916809","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":"Q2281664$062E5078-F049-4D10-AAEB-10C129E3ECE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c5136aee46e995505c9e9526b90164781e361d","datavalue":{"value":{"entity-type":"item","numeric-id":2864837,"id":"Q2864837"},"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":"Q2281664$1E262D1D-668E-4A3E-A628-17BC1E365777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0290666cf9f43aea3b8caf4f88a0eb604c9bb7bd","datavalue":{"value":{"entity-type":"item","numeric-id":2225128,"id":"Q2225128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f934ae585ea2cd6ee982b9631e5944804e0cc56b","datavalue":{"value":{"amount":"+0.7670568823814392","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":"Q2281664$AEEE8719-4551-4E27-9248-20054C6DF31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26526c4e87ba499743c9f1435b698f5a4d65aae6","datavalue":{"value":{"entity-type":"item","numeric-id":4683987,"id":"Q4683987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeba5702e8ca84d2fa93a6c15b6776221690404c","datavalue":{"value":{"amount":"+0.7458048462867737","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":"Q2281664$DB1DDE97-C536-41D4-8060-5B79EDBE47BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2281664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2281664"}}}}}