{"entities":{"Q2065231":{"pageid":2075973,"ns":120,"title":"Item:Q2065231","lastrevid":72581541,"modified":"2026-04-14T05:54:19Z","type":"item","id":"Q2065231","labels":{"en":{"language":"en","value":"On verification of D-detectability for discrete event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7453535"}},"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":"Q2065231$25E5266D-DE0B-4428-8983-50D776C3C168","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56e3ca8f91c3d39e4408a3f57a026b15c02ba13d","datavalue":{"value":{"text":"On verification of D-detectability for discrete event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2065231$025F5215-F12F-4D05-8B53-DE3554701100","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8fb42cb7fe464cc1b036d7780d013a3a6552c68","datavalue":{"value":"1480.93255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065231$0E210DF8-62E2-4789-88C0-D69E1CF1B501","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a217024dd3849b001653a929b0f07058e646e8c5","datavalue":{"value":{"entity-type":"item","numeric-id":2063097,"id":"Q2063097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$EAE78EDA-C016-4B4E-97C8-CE57248114FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4168584ba9f841bdae0fff555c40c6b9e10448b5","datavalue":{"value":{"entity-type":"item","numeric-id":414884,"id":"Q414884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$07E82CBA-27DA-4159-A4A8-49457D3972C7","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":"Q2065231$A629C345-C62B-4202-87D5-E161B9E447FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf97b4a582e0f08e592b79a41ba7d2314675c053","datavalue":{"value":{"time":"+2022-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2065231$7F857575-B6C7-4F85-9E24-E972949EF4AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fda9d864c569b88f428b8b35b0348a916e82358e","datavalue":{"value":"https://arxiv.org/abs/1912.07312","type":"string"},"datatype":"url"},"type":"statement","id":"Q2065231$265C93C0-7341-4AC2-81F6-E13E38784A48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065231$4F3E4006-072D-4F86-9598-D77A9632EB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"923c8bef102bb6ebd35f125cc10b56d21864b3aa","datavalue":{"value":"93B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065231$BD2088F7-C9FF-4E67-A3EC-4BAFAE8F7300","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e7710339db913e05eec51f5f517c3736a77b3f2","datavalue":{"value":"7453535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065231$D92BCEF9-5D37-4345-83EA-19FA0A04E864","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065231$7898DCF6-C67B-411B-8AAD-5A8B5056D689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065231$180F871A-8F9C-4F02-92E1-11A375DA7B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31017a2c3b098372f149724ca00c3018ff8602d5","datavalue":{"value":"state estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065231$775F1BBF-36F5-4E2D-BCF8-B323E0B38E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1a6ccbfbc13a722785d5993c91fe2ec136f217","datavalue":{"value":"detectability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065231$0494CA67-2A49-4B74-91B2-F766F6581406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065231$17B0320D-ADAE-4F6F-A371-DF476500199F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065231$DB24AF7F-F47A-4590-83A4-C406AE2B1277","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":"Q2065231$E9E88C03-5708-45C8-A467-B97BD9C9CD05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb50e6977f117899c92fbb8fed0661a366e92b60","datavalue":{"value":"W3195716249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065231$2BBDD4A7-5731-4F79-9297-4664076E7CAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$D5BA6D64-566B-426B-80F4-9A5504D16F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6962679078cc12aa1ee93bda1f570c936af3d480","datavalue":{"value":{"entity-type":"item","numeric-id":1146010,"id":"Q1146010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$06E3FA47-3CE0-4F0D-B168-3C59AE59B51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d90cc4fbc5f5010b872b4415e8fd3d87ac5522","datavalue":{"value":{"entity-type":"item","numeric-id":809608,"id":"Q809608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$864DF64A-1975-40B7-902E-C445536E7F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"221b39b5eb2511e3abdbe22cb2f253f38abc9ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5243063,"id":"Q5243063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$18E4AFAD-CF64-460E-A535-604C63936A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$C81324EC-6AE6-4962-AE86-5EB1604FCACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da60ca6417e28a15bdb080e24e7a6558b8af6fc","datavalue":{"value":{"entity-type":"item","numeric-id":2013561,"id":"Q2013561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$D28F43F2-C90D-4C6F-9C12-C51CC92A0F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6637e92771b4610d69f5a704a677d05d421c20ce","datavalue":{"value":{"entity-type":"item","numeric-id":716123,"id":"Q716123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$201F6C77-D4D3-48BE-BC48-AE4F15DFBE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db753e28747214c3aeb02bcfc21e9214bd66a45","datavalue":{"value":{"entity-type":"item","numeric-id":1797011,"id":"Q1797011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$41CBFD34-7ED2-4EFF-8769-6C0A3457AA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bc3c8b14a02130d7a32db84b0872d725abafc3","datavalue":{"value":{"entity-type":"item","numeric-id":4567109,"id":"Q4567109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$BBB9E141-6EC9-4006-A02E-C9BA09CEF178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b400dd6c283e5411344579ef6f91fdfab0cf95d4","datavalue":{"value":{"entity-type":"item","numeric-id":4989409,"id":"Q4989409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$FDCD4425-FD6D-4594-83F7-7031F054ED64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6bc570d3c91e5cea2004367f827d78e93b7402c","datavalue":{"value":{"entity-type":"item","numeric-id":1737732,"id":"Q1737732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$DA5B012D-E632-49D0-AB9E-7CBFAB6C49E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047d891125c3d6cc8fffb42811dbd1f32b1c9c21","datavalue":{"value":{"entity-type":"item","numeric-id":3493237,"id":"Q3493237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$8BE9A1FA-74A9-4684-A8B6-514CC9316A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371ac2d9b93588f2f16a984cabf720c7aa8233df","datavalue":{"value":{"entity-type":"item","numeric-id":539906,"id":"Q539906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$E9DA9A78-A055-4FF9-AD5D-D495C59DF378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1911db35be2117477ecacdff3bc4da88e0286943","datavalue":{"value":{"entity-type":"item","numeric-id":5353171,"id":"Q5353171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$10BD172B-C3B0-4E26-92EE-095458FA0D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00bd7129f38d194cdcd23f8a5c5d0549588d5e29","datavalue":{"value":{"entity-type":"item","numeric-id":5282320,"id":"Q5282320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$BBE2A470-46CE-4398-A66F-9BB71A2A71E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$24927B30-5533-44DB-A7CF-B681ECEA757A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186efa9cbcaad91d0d4ad1f36de56ca7d39bfe2e","datavalue":{"value":{"entity-type":"item","numeric-id":1099620,"id":"Q1099620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$26488557-E2A0-4E0E-9839-40A835EA6184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f52c743eb57db4a20db9eccb50eace8dbe674d","datavalue":{"value":{"entity-type":"item","numeric-id":1679097,"id":"Q1679097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$C2560F1B-063C-4A10-AF44-04DB7D6B4E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e870c0e69fab898cb58d627b017dbf76e883505a","datavalue":{"value":{"entity-type":"item","numeric-id":2409237,"id":"Q2409237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$AE4E1FA0-17A7-4A98-ABF9-B55DC42615D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4210c00969e5ed161aed7e423dfd93738db0dd56","datavalue":{"value":{"entity-type":"item","numeric-id":5231414,"id":"Q5231414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065231$27C2BC8D-31D2-4CEB-BD5C-E9F1BA9901D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a36923480c9b8d297ca3b9dd70e0d6d6163fc3ba","datavalue":{"value":"10.1016/J.AUTOMATICA.2021.109884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065231$623548B8-091A-4571-8AB7-46945D513D90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87677f68c7f80b2dabbc37fd0fa8d41fbf116e38","datavalue":{"value":{"entity-type":"item","numeric-id":539906,"id":"Q539906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59f3a8e6506f399c748cb231612e2d80fca63d5d","datavalue":{"value":{"amount":"+0.8900454044342041","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":"Q2065231$15FAD5D5-A024-4F14-AFD1-C5C6B814EF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffda91862b62d1550b5eedfa21f151cd181d997","datavalue":{"value":{"entity-type":"item","numeric-id":1797011,"id":"Q1797011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2720ee3f0dc34e734eca85f62a1e23d24aad25d","datavalue":{"value":{"amount":"+0.8607495427131653","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":"Q2065231$CEA046F2-6004-4624-A983-79EBFACAF89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0452cdf18f6cf3b4c551a161d7654308ae8b4c0","datavalue":{"value":{"entity-type":"item","numeric-id":1737932,"id":"Q1737932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558503a33cfb49c4d79a85e2e1d9e6773f026d68","datavalue":{"value":{"amount":"+0.8509044051170349","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":"Q2065231$FB9E8CFB-A852-472A-8FC0-C5F3F95CE8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbfe7d7feb01dfc2ca148ed1b8a251110a504cb","datavalue":{"value":{"entity-type":"item","numeric-id":2409237,"id":"Q2409237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6093a9d1c09cab096ae82b470f1b72f067a589c","datavalue":{"value":{"amount":"+0.8460322618484497","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":"Q2065231$C64EF6CC-8891-4BE7-828F-E9E7830C61E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e98efdd2848b4062d6d11514e08ca4a4cf83d56","datavalue":{"value":{"entity-type":"item","numeric-id":897674,"id":"Q897674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5d1ac0b5f728fee5540947622a16d0973d21de","datavalue":{"value":{"amount":"+0.8438149094581604","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":"Q2065231$FC8706A0-A90B-4337-B4E4-9E2BB25546D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On verification of D-detectability for discrete event systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_verification_of_D-detectability_for_discrete_event_systems"}}}}}