{"entities":{"Q5302913":{"pageid":7332487,"ns":120,"title":"Item:Q5302913","lastrevid":50539259,"modified":"2026-01-14T08:21:40Z","type":"item","id":"Q5302913","labels":{"en":{"language":"en","value":"Constraints for Continuous Reachability in the Verification of Hybrid Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5492015"}},"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":"Q5302913$9128C32C-8C85-46CA-BE52-2A4BB3CEFE88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"769aff56b6d0c9f07ff11b80fe12563332e3bf49","datavalue":{"value":{"text":"Constraints for Continuous Reachability in the Verification of Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5302913$90694832-7FD2-434B-8DDA-31CC3E373356","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0b88e74e531c53dae07e6116825a87f86fc0594","datavalue":{"value":"1156.68476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302913$5F4AFF9C-B8EF-4838-87F0-755D92EF100A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1910c812b8e1ac82d3b359ead58b263a0e39c565","datavalue":{"value":"10.1007/11856290_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302913$D0287F13-C148-466A-B299-DEF87EBAD416","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e504e5c78f160847d88d111e5ab65b0189aa771b","datavalue":{"value":{"entity-type":"item","numeric-id":389833,"id":"Q389833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302913$6DB3F91E-06B9-455F-98A6-DA90780E8477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde4e3ec6ac72e6414a4a270d573ac1c4cd236e","datavalue":{"value":{"entity-type":"item","numeric-id":305004,"id":"Q305004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302913$06DB8160-285F-4C4C-8B0D-8AC29CB5F7D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d890af79c9ca3ac61d434a598eaae0d88b56c6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5302894,"id":"Q5302894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302913$A102C994-80E7-4D06-B3FD-E04E40DEB866","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5302913$3D5CA52C-444C-4636-B32D-8EC82B8235AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302913$A4479E8B-4C9A-421D-B367-520A1666FA0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7ad46b16b8cfeeb71906808b09dcca223f3b580","datavalue":{"value":"5492015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302913$9022C032-03A9-4E71-9564-8B35C7094777","rank":"normal"}],"P1463":[{"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":"Q5302913$61CD8D32-B933-41AE-BAE3-484B4DBC6067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302913$DD5F3393-339C-4280-9AFC-0419B24AAC22","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":"Q5302913$2C7F29B4-96F5-4208-8361-B84AE31CB347","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b98ff07337b1359f40648447a7d200cd76c1e5e","datavalue":{"value":"https://doi.org/10.1007/11856290_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302913$C7BA8672-44AB-4637-8BE6-76D07AEF6BB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce5a3ab92dee87be52394b929e7db117b0fe339b","datavalue":{"value":"W1573837784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302913$70D649BF-9CEA-47E4-A959-46231C758BD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c5411feb8333a08a2285d9738f5ab8403db6cf","datavalue":{"value":{"entity-type":"item","numeric-id":1026401,"id":"Q1026401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2315b597606c65de3069e4f7e282b159d1ae18cf","datavalue":{"value":{"amount":"+0.8446334004402161","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":"Q5302913$0F32A61D-F97F-4CD1-8BF8-ECBEE516F030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41584cc5ec5f7b7ffe1ca42bad9b02891030d68d","datavalue":{"value":{"entity-type":"item","numeric-id":5703953,"id":"Q5703953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8906faf6df67a22da8201a77d1870944c18af41a","datavalue":{"value":{"amount":"+0.8273124098777771","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":"Q5302913$149173F2-51B7-4F83-917D-FFFD9EF10736","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":"6b882d3677aae97514aa58d2fecba6aa6176edca","datavalue":{"value":{"amount":"+0.782896876335144","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":"Q5302913$BE791E95-4841-4B19-AF5A-41D053C0A45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ed970d72f8440b27e0323d2080af8bffa75899","datavalue":{"value":{"entity-type":"item","numeric-id":4931281,"id":"Q4931281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da05a0f4fe0c7bbcd265d5747fd88751fdf9eee","datavalue":{"value":{"amount":"+0.7687747478485107","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":"Q5302913$686C5652-59AB-48DC-B124-6C536A916E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722bda66784fe839f8b31c0ac7d90ff3db90eefc","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5423d7fa091137813730ac2eac0cb2b2031fd28d","datavalue":{"value":{"amount":"+0.7656676769256592","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":"Q5302913$F81B3A10-EC6A-4F08-9C40-6D2E3416278A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5302913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5302913"}}}}}