{"entities":{"Q6137532":{"pageid":13271839,"ns":120,"title":"Item:Q6137532","lastrevid":102393614,"modified":"2026-06-06T04:21:10Z","type":"item","id":"Q6137532","labels":{"en":{"language":"en","value":"Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7733719"}},"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":"Q6137532$0E725AA9-BE52-4AC8-A880-3D256BAFD280","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81bb61b4d0c0d4a014aa253e9699a3a685edc7c9","datavalue":{"value":{"text":"Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6137532$CF5337E0-F945-4490-B77D-CFB8E3302D01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd9aa205303970dfff1abb1f0102c70993dfb5db","datavalue":{"value":{"entity-type":"item","numeric-id":428113,"id":"Q428113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137532$4EB6D3CF-DB9D-471B-9751-1C3023171FC5","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":"Q6137532$45B39C9B-306C-48F0-8BD5-6B95D4DA18FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f664a85fd4296021d6538ba55770110075648ec1","datavalue":{"value":{"time":"+2023-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6137532$F5042E50-4AD6-48A0-96D5-10FE4052D523","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137532$2F8070BF-27A1-4F72-BB15-3D47F7D1DD1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45dcf13987032625003918873bd0beed7a5a9e92","datavalue":{"value":"7733719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137532$176C91C5-D4E9-40B4-A444-FC599BB0B57E","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":"Q6137532$E3D2390C-4748-4371-AAD7-5964CAAB9B15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"689de57371c3e5b37646a1ab686930e5f86c7c41","datavalue":{"value":"https://doi.org/10.1109/tac.2021.3140111","type":"string"},"datatype":"url"},"type":"statement","id":"Q6137532$7E593FFD-8559-4CE0-BA51-15951320DD05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6bfdc68db5d002f0fc7ee436d9931c5e23118a1","datavalue":{"value":"W4205704917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137532$8ED604E9-7026-483B-BC1A-14D470C32C32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02b18d3ff3117737bc63d2075b0d3fbc9af8b349","datavalue":{"value":"10.1109/TAC.2021.3140111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137532$3FF71E82-2F34-4161-89B4-3382677EABCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial-Time_Verification_and_Enforcement_of_Delayed_Strong_Detectability_for_Discrete-Event_Systems"}}}}}