{"entities":{"Q3523107":{"pageid":5553011,"ns":120,"title":"Item:Q3523107","lastrevid":50441720,"modified":"2026-01-14T01:43:51Z","type":"item","id":"Q3523107","labels":{"en":{"language":"en","value":"A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318881"}},"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":"Q3523107$5616C3E4-DC15-46D4-8B1F-7BBAC51E812F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8f56a3769ef9e10d74b8e3a3da2b21d51067afc","datavalue":{"value":{"text":"A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523107$0E24EA46-2B64-4A73-9473-24C2F66528BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39acb1032c34793f83c0d6b9aa07042bf82a5ddc","datavalue":{"value":"1143.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523107$F7710B75-A396-460B-914B-B78A3C580C70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67a476c51d979f412c584ac2c82ffd9714ac96d6","datavalue":{"value":"10.1007/978-3-540-78929-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523107$B0B0C43A-0EC2-40D2-8F6C-347015F796D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31cf09ec1b4ecf8f762196d1f0c8d36bf8ee9ab2","datavalue":{"value":{"entity-type":"item","numeric-id":2060883,"id":"Q2060883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523107$A1F661C1-2099-475C-85F8-83B0FB33375E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3492802310ea237e48fe4aa2834169fa16ff3309","datavalue":{"value":{"entity-type":"item","numeric-id":533359,"id":"Q533359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523107$1E983F8A-3472-4FDB-966A-519563B28763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"007c640166b8b4c657092183a4f8e4ca51db5394","datavalue":{"value":{"entity-type":"item","numeric-id":1051359,"id":"Q1051359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523107$BEC8ADDE-41F2-41D4-8EB2-5F881796BB8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b27f91d5f92a7b342f46c3feaedd58c7e5b09ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523094,"id":"Q3523094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523107$09674A84-AFF0-4849-8333-65E258F89D65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523107$2D336FE2-5B0C-44D7-AC89-BBA91149D82D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523107$6DADBA64-65EE-4B42-9C35-20D97D92EEAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a71977056dfb2569eb9a163527dc4d4bc81e0c6","datavalue":{"value":"5318881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523107$06402A99-A58F-43BD-8221-4045F020324D","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":"Q3523107$F11FD2FA-F7A5-4AE2-9612-4DBEFA5F4EC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0812803871cdebb5c21d737b0e5fca985454934c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78929-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523107$265EABA6-3F26-422D-867D-D7541DFCD05D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2abd66facde2d68dba5c8b793c762f17bfb8dea0","datavalue":{"value":"W1830944000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523107$7DE6B8FF-F2DC-48DC-B60B-8789EBABD067","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e78cfff49a98e8c7b41de59fd23511815578670","datavalue":{"value":{"entity-type":"item","numeric-id":3624570,"id":"Q3624570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c7957224be212686d44ed38f7e5f1a387f043a","datavalue":{"value":{"amount":"+0.7747787833213806","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":"Q3523107$62538763-0929-4BEB-93B7-9A4D91BA983F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a5bf9a579537691c3b97510fd98aba54353bab0","datavalue":{"value":{"entity-type":"item","numeric-id":888464,"id":"Q888464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce40deebd56bb5dd5814a4b2c82a0f3b2325e856","datavalue":{"value":{"amount":"+0.7405539751052856","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":"Q3523107$AE6E2C1E-36B8-4C39-B06D-8ABC30C6FDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02e29ccb83fdcce6b1ea272efabe39a1ae3d6ca","datavalue":{"value":{"entity-type":"item","numeric-id":2926638,"id":"Q2926638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba1b20c6b6a9894a9ecab4f77b7791559f224c1","datavalue":{"value":{"amount":"+0.7390181422233582","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":"Q3523107$99267A1F-B1F8-4717-BAB7-8CB09288EA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62224478b8af43f1a2d436757172dcb751089a4","datavalue":{"value":{"entity-type":"item","numeric-id":4964733,"id":"Q4964733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2918e7811728b5b7d07e79d5663c42ec986f3f","datavalue":{"value":{"amount":"+0.7350493669509888","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":"Q3523107$F2D808DD-19E9-44DF-A883-975DB4B83938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2696538655eff7c4a38970b7e67dbb3533aa4398","datavalue":{"value":{"entity-type":"item","numeric-id":3303915,"id":"Q3303915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b20e63d5c17b139220a5f1d012ccbcae2d80dd","datavalue":{"value":{"amount":"+0.72893226146698","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":"Q3523107$FD1D7B26-6F18-4C25-B0F3-0B7BFCD7DE27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523107"}}}}}