{"entities":{"Q710695":{"pageid":712544,"ns":120,"title":"Item:Q710695","lastrevid":63855846,"modified":"2026-04-11T16:00:36Z","type":"item","id":"Q710695","labels":{"en":{"language":"en","value":"Abstraction-based verification of codiagnosability for discrete event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5804297"}},"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":"Q710695$53D9A59F-CD55-4D51-B5AC-8659D65907F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c840a0f467e732d2fb7bf5765d69b75437531ba","datavalue":{"value":{"text":"Abstraction-based verification of codiagnosability for discrete event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q710695$EEEB5F95-7022-47F9-BA0E-3F22504429D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfd8dbae51d2766b64653b3036e74119dec9fa79","datavalue":{"value":"1201.93076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710695$28F2A433-217C-45DC-8493-C6E3212C752A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$C3D46D57-E9B2-4E68-BA2B-98ADCACE2881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dce3fe29f40b5c30691cd0c8cf3898003238b7d","datavalue":{"value":{"time":"+2010-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q710695$B08A56E3-8A72-4F02-BBE8-91C194AC1E4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710695$3143410C-977A-44A4-8A4E-97A7EDDE5C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710695$D1720A25-FC4E-4A5C-BE01-7E4FD9B04433","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f69333a9ff6664e616871a98a543f00afd8cf6c8","datavalue":{"value":"5804297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710695$C3B2D61F-D3AF-4D3A-9E3B-A6F44FD1E25E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q710695$DC384D1C-F049-4CE0-8325-19ACF5850DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c98ff8d76b1376710893c3a1068616b6d69aca","datavalue":{"value":"failure diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q710695$383CF2F7-AAA4-4869-BDB0-5B475DEDDD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a113208aa6170a7bd531959eb75e354050c68c4b","datavalue":{"value":"codiagnosability","type":"string"},"datatype":"string"},"type":"statement","id":"Q710695$1BA859AC-EEAE-4657-BF4B-A8B009F30FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q710695$BB55217E-DFCF-4247-AF23-0BA1D90C66DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q710695$6CCF862B-37B1-48EC-BE13-660A1BE8D13C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e9400acca89d698dc26b52e85a3b85b2aae6cc","datavalue":{"value":{"entity-type":"item","numeric-id":507658,"id":"Q507658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$C6264ABF-ED35-433E-A9E1-BC777414328F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$86D9127E-7961-45BE-BC84-B231CDECEC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"46c77f6f9e42a34cf39f3d9c43d363c1fdb22625","datavalue":{"value":{"entity-type":"item","numeric-id":28303,"id":"Q28303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$5E7D81FA-B9DE-4FCF-B52A-62E1F455D0EE","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":"Q710695$71066A61-2E7D-493C-95EF-5C105BB197AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d50244e9153c53778de56dc710908be2891dfe1","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2010.06.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q710695$96DF9F19-4B9F-4E44-AC20-88A86A8CBEC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"686e42d2b6d55b61a412f644f5ec43a0fec8037d","datavalue":{"value":"W2092835452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710695$4AB21EBD-0E5C-43AD-A0EB-6FB04098EC07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8813cf229542bc0c1c0f02c1b5d1ad10ea8351f4","datavalue":{"value":{"entity-type":"item","numeric-id":1975198,"id":"Q1975198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$7F993D21-4453-462E-B788-BF553B5AD302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b46bf2f88d90e1f481156482a0a1de98f4746bf","datavalue":{"value":{"entity-type":"item","numeric-id":816695,"id":"Q816695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$2619623B-3500-47AF-8C70-7C337DDD5618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85fb63e8c900c600d96061265f10c4e281c95875","datavalue":{"value":{"entity-type":"item","numeric-id":5266796,"id":"Q5266796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$B568671C-2AB4-49CF-AFF1-1E769DC3168B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b757fe46259a5d24502a8b3ec1213981721e8af","datavalue":{"value":{"entity-type":"item","numeric-id":2576131,"id":"Q2576131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$994AB44D-09D5-4558-B68F-7ACA7C7C2ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$158FDE68-D1BF-4A5F-A7CF-199D685F6DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f5457a0a1d8f47fb841044782d1f1ee4523109","datavalue":{"value":{"entity-type":"item","numeric-id":962191,"id":"Q962191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$60A8281D-3440-477D-8A6B-5101DDD27F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da101464713c77f7f3f0403e3b635eea6498b6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4974369,"id":"Q4974369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$906181EE-20B0-4CD4-B025-4521845038D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ad9a12288037035b29068d66caa22d1b35acd1","datavalue":{"value":{"entity-type":"item","numeric-id":5274234,"id":"Q5274234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$1DF22E05-1594-492F-8506-86CD4C18E008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311411d56628459b979d4b8116f96f541ee27f6b","datavalue":{"value":{"entity-type":"item","numeric-id":884759,"id":"Q884759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$BF968CD8-EDB0-4055-A3D5-14621CB15633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5be8b6a254ca014c79c06413f6f1e42cf041e21","datavalue":{"value":{"entity-type":"item","numeric-id":2563779,"id":"Q2563779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$C29C070D-ADF6-4705-8AD4-F2651DCAED35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"709c6ccb0f43edf500a3924e26fd6e95732b2025","datavalue":{"value":{"entity-type":"item","numeric-id":4974263,"id":"Q4974263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$AF3FF0A7-DE98-4885-8FB4-199401098D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b27ffb1fe5853c9ea8001828448efecd232f5d","datavalue":{"value":{"entity-type":"item","numeric-id":953472,"id":"Q953472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710695$367EE44A-CF80-4CD2-88B3-7DC0A65A2E7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"713dde71c22b275f51517c0d46d1c6c8189960a3","datavalue":{"value":"10.1016/J.AUTOMATICA.2010.06.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710695$6872F9B2-E193-4CB3-B555-F25E57A221C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ad73dacfa2435f1a2ddb39d27469d128b5b541","datavalue":{"value":{"entity-type":"item","numeric-id":962191,"id":"Q962191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34593851aa1917308277703197e780887883f847","datavalue":{"value":{"amount":"+0.8551207184791565","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":"Q710695$979BFE86-748F-482C-8A9C-E40ED570801B","rank":"normal"},{"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":"49bb44fc0789b014d9c46289b21c5cf4e026bff7","datavalue":{"value":{"amount":"+0.8030810952186584","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":"Q710695$EE5DCEDC-1A3A-437F-B36F-9E74391B0BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa0211a666841c8566cc1645982e78fd90e44f66","datavalue":{"value":{"entity-type":"item","numeric-id":2821258,"id":"Q2821258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ebe1b3144f6b1e0d6fc1159606a1af4e49d777","datavalue":{"value":{"amount":"+0.7952299118041992","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":"Q710695$E1CD3A9E-EE2F-4552-B9B8-FAA61DC67A03","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":"0723114fb5475946ace684c3f9d4d0b689c0d1fb","datavalue":{"value":{"amount":"+0.783424437046051","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":"Q710695$7610A66B-F919-4B18-B36E-DF0E42F6CDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d346e372228efb94f3f0179b97617f22220fcf1","datavalue":{"value":{"entity-type":"item","numeric-id":4574716,"id":"Q4574716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e869c8cbf8797baed7cd2cbdada30adc5e7059","datavalue":{"value":{"amount":"+0.7732216119766235","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":"Q710695$B6F25C9A-5B16-48BF-B939-756A398D5DFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction-based verification of codiagnosability for discrete event systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstraction-based_verification_of_codiagnosability_for_discrete_event_systems"}}}}}