{"entities":{"Q2059913":{"pageid":2070655,"ns":120,"title":"Item:Q2059913","lastrevid":72565863,"modified":"2026-04-14T05:46:32Z","type":"item","id":"Q2059913","labels":{"en":{"language":"en","value":"Corrigendum to: ``Revisiting reachability in polynomial interrupt timed automata''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7444838"}},"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":"Q2059913$98B19341-7889-44F1-8819-C37C020B3EAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f178122c51fc321fda2e3d584003899fa3327e1","datavalue":{"value":{"text":"Corrigendum to: ``Revisiting reachability in polynomial interrupt timed automata''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2059913$42D8C535-3258-4364-89B2-080346F6BE36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ef9faddd9e7dbc2a87adbcb2466567a498014c6","datavalue":{"value":"1483.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2059913$8710B9C8-AF1D-431E-8D9A-11B2CF84C10B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059913$3FCCDCFD-BCAD-4F71-A374-5370253C105F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9560a2a7c80ef145e6b9b718329e3064d365b3","datavalue":{"value":{"time":"+2021-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2059913$F3439EF8-F2AF-4709-9DAC-36D5660A2B65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2059913$15CDAFCC-3910-4CE9-89DA-2DF31FC6F8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2059913$1A1116B5-1E7D-4DF5-B7DD-3361B4D8AEB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7056b9633b0e70154af979ff2d2bd149bb56d15a","datavalue":{"value":"7444838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2059913$6E8186DC-99B7-4EA2-9B2D-62042F508DA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2059913$60866F51-C087-45F3-ACA4-548592469A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q2059913$1A2C46F9-4E09-4F59-A6B9-97B3BEAA3C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2059913$D1CE83DA-21F6-42E6-8F19-82AB032DEA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4742e626eeff1f615f6040f0a491c661d2b7c614","datavalue":{"value":"existential theory of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2059913$6EB6AD34-B404-4677-B030-D9478C024BD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0b2fb0d8d0ef4d3f60b9aaf6e6e940befe4cd6","datavalue":{"value":{"entity-type":"item","numeric-id":453511,"id":"Q453511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059913$4D8D8994-A225-4385-91DC-02382A769FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9211995ee2c9b003f62b5c38911c4d992017c369","datavalue":{"value":{"entity-type":"item","numeric-id":314812,"id":"Q314812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059913$36161145-17C7-4E55-B968-2C7FDFF86691","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":"Q2059913$10789EE5-E5FF-42C6-872D-91B1EAF9C681","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95d184c90037c545f3b7c4e5c4f831b901908d60","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2021.106231","type":"string"},"datatype":"url"},"type":"statement","id":"Q2059913$75F36C8C-5516-4BF9-926A-ACD3DB106622","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"864479b7b4a7109c4dcf70d0c14faae0142e911d","datavalue":{"value":"W4200233173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2059913$51F17FA7-0983-4216-8C56-8928D3D81F61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3be6b701161e771b781aef71b7eca9aa4e65b9b2","datavalue":{"value":"10.1016/J.IPL.2021.106231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2059913$EF262614-EE25-4E11-86D5-45EBC33A5F2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"157c666dbe98815191534cbab444683d04ce1172","datavalue":{"value":{"entity-type":"item","numeric-id":2059890,"id":"Q2059890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ba8df03e94f9394dd4f8c63bc6ef53109f74da","datavalue":{"value":{"amount":"+0.93188727","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":"Q2059913$23DD897F-4CB2-439C-BA0A-E9920F11B48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8418f7e16677ba6686a18c23183599926839d6dc","datavalue":{"value":{"entity-type":"item","numeric-id":2662502,"id":"Q2662502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf80ba1dfbbca2e8c245c7f885a4c2c679757d69","datavalue":{"value":{"amount":"+0.8909919","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":"Q2059913$EDE9B327-791A-4F76-B2B6-03D1C0BF7907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d31d4f104a94d0f85b2fa4ca120f599e6292d1","datavalue":{"value":{"entity-type":"item","numeric-id":407521,"id":"Q407521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4db09afe68a1492423cd395335a36220d56249b","datavalue":{"value":{"amount":"+0.8673234","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":"Q2059913$BA45406B-47CE-40B1-8FD7-6BD791757618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a55373c2ecf9bceee428e0061991d88d04935b","datavalue":{"value":{"entity-type":"item","numeric-id":5228137,"id":"Q5228137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7fb5defa370b8b8cdc874efc16c46febbb7370","datavalue":{"value":{"amount":"+0.86239004","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":"Q2059913$FD290B02-8C4B-4D81-86EE-DC313CD55393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c113132e729b1644b5919cc27a9510bf718df6a9","datavalue":{"value":{"entity-type":"item","numeric-id":6044359,"id":"Q6044359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fbbb31b57b1d975126f85d47243b7e6f41870d3","datavalue":{"value":{"amount":"+0.8509839","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":"Q2059913$612D7E99-A6ED-4888-94F5-E58E0A4104F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de9230e193984f68b5a0812b6e79e0933c55bb","datavalue":{"value":{"entity-type":"item","numeric-id":453513,"id":"Q453513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca4dd2b6d28c2fedb1a863f725bc7126686a5bb","datavalue":{"value":{"amount":"+0.8483956","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":"Q2059913$637A7D72-CE09-40CE-9DCA-78BDD5833243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded305ec011f37a054374169bff44564373fcab8","datavalue":{"value":{"entity-type":"item","numeric-id":5144644,"id":"Q5144644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9199c9432a4a05e6e39ec01c08f35e2c4350cf","datavalue":{"value":{"amount":"+0.84833723","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":"Q2059913$327C251E-A0C4-4E1D-8EC2-36C80497B3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c0a267e543144fd11e5e7758ade312f4b2f6ee","datavalue":{"value":{"entity-type":"item","numeric-id":2417858,"id":"Q2417858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853a3f26b3ae7821833c50688c27ecd1cb4f48b0","datavalue":{"value":{"amount":"+0.84106195","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":"Q2059913$5F1A79FE-184D-413C-8395-75D5B8E820A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3532287316667fc709de3bc9c82ecafff80124","datavalue":{"value":{"entity-type":"item","numeric-id":1675144,"id":"Q1675144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df45b195800761f75918a305540156dee8cb339b","datavalue":{"value":{"amount":"+0.8396195","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":"Q2059913$61B03D8E-900F-420B-8B96-CE7ABACC59BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Corrigendum to: ``Revisiting reachability in polynomial interrupt timed automata''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Corrigendum_to:_%60%60Revisiting_reachability_in_polynomial_interrupt_timed_automata%27%27"}}}}}