{"entities":{"Q2272936":{"pageid":2283679,"ns":120,"title":"Item:Q2272936","lastrevid":71734488,"modified":"2026-04-14T00:12:02Z","type":"item","id":"Q2272936","labels":{"en":{"language":"en","value":"Hybridization based CEGAR for hybrid automata with affine dynamics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106070"}},"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":"Q2272936$AC390AAC-ECDC-4A47-8AE4-3F7A8F3AAB49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b696e8238c070726b375819af573284ce06bca7","datavalue":{"value":{"text":"Hybridization based CEGAR for hybrid automata with affine dynamics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2272936$E8ECB284-BF3D-436E-A337-1D3C047FA438","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0e6d7a0bfc897eb747970f58609df7fcbfc9e0a","datavalue":{"value":"1420.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272936$8FEEB589-2DDE-43AC-9609-94CD58C9EB22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52bb83d7158b9b5b8b595fc9eda0d9e8c3cee62c","datavalue":{"value":"10.1007/978-3-662-49674-9_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272936$1B9EF790-3787-48A5-AA85-F7A24F76F81A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19d8460a4509ab76e30002431a0dd2f4fb7dcd8c","datavalue":{"value":{"entity-type":"item","numeric-id":2272935,"id":"Q2272935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272936$0DEAB06E-ABC1-41F5-BA1D-7DAB163F6887","rank":"normal"},{"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":"Q2272936$6B2F7D4C-97E4-45C5-936C-C810761DD6AD","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":"Q2272936$3F95CF5A-29B2-4505-B6CD-8DFDDC9D57CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2272936$5581756B-EB06-412A-AEFF-188BF92C957B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272936$0019FF16-CFC2-44AF-BA54-0254937313F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272936$8C1F4DAB-5118-454D-A230-3BF033529C2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c522158143e16aebd906db74bfe82fbb680befc","datavalue":{"value":"7106070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272936$01922174-9788-45C7-83A1-EDE58D32A3AF","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":"Q2272936$BE2C9450-2ECB-4940-8690-E245C607A275","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b5d7e5269e2310e9c0ad19d395b287ba14d4098","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49674-9_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272936$54EF9A61-1C76-4AD5-96A2-5BE415F87D4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6697ccf6a2cd5b882f624519ba60c704ee57fb4","datavalue":{"value":"W2292454014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272936$781E201F-7A54-4C13-A850-C826B146E340","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a5bf9a579537691c3b97510fd98aba54353bab0","datavalue":{"value":{"entity-type":"item","numeric-id":888464,"id":"Q888464"},"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":"Q2272936$B79F3D11-8B14-4B7F-B37D-6D725C56E2D5","rank":"normal"},{"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":"43fda11f6922ecbc8537ddc33ee33c3d9f3c3f97","datavalue":{"value":{"amount":"+0.8652395009994507","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":"Q2272936$A046786B-EC15-4138-B3C2-3E514063A3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a2c00d156902668c0979d24425e406ec681c81","datavalue":{"value":{"entity-type":"item","numeric-id":4417923,"id":"Q4417923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85e4ec04d6e2a6ce965ee1a55f014b799cd2c27","datavalue":{"value":{"amount":"+0.7868459224700928","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":"Q2272936$CED7D7FE-1E56-4196-BF43-4044CF3397D4","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":"29df33463232506f186e91cb891af631d3f5959d","datavalue":{"value":{"amount":"+0.7660079598426819","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":"Q2272936$AFC4C34C-10E1-4259-8958-EEB82D32F906","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":"e932ee0ed4062f8ed84e5ca27ce05d363a7b264b","datavalue":{"value":{"amount":"+0.7621327042579651","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":"Q2272936$39CA266C-A2CD-49A9-B383-CF1B28EEA711","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybridization based CEGAR for hybrid automata with affine dynamics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybridization_based_CEGAR_for_hybrid_automata_with_affine_dynamics"}}}}}