{"entities":{"Q5352760":{"pageid":7382334,"ns":120,"title":"Item:Q5352760","lastrevid":41689301,"modified":"2025-05-07T06:24:15Z","type":"item","id":"Q5352760","labels":{"en":{"language":"en","value":"Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6771553"}},"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":"Q5352760$563CA194-227A-4EC7-A988-BC0E015723C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a129db89eb2894a477b0f418f001e223b97973be","datavalue":{"value":{"text":"Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5352760$2F89D133-4013-483D-9DA5-75F5F5BC5CF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1e4cf787080068d854cfb96f044d38f8e71cda4","datavalue":{"value":"1369.93390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5352760$A1686FC1-73DB-45D0-9384-1222FA96FD48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c149080a6c2ea3a8690aac62c986b7c6eff85171","datavalue":{"value":"10.1109/TAC.2012.2185881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5352760$BBC2EDFE-954B-4366-BA19-BB041609D0E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48b627e529758f1d91e87f9dfa561d88d2d06bc8","datavalue":{"value":{"entity-type":"item","numeric-id":225308,"id":"Q225308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5352760$5C37D81C-F07B-4459-B7E1-227942452DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e85f709cd4b395dba88cf32dadf41e296a3f224d","datavalue":{"value":{"entity-type":"item","numeric-id":225309,"id":"Q225309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5352760$68F09ADD-F382-4459-A401-8EB61B624D70","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":"Q5352760$BD50A988-423B-4DA3-9EF5-459B30FE3EAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c67d8078e1a5d9d2033371c1c5369954e233b550","datavalue":{"value":{"time":"+2017-09-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":"Q5352760$CFEEF57D-BCC6-41F8-BFE3-E7068B3E0062","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5352760$090E68C9-EA03-411A-BEAB-1DF1CB2DF68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38822e0c30cb4d87278a7a9a067f8d6b4b31dddb","datavalue":{"value":"93A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5352760$3F99CF55-6672-4FEB-B45B-BA79555FB356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5352760$1B2066AC-FEB7-4141-AF69-57B212D81BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5352760$6822162C-4E49-4A11-88E8-E53F03B1C4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5352760$5C2E5748-7BD3-427C-A2FB-DBDB984DCFD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1559ec4a877373298650126ba14e227f39a0c85","datavalue":{"value":"6771553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5352760$94E8ABAA-EB9A-4591-BD61-C88110C2B5F2","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":"Q5352760$8EF3BA67-A703-43D7-A1D6-FBC092315739","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fce8a0f93d4890ff4669f9551a3924b52b0f5f1","datavalue":{"value":"https://doi.org/10.1109/tac.2012.2185881","type":"string"},"datatype":"url"},"type":"statement","id":"Q5352760$5B5C932C-AC8B-432D-B5F4-32BEE6BB7EB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3a7a81fe94a34f14006229d9970b68d4988d013","datavalue":{"value":"W2023968088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5352760$59CD501E-F41D-41CF-B5EA-0AFC598D72EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877a3ccd94cd3e00354746aa85c1b42e36dcd917","datavalue":{"value":{"entity-type":"item","numeric-id":1737742,"id":"Q1737742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2d0bc7f34471c24a2b1b523d344936cac50f50","datavalue":{"value":{"amount":"+0.8938511","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":"Q5352760$B49BAA68-43E6-48D9-8B7C-41BA467A7C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a9fe1ff674ea3980a7475f0f90661a03bb9981","datavalue":{"value":{"entity-type":"item","numeric-id":710695,"id":"Q710695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38e04cb158c5c2ec3e57f5c38a9b0c77a45fb9d8","datavalue":{"value":{"amount":"+0.8932931","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":"Q5352760$98611129-B4FF-4D6F-BD29-66EF206FA608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad25735ccfd07644d24b737c7f04a9829c46121d","datavalue":{"value":{"entity-type":"item","numeric-id":5352876,"id":"Q5352876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5539b8ecf5a3bf72534f29db361d6d09253526f3","datavalue":{"value":{"amount":"+0.8848897","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":"Q5352760$9A16B001-B81F-49DB-AA2A-BD9F22DBE8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1163f3e375fd642bb1886b4d65898e47b05fdee","datavalue":{"value":{"entity-type":"item","numeric-id":4931284,"id":"Q4931284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5539b8ecf5a3bf72534f29db361d6d09253526f3","datavalue":{"value":{"amount":"+0.8848897","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":"Q5352760$08CA71D3-C8F0-4848-8309-2F4C6F224C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7f313c041893c97fcfe0caa3dfcae5daf0a77e7","datavalue":{"value":{"entity-type":"item","numeric-id":5211195,"id":"Q5211195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9bfb5a9178ae7dea0ee9f6c951d21422ce7934","datavalue":{"value":{"amount":"+0.88428146","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":"Q5352760$A120B93E-EC9E-46B8-A782-F4784A8398EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f98667d970d787c8d195ffacc654effc2bf3ff","datavalue":{"value":{"entity-type":"item","numeric-id":2658452,"id":"Q2658452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f4fe5c2e3de5c17e2a8285d8d7460fbeb2afad","datavalue":{"value":{"amount":"+0.8602623","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":"Q5352760$1CB05179-0418-4424-9E85-5E5E344BA188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8838d5491ed9714370acac5aeb9ce8b4258491f0","datavalue":{"value":{"entity-type":"item","numeric-id":5267079,"id":"Q5267079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37fc7f8f0750b9b03a4708cdf35f07b7f41cfd2","datavalue":{"value":{"amount":"+0.8568715","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":"Q5352760$FB9FED5B-59E7-4B2D-BCF6-14166EC36366","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":"5d0c18dded95f2bfcd23a9a6ffebd5f44832050f","datavalue":{"value":{"amount":"+0.8522344","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":"Q5352760$D0C980ED-7D47-41C6-9BBE-00870F98F807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef4f2ce15ce10f97835845b5466731d43a544bac","datavalue":{"value":{"entity-type":"item","numeric-id":2980603,"id":"Q2980603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0073c557183782662b4b0a082e265d44cd25ec16","datavalue":{"value":{"amount":"+0.851063","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":"Q5352760$790844B9-46AB-4A99-973E-5AAD333853B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294bfd301ea24550e8c7660290ff7b285822c5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee0c07aa9ce40126c12501ea8455f3350f7ce75a","datavalue":{"value":{"amount":"+0.8505325","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":"Q5352760$15E04829-B112-4BB3-A3B0-EC8511A17E54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5352760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5352760"}}}}}