{"entities":{"Q1424972":{"pageid":1435712,"ns":120,"title":"Item:Q1424972","lastrevid":70376544,"modified":"2026-04-13T14:21:50Z","type":"item","id":"Q1424972","labels":{"en":{"language":"en","value":"Supervisor reduction for discrete-event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2057606"}},"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":"Q1424972$4146F99C-339D-46CB-A0EC-BA2814D20C61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce95e5474c16ed27cbc9563562180ebf0b1124a7","datavalue":{"value":{"text":"Supervisor reduction for discrete-event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1424972$80AF3988-A63A-4F47-B36E-A86BBD33D27C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a8a9c707b952d045caa442cc39bc0786f64c6b9","datavalue":{"value":"1035.93048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424972$5BBDBBA4-EC7B-443B-A8BC-CB8F31416836","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424972$B4660484-5E5F-4DF8-912C-CAB732CADE3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47829e28918d048336111de08a0f0c93aec92d0a","datavalue":{"value":{"time":"+2004-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1424972$C42A4D9C-8BB7-44D9-B878-76E812488939","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424972$8CA07724-8BD1-4816-BAAA-543CC7B0535D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bebb2f5015fb82845b748c674a6a24fd89efb27","datavalue":{"value":"93B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424972$B223F8DF-B3D0-4183-A0D6-8833EF15797D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424972$E48DE556-2EF1-47FE-8B0B-1CA2B8E5ABA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424972$F1E3C08E-E6FE-4756-80AD-72F0854B9F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424972$F7D5A332-B4E8-4931-A4FD-ABAC38FDD9B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20e9691a962267bdff8f52ddbfa24318d87a8b42","datavalue":{"value":"2057606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424972$56D2D1CE-8970-484D-B04D-59400C925C69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c26fd270e13d494fd7d56f0145a019a715aa825","datavalue":{"value":"supervisory control theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424972$6C6A2569-05C8-4C2E-ADA7-71F512EBF0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e230929c5fae75ed336c326eca43d8d20ab66dfc","datavalue":{"value":"control congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424972$C4B3AB6D-C752-4EBD-9EAD-491289CDDFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e814bd21772b5e05ced1a7382166ce785b0f8a","datavalue":{"value":"algorithmic supervisor reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424972$C8493C8B-3E81-43B1-97DA-57864FF52546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f15e649c07e8bef7de5604562208895c79f6c1","datavalue":{"value":"minimal supervisor size estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424972$A9253844-2240-4FC9-B426-63D162FDDF85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc740a195117ac458645e1990babb8ab50209912","datavalue":{"value":{"entity-type":"item","numeric-id":259428,"id":"Q259428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424972$48CA985B-C31B-4D03-B12A-F639FA8952BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"068c1cacd102cb21c594fa3ddc56df9e88fb0a9c","datavalue":{"value":{"entity-type":"item","numeric-id":680539,"id":"Q680539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424972$7A8D4525-6106-464A-B605-EE96C9982DEB","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":"Q1424972$92A288FC-261E-4411-8ED7-D5F7125CF824","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46a7394b219ae8b648369a58ab41f7c73d8e6c5e","datavalue":{"value":"https://doi.org/10.1023/b:disc.0000005009.40749.b6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1424972$26EADA31-F467-4F2A-BE5A-3EAB2A1783B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d817f56ca8c63ae3fedfe630f437947ebf80cf56","datavalue":{"value":"W2016380948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424972$1246A32B-5C79-49E8-B939-04274194562B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2aeb341f997b3fd3b590a3516a39522597da899","datavalue":{"value":"10.1023/B:DISC.0000005009.40749.B6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424972$85FEFB43-6047-41AA-8804-B80EB4E8725C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2e1fb38eea5579c50e2dd32d86d760ffa11f301","datavalue":{"value":{"entity-type":"item","numeric-id":5266795,"id":"Q5266795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc78b9764a266ae59cd6377bfb121a6c65983810","datavalue":{"value":{"amount":"+0.9528982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424972$E86C9C15-8873-4E66-B912-C9652981B8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff346d2ed47c6ed083d1f3f051a67be577849b98","datavalue":{"value":{"entity-type":"item","numeric-id":4782031,"id":"Q4782031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f22faf51cc127d8521a731c83116ac7925c2986","datavalue":{"value":{"amount":"+0.9436151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424972$71D93CD7-B174-4480-BE0E-FA6E63787D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fff99f467f70faed4aa92d2f7ae92ffafd0e6b02","datavalue":{"value":{"entity-type":"item","numeric-id":3798530,"id":"Q3798530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5f247ab09fdf960e10abd0329eefdb7d10f6e0","datavalue":{"value":{"amount":"+0.9039249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424972$92507B26-8BEB-413E-AF03-04DB6B636FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4fceed0629708318784c61d4e44e5d3bae610f","datavalue":{"value":{"entity-type":"item","numeric-id":848220,"id":"Q848220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5b60af7a8597f3931b022ca0cf3a1cd841bddf","datavalue":{"value":{"amount":"+0.8937594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424972$D0FCD1D6-1775-41C5-8748-E2B11A2493AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a457ab8b8cb2ce9095b82bdfc71bca5baee8c3b4","datavalue":{"value":{"entity-type":"item","numeric-id":1389228,"id":"Q1389228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26248bfa95a43fc4fbf12f5f7a6e4b7eb2e87706","datavalue":{"value":{"amount":"+0.8899305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424972$83CE1F7A-D96C-4C74-BF16-4B816DD942CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f81c7d4526a7c8546f093cc15d09ee21609423a","datavalue":{"value":{"entity-type":"item","numeric-id":5165335,"id":"Q5165335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b976d83a4a26a2fc4c65c767211ea6c2b19634dc","datavalue":{"value":{"amount":"+0.88881135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424972$9A41BEA4-262C-4A1B-9DD2-864E97E19001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9c2d27cb82dd81a5b1c23e3975587498e7ff25","datavalue":{"value":{"entity-type":"item","numeric-id":1922191,"id":"Q1922191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79dd9107dac11122a3f52a2b43ec39eea228f25","datavalue":{"value":{"amount":"+0.8874179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424972$852A3E63-CD9C-4FC3-AC06-6B09BECEE9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae68909f140cb304f8e31cb11950ee3f62ef019b","datavalue":{"value":{"entity-type":"item","numeric-id":1793986,"id":"Q1793986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808ed8ccb6a20ca66ec0c53a7cd8d6f31f83326a","datavalue":{"value":{"amount":"+0.88679016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424972$F4FD220F-EFB2-4D3B-9B53-F1EDEE759B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b69ed1be783f7a269b459fe5d44a5a779c6b81","datavalue":{"value":{"entity-type":"item","numeric-id":4560599,"id":"Q4560599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808ed8ccb6a20ca66ec0c53a7cd8d6f31f83326a","datavalue":{"value":{"amount":"+0.88679016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1424972$7DC3A198-8DC1-4D7A-8611-0ED97DEB155A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Supervisor reduction for discrete-event systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Supervisor_reduction_for_discrete-event_systems"}}}}}