{"entities":{"Q5429335":{"pageid":7458909,"ns":120,"title":"Item:Q5429335","lastrevid":100945154,"modified":"2026-06-05T23:30:50Z","type":"item","id":"Q5429335","labels":{"en":{"language":"en","value":"Abstraction and Counterexample-Guided Construction of \u03c9-Automata for Model Checking of Step-Discrete Linear Hybrid Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216251"}},"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":"Q5429335$9549DA4F-BA70-44AD-95CC-7C8BF3F168E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c67ea5b81441dd94a39e07036666651e455a1993","datavalue":{"value":{"text":"Abstraction and Counterexample-Guided Construction of \u03c9-Automata for Model Checking of Step-Discrete Linear Hybrid Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429335$EE94BB0E-3C63-44D9-98E2-FB1582E5869E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ce9e3466ea828c68f3dfe47b6667e95a08837e7","datavalue":{"value":"1135.68482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429335$7C788744-AAC4-4AB5-B0FC-237B06CA31E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bd2fc2de5d0fd2834d910ae98d8aeaefe86ceab","datavalue":{"value":"10.1007/978-3-540-73368-3_46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429335$E82BF792-3EB7-4CD5-BF74-1F199A86FFD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b9669c2bb11fc4a98ca3cfb9b38278a37cbdb3a","datavalue":{"value":{"entity-type":"item","numeric-id":3526929,"id":"Q3526929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429335$82755E53-5C03-441E-87DC-9F2037D1E3A7","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":"Q5429335$D7F66039-F09A-439B-BF68-2593B76EA548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429335$DFCA5982-9FA7-460D-81D6-68BC97EF762B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429335$EB059549-C6C8-40BE-A367-0FBFBEA9D759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429335$7A5E42EB-DC2A-4CE5-BDBC-8C1F96E34240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4df9f6f9e7ebc5114d08014184f5539d28a79d70","datavalue":{"value":"5216251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429335$ECCD1988-935A-4F62-B630-3D339BFF07A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5db7d9951a573dad3df5302bb4b42594c0a25b47","datavalue":{"value":"automata construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429335$670AC37E-72DB-4495-8994-00861EF81C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27aa5b161e50e22638257a83e82c505f2ffe4ac2","datavalue":{"value":"counterexample guidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429335$EA5D73FB-20BD-45AA-9F49-49A062F3E51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd94d3422949b95c0abc298bd0c06bc2a1e5807b","datavalue":{"value":"iterative abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429335$1EE8EC21-C857-4763-8738-3B5B440FDA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429335$2442BA4E-A85A-4F56-9937-C506C5A116FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447f741c8f5b6bd6804d7036ab5a992707497174","datavalue":{"value":"step-discrete hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429335$410B58D6-B592-4A6F-B22F-993D40C363EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429335$A89131FD-4AAA-4591-BABE-D5E74380C894","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":"Q5429335$D0472257-8E90-4C05-950F-DE05FD9151BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b72b69981787380ef88f1666a14db82321aaec56","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_46","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429335$9430162C-1D06-4DD3-A517-1F4D84D48C40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7373ca33b45f4500d9ab2c43378dd0d3aea49003","datavalue":{"value":"W1482183975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429335$8E7673BD-5EF3-4B89-91FE-E46596876C77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f2ef821b6e8c5ff40d336dd7afec9b97f3b15d","datavalue":{"value":{"entity-type":"item","numeric-id":5696927,"id":"Q5696927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609b309177cdfaef78abaf2b809851636a33374e","datavalue":{"value":{"amount":"+0.7999439239501953","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":"Q5429335$166D5D83-EAFF-42A4-A12E-83B15AF6BF8C","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":"f0366094f9b9ff30b6f066f03805a00efbc08679","datavalue":{"value":{"amount":"+0.7863321304321289","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":"Q5429335$7002BD54-448C-4313-BEA9-D04A7F4EB8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4feae8dc0560b7264c4493046e4beea2afa5d066","datavalue":{"value":{"entity-type":"item","numeric-id":3522915,"id":"Q3522915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc256b37883139a7a948935c3f6ee8125c827a2","datavalue":{"value":{"amount":"+0.7727208733558655","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":"Q5429335$AAC48DC5-EC60-4F07-8E35-ECBC5CA63D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb964de034de371cd048d49626debebe234a8eb5","datavalue":{"value":{"entity-type":"item","numeric-id":436418,"id":"Q436418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c905cd37bfbe781e07c4a24fdf3fae8d9b586784","datavalue":{"value":{"amount":"+0.7621058225631714","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":"Q5429335$5B27A202-F240-4EF5-BE76-AE077767324F","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":"b9da86e76abcde1d32e602fd7f463e34bd2c2d25","datavalue":{"value":{"amount":"+0.7588316798210144","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":"Q5429335$6E81D034-3994-4280-8BFC-B35C95EE64EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction and Counterexample-Guided Construction of \u03c9-Automata for Model Checking of Step-Discrete Linear Hybrid Models","badges":[]}}}}}