{"entities":{"Q2409237":{"pageid":2419980,"ns":120,"title":"Item:Q2409237","lastrevid":52924940,"modified":"2026-01-23T20:03:46Z","type":"item","id":"Q2409237","labels":{"en":{"language":"en","value":"The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6789537"}},"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":"Q2409237$4B75EB35-9F9F-404C-AE52-AD0F0B807F7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"305e01343fc7658fe742132e364eddd9ed3e642e","datavalue":{"value":{"text":"The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409237$C072389B-7AC1-4665-AF5E-25DB9210B934","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6cf222c21f73fec759b58dbbe5d08398d5f353d","datavalue":{"value":"1372.93143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409237$7326D0F7-DB46-4108-ADEC-35AE3398B747","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":"Q2409237$7303F9F9-93BA-432B-B6F1-8C7A6D193972","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":"Q2409237$F6B5640B-C9FE-4F45-B3CD-ACB7AD8DE674","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4057f48059fe99c35ecdf45e917fe5441faa63a","datavalue":{"value":{"time":"+2017-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409237$48BB7343-5745-471A-8918-6475ACFA7396","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409237$BF84B3EA-52DE-4EED-A62B-AF6B7BC6FE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409237$94A88E32-3883-412C-9C6E-E1D5BC8BE861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"355ea56a4f84d7973d94c70a8b1f92966ec83542","datavalue":{"value":"65Y20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409237$44F90BFC-B059-4437-8ED0-C484933EBA7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dc6309375f0e214f916020563c1ef593187dc14","datavalue":{"value":"6789537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409237$BEA4AFAE-46FB-4BA2-985F-A99067049BB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd59b8d9f40734ce5500c0914b2d395cf8fa16fc","datavalue":{"value":"discrete event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409237$3B934937-BA27-48E9-8F23-AF5DDA460669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409237$8253C5DC-E081-4E4E-9AF8-7020CFBF30FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312dfff5990e72ca4531f3acd61b0d6159b35bad","datavalue":{"value":"weak (periodic) detectability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409237$B271354A-B3F6-4A88-8BD8-B74CD9F2C7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16284ece4670b3d7275c2ce344fa55e4a47741a5","datavalue":{"value":"PSPACE-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409237$E9ADE743-5A4E-4FBB-BB01-E8BEAFE0810B","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":"Q2409237$0B8487B3-1E10-44ED-A2B1-EF260EA6D10C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71ec8b4a047fd498308bd0e693a85b7da0a0820d","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2017.03.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409237$D6D871BD-0813-42DB-A467-CCFF2E3BB020","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52504980abee814bd4f08eb2c346a4c83ab1c615","datavalue":{"value":"W2606674369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409237$82435869-BB01-47D0-91EF-A7B9662D482B","rank":"normal"}],"P223":[{"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":"Q2409237$B3883FD3-E086-4C51-95A8-35110859CC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a1d438e1e999c84950266e0e8f5cead25f48fb","datavalue":{"value":{"entity-type":"item","numeric-id":3108337,"id":"Q3108337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409237$504B5A10-4DAE-4982-A28F-92B90964379F","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":"Q2409237$BB40A17D-598E-49D7-A375-3B197C40C7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409237$89D1A9F2-AD96-4C83-A9DD-A42654524332","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":"Q2409237$C4C10EE6-0D55-40D0-869F-A90757421DF7","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":"Q2409237$8B558E84-12A5-48DF-A304-D62C73C49865","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":"Q2409237$DC5B52CF-6BB1-4634-8027-FB7E40CBB8A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46a9d5ef8aafb482778bf9141e5dadc5e4752a49","datavalue":{"value":"10.1016/J.AUTOMATICA.2017.03.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409237$BCE8558C-D2F6-4730-932E-52D08F3D56C8","rank":"normal"}],"P1643":[{"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":"25688818627ad6caf0f6fcc6a572b08b65b59b17","datavalue":{"value":{"amount":"+0.8588128089904785","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":"Q2409237$B239F254-A370-4A54-A2FA-DE014A6A060D","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":"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":"Q2409237$6028CA86-401F-4773-80D0-A5D3A02246F9","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":"00934ee7a760156becf4c7cd483385ea1acec683","datavalue":{"value":{"amount":"+0.8152725696563721","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":"Q2409237$E259F344-F839-4E22-B196-3C1F2BDACE8B","rank":"normal"},{"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":"ec6ca57bfb115b9455c31c1d7a3bbd7015d05a54","datavalue":{"value":{"amount":"+0.8131114840507507","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":"Q2409237$4DF87078-1091-473B-8AF3-439F6C0E52C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e1a3f6d3ad075c1bc278c6ef77e168800a4c1f","datavalue":{"value":{"entity-type":"item","numeric-id":2197590,"id":"Q2197590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8cb94edb3f67d2b2eb8ee82e009551e1bd93e6f","datavalue":{"value":{"amount":"+0.7850236296653748","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":"Q2409237$8F82370E-BF1A-49E3-875A-23F22D0F8461","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409237"}}}}}