{"entities":{"Q2672457":{"pageid":2683200,"ns":120,"title":"Item:Q2672457","lastrevid":54334970,"modified":"2026-01-26T16:02:58Z","type":"item","id":"Q2672457","labels":{"en":{"language":"en","value":"A novel approach for supervisor synthesis to enforce opacity of discrete event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7538631"}},"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":"Q2672457$AE900B65-2174-450C-8031-DFF98065BCFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15d5d3fa9fb73212df4e7d970f49656577b700a4","datavalue":{"value":{"text":"A novel approach for supervisor synthesis to enforce opacity of discrete event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2672457$3BD55F86-6A8D-4926-93F7-0FFD1D28CAA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fef5d686b35e689b91d41b9c95f533afc8a7d842","datavalue":{"value":"1496.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672457$7F188E76-3062-4FDD-9B58-D19C9568CD2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78aafece71db9a755772a98f7332b59ef1736d04","datavalue":{"value":"10.1007/978-3-030-88052-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672457$C16DAEEC-0CB2-4A04-8243-66AD8A148814","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3252531ef8e83683d5dfbc90cc6a231a8d3ddc1e","datavalue":{"value":{"entity-type":"item","numeric-id":2672455,"id":"Q2672455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672457$9876A992-A38F-444E-A027-085E45067C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb113fd9a0c3df850e383c645074e0fac067ce8","datavalue":{"value":{"entity-type":"item","numeric-id":2672456,"id":"Q2672456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672457$2C6A6155-31AD-464E-B0F3-F3CE9E9942A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3cf5dcd0a1b4e1ab96661cdd555a0d486e901de","datavalue":{"value":{"time":"+2022-06-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":"Q2672457$11E7FFA0-C69C-464B-9792-A2FE829FB09C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672457$1614E9AC-FE14-47B2-B262-578F0EA6B870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672457$CC77BCDA-0F4B-4C61-A3B8-86E620189606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672457$AB6DEB34-735B-471C-967B-565E18F9240E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672457$04BEBBE6-3C15-4E6C-81C8-49FFE7651F6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aa2208aeffd566edc4dec31c851691084cadec9","datavalue":{"value":"7538631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672457$7D8FE667-9B93-4133-AF26-669E8783092A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ac03285b7ab66a179dd911f6489ada5f49698f","datavalue":{"value":"information flow security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672457$ACEBF11E-9ADA-404F-9E8E-068C55F3E642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672457$420786C1-2D2D-485C-8AB4-17C4EBE5E61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672457$F3260942-15D3-4680-9F52-4FE8D6CA8262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c26fd270e13d494fd7d56f0145a019a715aa825","datavalue":{"value":"supervisory control theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672457$DA25EF79-5A6A-44CA-993E-798F66AC2B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f759de0c511929363e14ae9f32dc5cdf97daa","datavalue":{"value":"opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672457$6BE1338A-D5D5-4A1B-81EC-A45796A38317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2daf798a062d888bf6f1d9cf7d0e2940b8723d","datavalue":{"value":"symbolic observation graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672457$D1C5D39D-3987-4DCF-B7A2-83C10313F697","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":"Q2672457$3EE49FC6-BB84-4D8E-A5C7-8A2E866FDD7E","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":"Q2672457$B3D3D6D6-FAA7-44C3-943C-F610167AA172","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2a4dcb0f73f595b6bb0836debe1e3e8c41b4584","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88052-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2672457$A5F08DFD-AB88-41CC-A028-C3C5CE9FB4E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51566f6fab3b6dfc3e7862286f5c943dfa3ebcf0","datavalue":{"value":"W3201626205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672457$61E1B0B7-6B41-4037-82BF-B1BC27851CB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b7727a577909eb10a5fe8c5b0eba9248116daf","datavalue":{"value":{"entity-type":"item","numeric-id":2465424,"id":"Q2465424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672457$2B7BF1A6-0B6D-4740-9E23-48F6F4279C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3ceb705d748869ae30c1e69512788e8cac2ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5740626,"id":"Q5740626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672457$931EFD72-7641-490B-8B79-7F85F71EBE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3144c21aee027b0152949b00d613ce7fe7c8c7","datavalue":{"value":{"entity-type":"item","numeric-id":2849576,"id":"Q2849576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672457$47E4758B-CE08-4C50-9B8F-D8DC4A466343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672457$70DC9F13-36B2-4A59-BEED-C96799EDB0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6ee2c953fa20021820c476cb39923c8f0c59c6","datavalue":{"value":{"entity-type":"item","numeric-id":896497,"id":"Q896497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672457$2F8004F2-EB84-4AF8-9A6F-8A2ADA93D4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4268a8510ce4675aa6a2550c2788f434a0fca994","datavalue":{"value":{"entity-type":"item","numeric-id":5394189,"id":"Q5394189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672457$CE55A247-A938-4E67-8956-9989FEEDDB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3007e272c702a764fae31e0614acd59795e1145","datavalue":{"value":{"entity-type":"item","numeric-id":3510873,"id":"Q3510873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672457$AF5D9F4C-BF53-4C43-93E5-7CBA3AEB558C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa3eeeeb3c8a3a6066b8c40815a510ff335cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5352820,"id":"Q5352820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672457$55C50E9D-0DB0-467D-A2E2-BFC9268371BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4a18126bf728612371127cabc81915ee78f986","datavalue":{"value":{"entity-type":"item","numeric-id":1788686,"id":"Q1788686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86707ac802685e5dbfc31218de856cebccbb7800","datavalue":{"value":{"amount":"+0.8478596210479736","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":"Q2672457$67705FE6-7511-481A-97ED-4C7B4066FA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd65e31cce5f316ed2ec944b7c6d52be82082be","datavalue":{"value":{"entity-type":"item","numeric-id":458746,"id":"Q458746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762322659bec18a5f37e8fa3fb15cae6efaaefa8","datavalue":{"value":{"amount":"+0.8035138249397278","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":"Q2672457$674DC44F-6216-468E-8702-3CADB939A4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb6998a1a94d821007407121d25a9be395767ff","datavalue":{"value":{"entity-type":"item","numeric-id":6135550,"id":"Q6135550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31d166790ca57b3a2f196c33619ce5bd250e2a0","datavalue":{"value":{"amount":"+0.8023049831390381","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":"Q2672457$9B1180AE-8D2F-4CD0-AE19-E42F0C58B536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e34e3be7b9baa6ed72a1d45fec8c8cc8215dc67f","datavalue":{"value":{"entity-type":"item","numeric-id":6099923,"id":"Q6099923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25c6b85dc3d54574c884bd5986d9100489c55e4","datavalue":{"value":{"amount":"+0.801516056060791","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":"Q2672457$AEC0A447-1EC8-453F-8FBB-73D63BF847AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235184d517843cb0f8515d667d67dabca1458f39","datavalue":{"value":{"entity-type":"item","numeric-id":716123,"id":"Q716123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc98adaf50cc878802db2bc025c37a6ed74aabe","datavalue":{"value":{"amount":"+0.8000262975692749","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":"Q2672457$596FB9F1-F555-4D9D-92BE-28138DD415C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2672457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2672457"}}}}}