{"entities":{"Q2982511":{"pageid":2993236,"ns":120,"title":"Item:Q2982511","lastrevid":45188563,"modified":"2025-12-01T20:57:58Z","type":"item","id":"Q2982511","labels":{"en":{"language":"en","value":"Bounded Model Checking of Hybrid Systems for Control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6716564"}},"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":"Q2982511$0CCD71F7-1F38-458E-9198-5426EFA12C6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47cd5f745df26098d8bdbc188329f78f9c9928a3","datavalue":{"value":{"text":"Bounded Model Checking of Hybrid Systems for Control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2982511$3CEACDC5-4200-456A-8778-84F4E78CA9B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b10d89d6c4168893916f7bc97737dae491776fe","datavalue":{"value":"1360.93078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982511$2366D892-D25A-4323-AD64-058AC019C7D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dd17d1d6fb79aed98b37c9dbdf63260f5d2b82d","datavalue":{"value":"10.1109/TAC.2015.2417839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982511$DAEE518E-91F8-4A73-8934-1DAA9534A328","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e57507c35f4ca94183703ddae4f33cafd6b23935","datavalue":{"value":{"entity-type":"item","numeric-id":2234090,"id":"Q2234090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982511$CCA5BECF-58AC-4AE0-95CA-23EAAFDD2F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ac5d72dc82d80a692370f9be2d83e2596bf756f","datavalue":{"value":{"entity-type":"item","numeric-id":545131,"id":"Q545131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982511$154D1AB2-9A09-4576-A4F0-796BD53BA891","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982511$600C61A4-A3D9-4033-9DBD-E87BE3D8945F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2982511$737A27A0-FCE9-4A5F-A655-06BFF93BD6F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982511$D15335F3-A179-49FD-8C31-332B5056A6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982511$4B7571F4-2635-4EB6-89A8-0E85C105B807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982511$30F48AFE-4AAC-4DF0-AED7-650BF5F4648F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c414aab0e86ef24927427b5a8dd4f2d17f93acb","datavalue":{"value":"6716564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982511$0725880D-E22C-41DE-95A9-A006EE0FE325","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"32ed85e86706f6e1a7885e417d4713fe2bcf5c23","datavalue":{"value":"Q56918330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982511$74D60802-D245-4269-B2B0-3DCFBC7A6ED6","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":"Q2982511$F4D9B62D-6D1D-4472-9743-803FAB7AAF45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9532c5dc9a110084bd09130a859eabbb7455499b","datavalue":{"value":"https://doi.org/10.1109/tac.2015.2417839","type":"string"},"datatype":"url"},"type":"statement","id":"Q2982511$66630405-3858-4110-BA6C-04049B7217F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6948c899f3f311ee61c4ebbef35f8ecf861f29d4","datavalue":{"value":"W2052868267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982511$D12DF87F-3079-4711-B640-3A68FA24449C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2982511","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2982511"}}}}}