{"entities":{"Q2225128":{"pageid":2235871,"ns":120,"title":"Item:Q2225128","lastrevid":78749804,"modified":"2026-05-06T12:21:02Z","type":"item","id":"Q2225128","labels":{"en":{"language":"en","value":"A novel approach for solving the BMI problem in barrier certificates generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306430"}},"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":"Q2225128$D35C63BA-8F0C-4677-A3AC-46BF788BB23F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01c1b092d52d505a8dacf7b073f7cacfcefecf41","datavalue":{"value":{"text":"A novel approach for solving the BMI problem in barrier certificates generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225128$C1CA644E-6BAC-492B-8C23-93B47EF97D4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20a417385c44bb41229d4821ae240e04bdcc5228","datavalue":{"value":"1478.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225128$92287D19-5CE1-4B68-935C-412124FC429A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b9b9f7cc12b3bd79706edbd3914053e4834b614","datavalue":{"value":"10.1007/978-3-030-53288-8_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225128$E8BD1558-4218-4F3C-B147-EFB7805980B7","rank":"normal"}],"P16":[{"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":"Q2225128$D77D5D22-456B-4B2C-84AE-00412E2F9D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1624df74c0cd3934f42226ab7bd74559bbc3e1ce","datavalue":{"value":{"entity-type":"item","numeric-id":249874,"id":"Q249874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225128$42A0BF40-8D75-4A79-8F37-7BC3625B8063","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":"Q2225128$CD4C4AF8-E489-45BE-B18D-D0E4B457E99E","rank":"normal"},{"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":"Q2225128$205AFA60-36DC-4DA9-B5D5-D7BB6F26A733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad5fd9f7c7f2781f13d3a0feca609be048c8e89a","datavalue":{"value":{"entity-type":"item","numeric-id":2225127,"id":"Q2225127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225128$87DCE446-1F04-45D8-A85A-F847EF99C0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a98e6614f60f23515bb13872cde66e70c4c6c9d","datavalue":{"value":{"entity-type":"item","numeric-id":182347,"id":"Q182347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225128$E41BBD25-B3FA-4359-A225-2CB9BDA49034","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225128$BF0608E1-CDBB-4664-A112-5C79409031CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225128$2CE0727D-2A45-46B0-9B33-A41272133A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a6c6840ed6ccc38a95b421c87c1ec55f8094382","datavalue":{"value":"15A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225128$538E3880-664B-4941-8B32-78066215DA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225128$6A54F0DC-AF3A-4400-9582-E2AC9643FC5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c624181b0e5dbc851f7fb46e16b994b71517028","datavalue":{"value":"7306430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225128$9CE8B777-3D6B-49B8-A6A5-A91E18589E19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225128$C2FEE227-C196-45DE-9F83-C3DFB7B91597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225128$B6F8EFA8-012A-4C1B-A3FD-2C40FF6919B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e008fdd0dcb8c515569f45545f1874abb9093a8","datavalue":{"value":"barrier certificates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225128$ECC5AE01-CB44-45F7-99C2-07989A4FA787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3226e72ee263e84aa3efc0df882cfca5491ab79d","datavalue":{"value":"bilinear matrix inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225128$7C196FA1-27CC-4F74-80A7-50182D3D6B6A","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":"Q2225128$76845F78-0679-4E26-B95F-E47AA6DFDC41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bb2cb49aa23ba98331e98afe9cf9854164afd2d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53288-8_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225128$AB34CBC9-14EF-4F50-8774-D05E5DA1FBA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a8b7e239cab57cc57730021f1728a600a4e0ab6","datavalue":{"value":"W3042952022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225128$7B552971-DB65-4D4B-A1DE-9CB63094474E","rank":"normal"}],"P1643":[{"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":"491eff63d349d008eff886429d1df1f30cbd6584","datavalue":{"value":{"amount":"+0.7702218294143677","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":"Q2225128$E7EFC810-E209-4E2B-B2C3-3517D6948A67","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":"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":"Q2225128$DBB097A3-03F2-4BE1-AFA1-5486A9C43D97","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":"3a17518dc461bb7ea996c43f62bec45a9d4085f8","datavalue":{"value":{"amount":"+0.7564409375190735","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":"Q2225128$8F4405D4-096A-4601-B539-8C10736BD681","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":"91a433738c743999ce8b81d7372a7c5f58a7aec2","datavalue":{"value":{"amount":"+0.7529311776161194","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":"Q2225128$0EDF1B0F-AB5D-4673-A97D-7F3F89D1A22F","rank":"normal"},{"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":"059c2d7121c7f09a60b684cd61e5668dba39c0e4","datavalue":{"value":{"amount":"+0.7433366775512695","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":"Q2225128$7FB3B526-05EF-4CFD-9D5E-45D68759B012","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225128$7EDC5240-F796-493B-A9F5-B6610F8DBD3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A novel approach for solving the BMI problem in barrier certificates generation","badges":[]}}}}}