{"entities":{"Q2291816":{"pageid":2302559,"ns":120,"title":"Item:Q2291816","lastrevid":71778480,"modified":"2026-04-14T00:28:58Z","type":"item","id":"Q2291816","labels":{"en":{"language":"en","value":"Consistency in parametric interval probabilistic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161315"}},"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":"Q2291816$FDA976CA-BBC7-4C86-87C4-503C5CB244AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"907e4a776e644dabe0f28a3998b98264d4078c0a","datavalue":{"value":{"text":"Consistency in parametric interval probabilistic timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2291816$12B13424-3353-4F05-A550-2E223CD5295F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de3047c9ca5a68af6cfd79063027c6d5aff2ce10","datavalue":{"value":"1494.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291816$AC3E69DC-9379-4D1C-A49C-E8E558121EBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$FF171AD3-5FE8-42CD-B5FA-893FA8BDCB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b32a3caca359aeb96a076fc44568e6e76062cb9e","datavalue":{"value":{"entity-type":"item","numeric-id":1786611,"id":"Q1786611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$A9DEDD4C-A5E6-46CC-8669-1B1FC6582008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a716993ce7ffcf19373e97e44f91ca996eb0c09a","datavalue":{"value":{"entity-type":"item","numeric-id":386008,"id":"Q386008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$B941785F-A3D2-4BC1-8630-839753BB7281","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$9C80162A-23F5-4112-B095-3200A4E8C987","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db01f1f293a86902f326559cf8c2d6c6f3d0ad08","datavalue":{"value":{"time":"+2020-01-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":"Q2291816$6FDD0A33-2C0F-4CD1-B05B-23663DB085D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93f0b83490b899a0ec9047889345aa15d5c5c123","datavalue":{"value":"https://arxiv.org/abs/1906.04982","type":"string"},"datatype":"url"},"type":"statement","id":"Q2291816$6912F196-559E-41CB-AFDB-A0E162BAC502","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291816$87AA98BD-2EC8-46B7-AA7A-A10CBA3CE084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291816$BCF0DDDD-C2FB-4FCF-9EF7-E546CA1A24BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291816$0AD57B8A-39B8-4C3F-B03A-71702817F3A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f7739ea5c705127199a94c59d10486954753b18","datavalue":{"value":"7161315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291816$9CFF3C63-70C1-45C6-ADF4-195A1DBC4B8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ee67fa4b266cda96780ab5a04262b83281dcef","datavalue":{"value":"parametric verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291816$861B0859-6EB8-4037-9962-31153B680058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9285120e33c91cf2308fa6cca7b43648b7f403e7","datavalue":{"value":"timed probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291816$C161F957-994C-4603-A59A-2086D946D05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d73184d7dcb5a6f560ca039b146590748abc8d","datavalue":{"value":"parametric probabilistic timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291816$CCDF1522-D0AC-4A58-80C3-166E7CECC4BC","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":"Q2291816$877C5E1C-E5DE-4701-B77D-BA24FF7B0421","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e822aa44fed158483ed9507ef984e0c6efa7b2e2","datavalue":{"value":"W3098409019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291816$F0D17884-8DDA-46A8-8402-DE340BFB8E58","rank":"normal"}],"P223":[{"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":"Q2291816$0F38E280-33AC-486C-9B49-06BE689F3881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$DA3AA452-5CC2-442E-BB6B-43B91E8A5033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb4dee46e0b969a233da17f13d596a697e076e5","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$7F960459-D15F-4E17-93DF-BB74CA717B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0df6156cb24cdd1f06eef3803b53a38672dde6","datavalue":{"value":{"entity-type":"item","numeric-id":2248053,"id":"Q2248053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$8E92E5F5-59F3-4383-9A57-9FD1C296E343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba78a772e6129ed22a5af7f6e6e8e9dea9d4a23","datavalue":{"value":{"entity-type":"item","numeric-id":2945580,"id":"Q2945580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$72EC4233-2A88-44E9-A991-EFB6C0701325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d475563753b2def66f50645b71310fdb957e1ca","datavalue":{"value":{"entity-type":"item","numeric-id":3449466,"id":"Q3449466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$DECC3F7D-5404-4DD8-8587-36F0CB47AB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$2C8A69FC-BE98-4CE4-AF8D-4B41F104F22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b76cd63c5178ec2dcd1f08b328bd5ef3f072c74b","datavalue":{"value":{"entity-type":"item","numeric-id":1041291,"id":"Q1041291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$E67D6A99-41BA-4AC7-AF97-F6DDA2F77519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28640f2fa56451c60d837272c110f8ba1f6f7b1","datavalue":{"value":{"entity-type":"item","numeric-id":5240149,"id":"Q5240149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$9D506743-F153-475F-8FCC-B8BA69D096C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9a500c1f797797d23082afa4bdb7183d4cc08f","datavalue":{"value":{"entity-type":"item","numeric-id":386011,"id":"Q386011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$9B6A6F6D-D21A-4A67-AE84-F8AFC7EBDA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d6d32b98d38ff32f8d3ebd26dd6658702fcfd0","datavalue":{"value":{"entity-type":"item","numeric-id":444461,"id":"Q444461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$2BDA1A96-E0C6-4915-8812-DC5D5BC9AF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1dad59e259f0085e8e47388b24b9cf14685597","datavalue":{"value":{"entity-type":"item","numeric-id":2796061,"id":"Q2796061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$765E2945-6C60-43F4-95E2-C667D33CDF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb26fb1846b6f18c02035a5f88554afa02bb81bb","datavalue":{"value":{"entity-type":"item","numeric-id":846009,"id":"Q846009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$5990FA7E-E71F-492A-81FD-A3075CBE0317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$1C4A802E-83A9-4120-8EB5-56A6AD29383D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e77662df15e30000f8aadb984eaaab2652209d0a","datavalue":{"value":{"entity-type":"item","numeric-id":3447704,"id":"Q3447704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$162FA226-BEB7-46F3-ACCD-FCB5118534C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13aebb6e6bc4202ac98997ac8072de74b833c8a","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$45ABCF88-ECC8-4242-890B-E8E5E2CE0892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$6722ECB1-FB83-4397-B3BB-1C193C4C9898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b68db716c887d5568fdebc4c4887e66ff39f5fd7","datavalue":{"value":{"entity-type":"item","numeric-id":1402478,"id":"Q1402478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$7EB92EE9-DE0D-409E-B00B-50DA76019DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e499ca4910168e9fcc3cd0ad40566cb27f72097","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291816$34DD8A80-FA8B-47C8-AEAF-3D73F1D07EB2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"48fa8637b88ceeb4ac26b633fe3131e2524ad9d9","datavalue":{"value":"Q127903467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291816$F4617841-AA49-4737-A6C5-6FF22F13B0A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3897a849dc5ceb190f8b77de06757ada2dc90afc","datavalue":{"value":"10.1016/J.JLAMP.2019.04.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291816$D01DC41E-8447-4E62-A84E-17FD8BE09666","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4944ce155b44ba868c8d12c45200ef23ac0da0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4536598,"id":"Q4536598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b902005edf909c7da82f05300a20a24f3bf89c","datavalue":{"value":{"amount":"+0.9056194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291816$DEBDCD1B-49F7-4BD6-9F98-04583B28ADED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9bbb36d4b120f137a0a4ed9d19f82b22b20394","datavalue":{"value":{"entity-type":"item","numeric-id":5458833,"id":"Q5458833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b35d5085b2485710a03cddeb016c55b4513b69","datavalue":{"value":{"amount":"+0.8982202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291816$6447D561-B74D-44FC-8268-DDAF2FFA7348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634491e4964dbdb24b1dbf1468f147d2f579d818","datavalue":{"value":{"amount":"+0.8950434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291816$43B715C0-5DC5-43C5-917A-3109BFF8EF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb7a190db72c074afb5a691181916be1181b3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4603554,"id":"Q4603554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8522d50f9192b5ecbd536b03b15a9bb838b3654","datavalue":{"value":{"amount":"+0.8914181","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291816$6EF02A21-E2A4-49C7-AF95-49958698E144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc5ad89c21ebe8fece2a79ecf21d2c58b56ecff","datavalue":{"value":{"entity-type":"item","numeric-id":5484905,"id":"Q5484905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa3db41f087b93f55998f0eb4605aa428ae0313","datavalue":{"value":{"amount":"+0.8910235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291816$72ABFB0D-D028-43A5-830F-536B115E2D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5503558c8e98c70f7fc6dd9b63e8ba7baf4c4ad","datavalue":{"value":{"entity-type":"item","numeric-id":6104804,"id":"Q6104804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604fd6f06af9d7e5c01e38a08376025e61c605c6","datavalue":{"value":{"amount":"+0.8906125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291816$DAE052EB-2541-4366-8BED-44FB80DFA812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e4c50280b7ca24e7c41a221b387028cf2d75be","datavalue":{"value":{"entity-type":"item","numeric-id":846009,"id":"Q846009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bb21ca9f1d7e3b26729402a2ec7368a21fb25a","datavalue":{"value":{"amount":"+0.8906055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291816$F762B6FD-B350-4E38-B6A2-FB5B7DB1CDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6093d387f1611bd74c271f7169f804172ddbdd13","datavalue":{"value":{"entity-type":"item","numeric-id":3184689,"id":"Q3184689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2141f335767d779dd3c87157b07242627158d7e3","datavalue":{"value":{"amount":"+0.8890843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291816$5B1BD316-C3AF-49F5-A36E-8173F00107B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency in parametric interval probabilistic timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency_in_parametric_interval_probabilistic_timed_automata"}}}}}