{"entities":{"Q5166676":{"pageid":7196248,"ns":120,"title":"Item:Q5166676","lastrevid":52037102,"modified":"2026-01-20T19:39:11Z","type":"item","id":"Q5166676","labels":{"en":{"language":"en","value":"Time-bounded reachability for monotonic hybrid automata: complexity and fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314146"}},"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":"Q5166676$6D5F5B61-54DA-481E-B56F-C12F04A64981","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3a26e96206c1e295aad23d17b6ea2648d1b2ead","datavalue":{"value":{"text":"Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166676$7E68BB55-CFCD-4504-B390-B9D7FCCD6DBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"219dea599936163f833e0aad240dab7ed8eee0bd","datavalue":{"value":"1410.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166676$7D46AE81-1F38-4F09-802B-4F5AD9EB2776","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e860c55b74114f6c70d13e4b7b7f657fe5afec5","datavalue":{"value":"10.1007/978-3-319-02444-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166676$95569BDA-E989-4F07-B6D4-28A4A412ED0A","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":"Q5166676$79AAD648-1A78-41D5-BFB5-0DFD44838505","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":"Q5166676$D63996A7-09B6-4538-B113-AA348CB3AF38","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":"Q5166676$684DB4FC-B18C-4192-B245-940DAC219518","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":"Q5166676$E2E69092-C7BF-486B-9A98-A30E96BA5B88","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":"Q5166676$9D8F54EC-ADEA-47EF-87A4-C91D0BD13834","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":"Q5166676$723F3020-0FB1-4A20-978E-39525C4958D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166676$4EF32C65-910E-4C7E-90BB-32CAB4B8DBE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166676$F6AAFDD5-E97B-4A2B-8D00-9212395D7C6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166676$D8961603-6DC6-47C1-9A07-09373A69B859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166676$1C09C03D-E887-47B0-95B0-6DA8AA895BCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e2c9ffcbba391236649bb9b9a6a548f1aa6eca","datavalue":{"value":"6314146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166676$1150FD23-ABEC-424F-9869-2E0E11490629","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":"Q5166676$40ECFDF8-C56A-499A-852A-520E119792BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d776a2f182384e9c724e125bf065baee24f3a847","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166676$BE4CF248-59EB-44E9-AFB3-AA4DF8F46491","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5269350e87923d4f0aa38c93f8304b40fbc3c9b","datavalue":{"value":"W1480878841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166676$A53F268F-633B-4652-9874-D2F12CF5714B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688a3893299dce630068923a5bfe9bb8e20db89c","datavalue":{"value":{"entity-type":"item","numeric-id":3012937,"id":"Q3012937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ebafb78f06ae206a05707d118781020e56d1171","datavalue":{"value":{"amount":"+0.8343369960784912","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":"Q5166676$F1056EA6-47B8-4E99-A93F-B3FC9BC6DEF1","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":"dc1bf16ea239fde499808e28d3657a027a0d2353","datavalue":{"value":{"amount":"+0.7792900204658508","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":"Q5166676$B7A79B54-4A5C-4C0E-BC81-D44D39DE03EA","rank":"normal"},{"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":"9fc377d03bc04e0bc4472baaae69749d6c11dd6c","datavalue":{"value":{"amount":"+0.7772752642631531","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":"Q5166676$1C92657D-21BA-46D3-A466-49BEAE273785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9968e936c48054e81c3fd1b90019dbc19e7029","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f356b2e0c8d243f1deeb6862dd33d023682f3e2e","datavalue":{"value":{"amount":"+0.7769007682800293","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":"Q5166676$3342144F-5677-4C3C-9F4F-27DF22B945D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db08aafe1a737d83c36857bcf28c8372e9f30f09","datavalue":{"value":{"entity-type":"item","numeric-id":2799176,"id":"Q2799176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f2c94d1b8c86e2dd543b8aa1bf16c8aa743baa","datavalue":{"value":{"amount":"+0.7727304100990295","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":"Q5166676$E94CB182-217F-4173-9FE8-51F18BE87610","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166676"}}}}}