{"entities":{"Q3012937":{"pageid":3023661,"ns":120,"title":"Item:Q3012937","lastrevid":58102002,"modified":"2026-04-03T19:43:46Z","type":"item","id":"Q3012937","labels":{"en":{"language":"en","value":"On reachability for hybrid automata over bounded time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918163"}},"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":"Q3012937$46BE2AE1-39E3-453F-9D9F-C6A19589B4E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fd2ca768c795fd06457d80e666497033c12b6bc","datavalue":{"value":{"text":"On Reachability for Hybrid Automata over Bounded Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3012937$D2E1A234-1638-46C7-A656-ECAC5306BC93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40289a8ead2310972f0fd12752f86784a73ff626","datavalue":{"value":"1300.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012937$088E2ED9-B2F7-43EB-86CB-68DFBED59687","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ef08cf5ab0ae5b8524d5ee6cdd858a5efd15d43","datavalue":{"value":"10.1007/978-3-642-22012-8_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012937$A4BFDFFA-7062-47A5-9112-9A2A06DECABB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c813e4eac9249a49160a1fa23fbb3a021a9d29aa","datavalue":{"value":{"entity-type":"item","numeric-id":520341,"id":"Q520341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$F8EB1258-F311-4819-A36E-1A79B2739F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b65dbd282c1f97bc4cab6e67d32bfc907f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":528192,"id":"Q528192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$3E47ACFC-0ECA-4749-9F8C-43A8D201FD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c3f9f38aefd8497e435cf677955510a3778959","datavalue":{"value":{"entity-type":"item","numeric-id":487252,"id":"Q487252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$2DF6E884-57B4-4F21-B8A8-812F1BF771A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$E898C599-8795-401F-94CF-19F68331D31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$3525A272-2F3B-4969-B7EA-E398E716819C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$978A0BF0-0BBA-474C-9FFE-10EB53F8A45F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$23C92103-0931-44D0-A9EB-CD817F1512C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-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":"Q3012937$555A09B5-6E06-448E-9C73-265F31BFF048","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b775592701733b43376e1b848313ccb23b9126b0","datavalue":{"value":"https://arxiv.org/abs/1104.5335","type":"string"},"datatype":"url"},"type":"statement","id":"Q3012937$CAC6C842-C9BF-45BF-B9EB-A48DB1D2EC61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012937$BDAB5EB6-B993-405B-B6CE-DD4C0706E217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012937$21EA38C9-40A4-40D3-A56C-3C42451675C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012937$C675F0B5-86E9-4AAF-97A6-D7FAA1084143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012937$47FA3CC6-AE22-4F40-A4A8-6E8B7415A0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012937$CDB8BBB2-0EAF-49EF-99BC-C7C6095E49EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"355e69c49239758f8fe42a2d01a3bc2f3d1703a1","datavalue":{"value":"5918163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012937$E128F7FD-7C52-4CE1-9A66-630508480F42","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":"Q3012937$FBD13C34-253F-4717-B546-3DBFD6B1ADB0","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":"Q3012937$876882C8-B50D-493E-8723-1DDB663B6744","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":"Q3012937$0E4D4DF3-4E4F-4BDC-8D7C-54A16BD4377B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef3a6859242eb7b2b2740372c48df9c0da922bf6","datavalue":{"value":"W1854945613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012937$86B5430B-276E-4750-BEF5-1F5AB97CE743","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb33de39adcd013a90106b3534dea2849e02335","datavalue":{"value":{"entity-type":"item","numeric-id":4763590,"id":"Q4763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$F2F3093E-67E8-4A17-A243-FFC818A1ED2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$0E4BBB6A-419F-4CCB-8E65-4A313339F550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dc32dff08f7e062837373e4e0bb0cd53c724ad","datavalue":{"value":{"entity-type":"item","numeric-id":4536599,"id":"Q4536599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$1C8EF86D-B3DE-454C-925E-612585CBA3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$90D8140F-AA53-43C1-A869-A87BAC88187A","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":"Q3012937$7618592D-2521-4757-9B94-7D9C7733DC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$F89EFC1B-325E-4B13-9C18-FB1B58A92596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85065d4aec42fefe8de60c39fd7bfd79c413cf4d","datavalue":{"value":{"entity-type":"item","numeric-id":4953389,"id":"Q4953389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$9D20275E-5F63-4777-9FC6-B3E6DB0A4B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5dd7a0ac47757fc0c679cd85b00743d85f9a2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3184695,"id":"Q3184695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$2AB97B68-6E3B-432E-95B4-00BC6C89E254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f945648eb4af6145e42c6c0f25e4999d1bf7b","datavalue":{"value":{"entity-type":"item","numeric-id":3587425,"id":"Q3587425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012937$8E39E0F6-02CF-4A9E-9DD5-5807DACAA002","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b6e3008ffc3ca743afd8e7a3f0717f9671bb9a","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0030a4ae2164961d9d0bdc14ac83781443e6250","datavalue":{"value":{"amount":"+0.8690522909164429","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":"Q3012937$0A3AC8BE-689A-4F8D-A5F1-EBC2005BC76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080dc784f97d422f30e56964afa2df10bc707388","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c40d56a50fe5161b8972d8e50a689a19bfc98d","datavalue":{"value":{"amount":"+0.8660919666290283","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":"Q3012937$5352207A-F1FE-47B7-B0A1-E03897FB176F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f162c2a21cb056d5b5f98928bc7ee53929d3de6","datavalue":{"value":{"entity-type":"item","numeric-id":1300103,"id":"Q1300103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4963ea42ccc5f94d1c1cb2710b92067d9f810bf1","datavalue":{"value":{"amount":"+0.8624113202095032","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":"Q3012937$C7EAA835-F40C-41D1-B468-819944FCE5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b4cca787a1abe3caddfc1315c4e9e078727353c","datavalue":{"value":{"entity-type":"item","numeric-id":5897961,"id":"Q5897961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c7af3b752bd2b9cf7ef03aa64bf977165cb971","datavalue":{"value":{"amount":"+0.8610777258872986","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":"Q3012937$F18638D7-0EDD-4AE3-9285-7F55A8F2BB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c653af73102b89bbf8a1c40c9e167b3275ad90","datavalue":{"value":{"entity-type":"item","numeric-id":5500564,"id":"Q5500564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"921f699a315cd3dbc52f59aed3e06f090ea3bad2","datavalue":{"value":{"amount":"+0.8513827919960022","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":"Q3012937$E75E42A5-FA6B-4785-9423-C349528A6646","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3012937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3012937"}}}}}