{"entities":{"Q4928452":{"pageid":6958034,"ns":120,"title":"Item:Q4928452","lastrevid":51744740,"modified":"2026-01-19T19:37:26Z","type":"item","id":"Q4928452","labels":{"en":{"language":"en","value":"Hierarchical reasoning and model generation for the verification of parametric hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176221"}},"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":"Q4928452$8363E0FC-3E00-4B74-8210-18CA352AAEA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa5e1cebf0b648870ef15620be8749e4d8b30042","datavalue":{"value":{"text":"Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928452$447E5B33-802D-420B-A560-739867A87824","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29e1d7a3106665870d3ec57696b3187e38d02141","datavalue":{"value":"1381.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928452$DF7D6647-843A-4A08-B2B0-714C83BA69F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0202d424b885e90aeb02d1860322a115bb3138b","datavalue":{"value":"10.1007/978-3-642-38574-2_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928452$466742D7-3486-4A34-AB23-A0DAB95650C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928452$B1FB12E7-23EE-4E6C-869D-42B3DE76782F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928452$B6F8D79C-A5AF-4F3A-B159-A08ED474E920","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928452$275E08E8-E820-49F6-BC12-FBD4E9C943E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928452$03EE3E65-4999-45D7-B09B-CC1EB47739E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928452$A3B4E39C-0762-4F11-940A-044A8611B559","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da6ae6ec082dd0449839cd6ad2e0edfae8f90ecc","datavalue":{"value":"6176221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928452$C68A1335-657F-4B98-BE6C-AE3FF208DAF9","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":"Q4928452$641B74A4-2A66-4459-828F-6DD6D7901505","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62b960c899c6be87e2b5abf82a3f1ccf58c02fb6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928452$5FC35D7E-0C3E-4A59-8D74-93CAFC316D4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20c162cd3c798cb6602b8849afed694d39c5cc8e","datavalue":{"value":"W1528317507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928452$AA00F9CB-359C-4E25-990B-3A5275428A6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffda3c4b5f233bc71b2adb3f717e5fc909b23349","datavalue":{"value":{"entity-type":"item","numeric-id":5134273,"id":"Q5134273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197f6ed1cbe2b36bd6b314a67e1d611e4fe31b9f","datavalue":{"value":{"amount":"+0.89820396900177","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":"Q4928452$56B6E86C-4BD3-4D52-861C-95C614F04026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677cc4e09a666aa42ff8da2a3e874e1c6495b615","datavalue":{"value":{"entity-type":"item","numeric-id":5747759,"id":"Q5747759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2a061ff5ee00c3f52d3f9236219c93f71aacf9","datavalue":{"value":{"amount":"+0.8788318634033203","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":"Q4928452$E111FD3C-59F0-44D9-9C2B-AD43CF4B34D8","rank":"normal"},{"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":"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":"Q4928452$5C80F151-EA3F-4FD0-8C87-FC28B26E99E6","rank":"normal"},{"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":"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":"Q4928452$1F97669B-3AF1-4879-BA6C-B4F9A2E1FAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14df390f14837cd643a05b314b49b62d93d32381","datavalue":{"value":{"entity-type":"item","numeric-id":5434491,"id":"Q5434491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f906dc42a206f78730e155219a10049a5695a81","datavalue":{"value":{"amount":"+0.7543379068374634","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":"Q4928452$88D1F46E-541A-46C9-8AEB-FFBCC37BA448","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928452","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928452"}}}}}