{"entities":{"Q2841997":{"pageid":2852717,"ns":120,"title":"Item:Q2841997","lastrevid":51784835,"modified":"2026-01-20T00:46:55Z","type":"item","id":"Q2841997","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 6192842"}},"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":"Q2841997$98E564FD-79FA-4B03-862B-E53AF16774FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b1cf70736dcfc0e6ea1e7ab1303cd3bc4dec552","datavalue":{"value":"1286.68314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841997$25BBDC6F-197D-411C-8433-217663F0AB98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61f603a271b9ddf8d5423d6de381ba6a0bf750fb","datavalue":{"value":"10.1142/S0129054113400091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841997$0A339530-EA80-4A5C-80CF-03F70763E92A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841997$A9E7646C-C8FC-42B5-A03B-41DCBA69D7FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c86eeb1cf1b5bc0e7bda48e7a87fbb18b6ccc2d0","datavalue":{"value":{"time":"+2013-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841997$1578A46C-23D8-4B8F-B258-C736E19BB3A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841997$C9F19988-DFB3-4662-9D35-429708FDB8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841997$889EA49D-ED30-4942-A8BC-B115700F0043","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"223aceacaaa40b5c069a6f21f35223b599e5ff47","datavalue":{"value":"6192842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841997$E01C4681-0E75-405E-A010-7E1807F48C7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841997$E2747CE0-9599-4FB1-ADCB-76FE0B195933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841997$6803B023-F8A5-4869-942A-264736230100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841997$10000E0F-75A8-4A20-81CE-D26012D20D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f3e52067a7ed3ce53605a49bd0992ac3d371713","datavalue":{"value":"inverse method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841997$0E925758-F377-45E4-9830-B4E0BF664CB2","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":"Q2841997$AC43D25F-7EC1-4155-B391-F76D83330FF8","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":"Q2841997$02E5C5FE-F70A-4071-B7AB-FB977A56757C","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":"Q2841997$3E94AC2E-8545-43DB-BC53-26CC9C71267D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55c26e57bf1c0d5715c18493a5d4074bfbaecf4","datavalue":{"value":{"entity-type":"item","numeric-id":1035700,"id":"Q1035700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841997$3773CC4B-42EE-44DE-A222-61703D90AB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841997$6C4EBFF7-B74B-47BB-B2EF-5228B57E320E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab4ffec7710079980ee130078216f6401e462d21","datavalue":{"value":{"text":"Parametric verification and test coverage for hybrid automata using the inverse method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841997$37E686C1-8DF6-4381-9BB3-D7A0AEFCE40B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019e9850ceb8ab0f70c4125bb89ee7e6b9ca3cb9","datavalue":{"value":{"entity-type":"item","numeric-id":3172874,"id":"Q3172874"},"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":"Q2841997$EAB94CB8-DE28-479D-AAEE-614B9990FC2D","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":"f8d50a8cc1c6673ffca0fc6da1d7b4d5c6041201","datavalue":{"value":{"amount":"+0.7713029384613037","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":"Q2841997$9D9E9002-84C7-432A-BDA0-2D19045BD5B1","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":"4a6220854c4734c2ab1bda07bc74efa060783789","datavalue":{"value":{"amount":"+0.7544231414794922","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":"Q2841997$0C9517D2-0557-4195-86DB-6E10604E18B0","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":"Q2841997$580ABDC4-5E4B-4809-97CE-FB5EB7085829","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":"212b4a12df582cfb12b6e2cf33977808dd49f898","datavalue":{"value":{"amount":"+0.7394334673881531","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":"Q2841997$62B3093D-B807-4BCF-B472-CEBBB36E2B7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2841997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2841997"}}}}}