{"entities":{"Q6080230":{"pageid":13214537,"ns":120,"title":"Item:Q6080230","lastrevid":41251608,"modified":"2025-04-24T17:21:18Z","type":"item","id":"Q6080230","labels":{"en":{"language":"en","value":"Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7744917"}},"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":"Q6080230$B1262BC6-F052-46F0-83EE-25DAD1C7BD0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed7771bae5dd27f77d98c62d164c5451790f1c09","datavalue":{"value":{"text":"Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6080230$58C9CDCE-F88E-4949-881D-58FB16312C22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"590214d1199f9d7a391b3df6956ae7e3c3ab16ea","datavalue":{"value":{"entity-type":"item","numeric-id":255527,"id":"Q255527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080230$7CF8AA12-51C6-4A11-A127-B44BFAC93915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59dafef4f70d68098ae3bb4fb154946b5642dfd5","datavalue":{"value":{"entity-type":"item","numeric-id":340678,"id":"Q340678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080230$63FE38CD-A193-4108-854A-6997421E1DA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080230$CFD9E331-4B36-4BD9-AF77-0E9C57D9EAD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e68dcb3ce5566cf2b4bd7c1def923cc7a3f373d5","datavalue":{"value":{"time":"+2023-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6080230$F82C3D5B-66B2-4C4A-9FA5-9DF48DC46DDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080230$8E7D917C-A7ED-48EA-8C7F-D784B3FFD425","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4d8bd04ab91b1eabadfedbcae40c8ecbaf7b5c1","datavalue":{"value":"7744917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080230$F2F9F3DF-F931-4F80-963F-948D3CE7A14B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8759df4b7b11acfb862a88db0d7cb97eabcbd880","datavalue":{"value":"critical observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080230$79CF855A-3E0A-4105-A7B2-E7CC3860EA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e14b9bb4460ee785093532c59d9e56c0668fa098","datavalue":{"value":"discrete-event systems (DESs)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080230$70C70DC9-C7AA-4DA4-A69A-3F64E79182D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033d8e48f2c94e1724f1fba5e96607939569b58b","datavalue":{"value":"networked systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080230$9AE83008-F3AC-41F7-9F71-3A96B46B858E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31017a2c3b098372f149724ca00c3018ff8602d5","datavalue":{"value":"state estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080230$234D9C4A-707D-462F-A4C0-641A6B30B79B","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":"Q6080230$C990DF21-1D8D-4803-96ED-8A68E3F47A25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3b9edcfbe90e23a77965caa6cfc488e58b76aa0","datavalue":{"value":"https://doi.org/10.1109/tac.2022.3202983","type":"string"},"datatype":"url"},"type":"statement","id":"Q6080230$6DAEDF12-9296-43C8-B398-7C2CCFF6A5F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1684e4e20d3b7b9891d553dd7db4fed4ee4f596","datavalue":{"value":"W4293704267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080230$CCC0769F-BEE8-4B97-B800-B0795F464351","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94dd28d73f51d49bff3ec7f77308f8c66b6d901e","datavalue":{"value":"10.1109/TAC.2022.3202983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080230$21BDF908-5FB4-4025-98E9-257D6019CD53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1000505866bc275b235a688da8a61ecdc23655c","datavalue":{"value":{"entity-type":"item","numeric-id":2983078,"id":"Q2983078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050fcc7b1fa83ade6994407bb9ad3d706fbc5adc","datavalue":{"value":{"amount":"+0.9010993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6080230$2309F690-4429-41C4-98A0-AEBC5D64A039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce5658b5abb4aab81de45d1778514ada99e5f5d","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8fd5d806bec4d55a6fadb08f8884312f9862d4","datavalue":{"value":{"amount":"+0.8937975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6080230$DE54FDB9-B63F-4810-B04B-973C42162A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee4198fe9881653eb5b27084233a27059691161","datavalue":{"value":{"entity-type":"item","numeric-id":2065231,"id":"Q2065231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308f81dc0f1d29dcfb00537a7af46a7add1b8011","datavalue":{"value":{"amount":"+0.89236313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6080230$15D6BC54-A4C4-4EBE-B042-C104714726AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b541560e0b4cb41d86d0e64fc23c068652bb34e8","datavalue":{"value":{"entity-type":"item","numeric-id":4969367,"id":"Q4969367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980a3f201c43f8aaf4198b38d69b9ee007a7858f","datavalue":{"value":{"amount":"+0.8900367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6080230$D2231470-E071-409F-9738-759591AD4FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b5f0abb1e90213cf9d37e3d228b3955274d5fb","datavalue":{"value":{"entity-type":"item","numeric-id":1679097,"id":"Q1679097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b7c7a5ced1efdcf15ae6c83093f69451e891d9","datavalue":{"value":{"amount":"+0.8861426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6080230$8A70DBFC-8A47-413F-99B5-46335B2BBBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ad8fcd13c2299a0a091729db8fa9a6585c02e6","datavalue":{"value":{"entity-type":"item","numeric-id":6165326,"id":"Q6165326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c97bfb1a0254332b2cfeddaf42c830ce9f2620","datavalue":{"value":{"amount":"+0.88242066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6080230$07002656-5911-4F4E-958C-F289A202E840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4697b4db06e85fa04dae1f7d76f565ef8299a1f9","datavalue":{"value":{"entity-type":"item","numeric-id":2391506,"id":"Q2391506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b765624194c56ce94b4d023c2a0882ef533abd83","datavalue":{"value":{"amount":"+0.8810469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6080230$3762F909-24AD-40F5-A30D-E938BAC01E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd20dcce13642b5123b35cad652ce432d3616e42","datavalue":{"value":{"entity-type":"item","numeric-id":3493237,"id":"Q3493237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5f1ec4362393808651704fe0179f94cee12a69","datavalue":{"value":{"amount":"+0.87975043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6080230$67A98D16-6B45-45D8-A039-2113E0542339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588926cba181cee46c11a83bf266ebe4a08311ed","datavalue":{"value":{"entity-type":"item","numeric-id":5027364,"id":"Q5027364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c088902e2f1fe783711922f1a3320619841cb9","datavalue":{"value":{"amount":"+0.8737325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6080230$B814B379-80C1-4E78-870C-EA10592A8D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3eb97abb2cf6cf449d344a5d21b20e33f5b1e66","datavalue":{"value":{"entity-type":"item","numeric-id":2663854,"id":"Q2663854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73d4cc24727975984a9599d1d9cdf35a745ad62","datavalue":{"value":{"amount":"+0.8714394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6080230$A2823248-800F-4315-A6C1-85D6433F07BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6080230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6080230"}}}}}