{"entities":{"Q2911614":{"pageid":2922339,"ns":120,"title":"Item:Q2911614","lastrevid":58061979,"modified":"2026-04-03T15:58:25Z","type":"item","id":"Q2911614","labels":{"en":{"language":"en","value":"Using non-convex approximations for efficient analysis of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6075062"}},"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":"Q2911614$BDB2C438-C4E7-48A7-B54B-455856CC8461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f1dc1d7d85287254923c0c1257e3279394b4261","datavalue":{"value":"1246.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911614$0BDE30E0-60D7-4DCC-98C9-423AE49BF680","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"457067989db508107c0918b11040f2ba084ea5ea","datavalue":{"value":{"entity-type":"item","numeric-id":209126,"id":"Q209126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911614$E80AF587-57E8-4684-8F52-FC7846ABC0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22ec18d9efb86144ed2dcb2f2b20408f6214470a","datavalue":{"value":{"entity-type":"item","numeric-id":2272911,"id":"Q2272911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911614$43FB05EC-0B79-4D5D-973B-95AA2C6D4CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c384cd2d1fbc04d369354d34025bdfed89883e","datavalue":{"value":{"entity-type":"item","numeric-id":342705,"id":"Q342705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911614$87DC1BD6-9302-41D2-8FE0-ABA56C776589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911614$4A465852-1238-4F30-B649-6A1716855CA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84149e6dc3873f818774d0b131b454e3227c5f2","datavalue":{"value":{"time":"+2012-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2911614$3578B853-C373-474C-A35F-26FA061008FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91648951c276f541e4e358f4e67b4060219e2884","datavalue":{"value":"https://arxiv.org/abs/1110.3704","type":"string"},"datatype":"url"},"type":"statement","id":"Q2911614$470FF90A-3FE0-4B32-878F-148D71EAD0CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911614$8A3BE474-5506-4129-BD4B-D367507AA446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911614$F3C4546C-43C3-4B47-B7E7-4C5E71B86EF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccc70ea622023f1c2e51fdb2673ad556216000c3","datavalue":{"value":"6075062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911614$0E5547AA-C887-4019-8C45-F116FD9ACBA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911614$81E816B1-B049-4EE5-A020-A21E84FAFECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911614$7A7D9332-EABA-4FC0-8BC6-2FB2DCB6A886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6b4f20d599a38e4eaf00fe8252c8a049e6f5fd","datavalue":{"value":"non-convex abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911614$BC400D6E-298A-45C0-A18B-E4B7E7C20C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a002bf6c9639b5ab8d3e481fda2208ec3c4e2c52","datavalue":{"value":"on-the-fly abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911614$C74BE32C-2482-4BCC-9159-33A4C3BB2AF2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"383f379d41e613b7fb77eb8ce321eb29796c91e8","datavalue":{"value":{"entity-type":"item","numeric-id":16001,"id":"Q16001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911614$DC5F1867-143A-4B5B-A6D7-B555078F94D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911614$7F6BDACF-B10E-42F4-BAAA-98131D42AD60","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":"Q2911614$D135971F-E434-4E9A-B346-01033FD24ED5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d89b29344e86fbbb5d9224af61d3349f70b61ec7","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2011.78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911614$CB4D575C-58A5-42D2-A4F2-ADC53818F1CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6132f69a72c717a7efe07b202c4af5076d16dd2a","datavalue":{"value":{"text":"Using non-convex approximations for efficient analysis of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2911614$FAC032C4-A026-462F-B47B-13ADDA801E65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6948e93f69b608be9b9b40188f27feba5198ca20","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63c5a02e53406ea9f95dcc1e2523f58113485e5","datavalue":{"value":{"amount":"+0.7874149680137634","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":"Q2911614$A1977087-FC09-4A37-8FF1-4B6CC071E86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7730acfea263f219e89a5cde2bb3279cdfb699","datavalue":{"value":{"entity-type":"item","numeric-id":1683455,"id":"Q1683455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f03af95d3137a68f97e40a6f403b6c5f020f62e","datavalue":{"value":{"amount":"+0.786463737487793","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":"Q2911614$F59E9186-BEBA-4CC8-BC67-1FEC13B52A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274488422d1b7207ff867c50e2a000d964e41bfd","datavalue":{"value":{"entity-type":"item","numeric-id":342707,"id":"Q342707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ca457a554b535608bc6bff373c0382bf67ea00","datavalue":{"value":{"amount":"+0.7847408056259155","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":"Q2911614$B44B9288-D315-4A1D-8414-E54FD92718F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6990e44b7e41a09fe288adacfcca18c6c2f68f46","datavalue":{"value":{"entity-type":"item","numeric-id":5756592,"id":"Q5756592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5b583aae4e95351dc77711486897b513359344","datavalue":{"value":{"amount":"+0.7623311281204224","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":"Q2911614$D69CC294-CF1E-47EA-BE57-FF8393384D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f1b33f15eb6e4d4160b3b76fb3b95ae7110252","datavalue":{"value":{"entity-type":"item","numeric-id":3510840,"id":"Q3510840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4836f98215aa9be716fbfff1fb9034184672af5d","datavalue":{"value":{"amount":"+0.7569188475608826","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":"Q2911614$6488D1B5-B23C-43EC-8E77-907CA7EFC582","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2911614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2911614"}}}}}