{"entities":{"Q3172874":{"pageid":3183584,"ns":120,"title":"Item:Q3172874","lastrevid":51341867,"modified":"2026-01-17T20:25:28Z","type":"item","id":"Q3172874","labels":{"en":{"language":"en","value":"Parametric verification and test coverage for hybrid automata using the inverse method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954753"}},"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":"Q3172874$AB56BFD7-503D-4602-BB38-7F69E700435D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"243634bebf4c28e45d106b04d81996a06892076f","datavalue":{"value":{"text":"Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172874$F62367CE-33B6-4016-AE0D-A4AE064BA42F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f43ae5acbe9bfd13e49044ed1109a694b28e416","datavalue":{"value":"1348.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172874$70E5AD8B-FC28-490C-82E6-0B07992FA28B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e88eb0472d0d67dffde58453c31ce4c6f696a45","datavalue":{"value":"10.1007/978-3-642-24288-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172874$E49C5934-1056-4C49-8777-DF42FAEFA605","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172874$ECB78A3A-367D-4FA3-BFF9-D029C4A7418A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172874$3EF6DAFC-62CE-401B-A5A6-6D397EF6DFF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172874$FDD4324A-72BA-4329-89FA-9E112BAA0FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172874$8570DDDE-6CD1-4EE5-8E7B-11525BCF64B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b91d7bfaebdabe76557678e9611d002afb403c5","datavalue":{"value":"5954753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172874$49E3163C-85A6-454E-99B1-742047395FF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172874$DDE420F7-E503-4C3C-979F-4BC32B2572C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f6a891833351834f37e9f1a557f57057799979","datavalue":{"value":{"entity-type":"item","numeric-id":2106701,"id":"Q2106701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172874$C3759F18-ABE3-4D96-B003-5C191EE2E225","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172874$4C2156CE-CAD7-46F5-BE9F-4887BE8F4F41","rank":"normal"},{"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":"Q3172874$5682D8A9-F3F4-487B-8D01-3946DB91B4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172874$E868DA8C-E941-4FD3-81DA-3F9AC56B5D3F","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":"Q3172874$F57786F3-4CE7-4792-87D5-B8C50B36A8C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f4497b8bbdab742b53100ef73b56978f236178e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24288-5_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172874$946678BB-EB25-486F-A1BE-1906F91277C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f603dbe6dc5c40ba8be85b3f66246e7b2bebf920","datavalue":{"value":"W2135888626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172874$88FCAF48-8371-474C-82B1-1D078B62E88D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bcdb892daa4a0a3933dc2f937078af0c8adbf4","datavalue":{"value":{"entity-type":"item","numeric-id":2841997,"id":"Q2841997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6eb6f281c5a4f799954d6e772263d71d5065d47","datavalue":{"value":{"amount":"+1.000001072883606","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":"Q3172874$85A4DF49-03CE-491B-8A05-B060DB8B0AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5baa1ff0d2a89f74784a86394a5feb60447cb3","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ebbe41435a88bea061bd6bdc4f0eba4d1e46018","datavalue":{"value":{"amount":"+0.7713032364845276","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":"Q3172874$227D7D6C-91EE-4605-AF94-9B2CB3B81C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb60464a1b003fe470131b5444e5fe059c45790","datavalue":{"value":{"entity-type":"item","numeric-id":4928452,"id":"Q4928452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29de490e690fbe1057c08e4b48f75426d85f3919","datavalue":{"value":{"amount":"+0.754423201084137","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":"Q3172874$97ADECE5-D817-408F-BC5F-B8337141AB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b61d153ca9b19f3d5f85333f857392b2d99e97","datavalue":{"value":{"entity-type":"item","numeric-id":3176388,"id":"Q3176388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58bb7acc7fb470f9a55de3fa0830c137e10c29df","datavalue":{"value":{"amount":"+0.7543196082115173","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":"Q3172874$2B9C7EDB-6F8E-47A0-A8B2-C1B0F5523F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a510a1b81b5c3e30178a2621dd0693268aa483a","datavalue":{"value":{"entity-type":"item","numeric-id":2026785,"id":"Q2026785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b01aeea606dd80523b667f15454ec775fd4ba91","datavalue":{"value":{"amount":"+0.7394329905509949","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":"Q3172874$F8580ABF-1184-4441-B448-BD450BF35A5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172874"}}}}}