{"entities":{"Q458885":{"pageid":460652,"ns":120,"title":"Item:Q458885","lastrevid":62019147,"modified":"2026-04-11T03:13:44Z","type":"item","id":"Q458885","labels":{"en":{"language":"en","value":"On the complexity of synthesizing a minimum-weighted supervisor under partial observation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6352414"}},"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":"Q458885$4C308665-1ED1-4351-B157-F9F6271F1FB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50824fb47fa841ca13df8515005165fe52198861","datavalue":{"value":{"text":"On the complexity of synthesizing a minimum-weighted supervisor under partial observation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q458885$70BA219A-B96F-4539-96AB-EA3F14A2914B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba657ad7c76c99d009d2a0f07c5cf4e8a66a2220","datavalue":{"value":"1296.93003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458885$C0945C44-30EF-455E-935F-AEF51BE7DA79","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":"Q458885$B8E61BA0-976E-4C22-9FEB-5A3FB483237A","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":"Q458885$9FA3A1AE-5252-4870-8668-C09B9CFE41EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12cb4cbcb06dec7d30a0b9fcbe1aba0bc22ca396","datavalue":{"value":{"time":"+2014-10-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":"Q458885$BB9EC0C7-24B1-475C-990F-44870B7AB1ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458885$BC49373F-5E47-4F10-BA00-0A789A5C0984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458885$DF1CC8E6-C064-4CF6-9B33-69919395D5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458885$3D90B315-794A-4E15-B592-FB95756F96A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458885$CCAEE0CA-E42F-4A11-98B3-23F80B061293","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a72cdfce5e1a1af009dde558335701c6b36d79d","datavalue":{"value":"6352414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458885$EA514CFF-53AA-432B-B068-7DF32E7E8C43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q458885$8FD7C06A-166B-4EEE-8E48-0D7ECA44F9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e312ad5a33c54d111262125f205fcd5f4dbf012a","datavalue":{"value":"supervisor synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q458885$F7DCD27D-3033-416F-93A5-AD2E61534BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e5295fa967420db17bb05d1fd567ce5a7917b7","datavalue":{"value":"controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q458885$10D25585-BD4D-4784-8E50-F29BD52E9201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e269bbc40a3436145ec6a354f8d878b3c6bcc99","datavalue":{"value":"normality","type":"string"},"datatype":"string"},"type":"statement","id":"Q458885$E7D0076C-1326-417E-82F5-95C56E579DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13e937cc01d5de5380818053264289f969650e29","datavalue":{"value":"NP-completeness/hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q458885$6BD293F3-BFAF-46E4-AC69-AC10CB5CA4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc745afe6200a82da1b128a68ca942f32f7696f","datavalue":{"value":"natural observer","type":"string"},"datatype":"string"},"type":"statement","id":"Q458885$44280649-BE75-4C08-8CA8-9C6183D21879","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":"Q458885$ED2E43DD-D2E5-4D2C-A139-01A6DA26724D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8acc2d520ce2810ababb21cf0d9e6b9f85b6459","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2014.04.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q458885$A03318E2-0B02-4154-92C1-9B57CE7A18CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88ed57203a49b5723c77343c1cca9937eb4c9b4b","datavalue":{"value":"W1997056479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458885$E45FD7B7-9520-4770-BFD9-EEF05E40F471","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf2ded071f2670bcc09b14996370f5e56357387","datavalue":{"value":{"entity-type":"item","numeric-id":1204794,"id":"Q1204794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458885$36E8A70A-122A-46F5-AEA7-65CCE9B50360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458885$9B736691-12D1-4F4B-8937-E715B7F14C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"709c6ccb0f43edf500a3924e26fd6e95732b2025","datavalue":{"value":{"entity-type":"item","numeric-id":4974263,"id":"Q4974263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458885$6EF3D5AF-AC6D-4647-8EAA-F57277AEB0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458885$5B6ED06D-01EF-48F2-A587-E0205B613FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403627710eac64b8e79bd219756099ed0b4be47c","datavalue":{"value":{"entity-type":"item","numeric-id":4698793,"id":"Q4698793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458885$3C56104C-3308-4C07-ABD3-8B6B949F3159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458885$35697CB9-83F9-49B2-B822-B59F56F03B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5840c53d031bc7e0006e6c0258cfa94f406ae07","datavalue":{"value":{"entity-type":"item","numeric-id":1858865,"id":"Q1858865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458885$EA57D29A-EACF-46DD-BC9E-291B5F917C88","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":"Q458885$865C2C7F-483D-443F-8662-91877BD54450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa67ab27b8fa6893bc147d3ff72b4e6a8e9e545","datavalue":{"value":{"entity-type":"item","numeric-id":4388922,"id":"Q4388922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458885$D2CEDD04-AAB3-4337-807F-7AEC5CE20F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5be8b6a254ca014c79c06413f6f1e42cf041e21","datavalue":{"value":{"entity-type":"item","numeric-id":2563779,"id":"Q2563779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458885$90DADFAF-0A57-4A9B-B1EA-AAB1739B2957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8150e0d8da6536f918e23d60fcfd7248e201fc","datavalue":{"value":{"entity-type":"item","numeric-id":1424973,"id":"Q1424973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q458885$46CF5567-E76A-4F16-9413-79DC9FD14A2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c17f0de749b128711b44f253055b2f3d124bd92","datavalue":{"value":"10.1016/J.AUTOMATICA.2014.04.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q458885$3EA6D417-1932-4F49-B5C4-4A4447FE3E1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"560716991fcf3883cb49599b54bb220f6465cb3f","datavalue":{"value":{"entity-type":"item","numeric-id":2504549,"id":"Q2504549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f98d9a2b122f4c3cb0b493f8edf375d2fa0d15","datavalue":{"value":{"amount":"+0.7604178786277771","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":"Q458885$8D0FD745-0EE2-4D34-8CD8-B26C205F323A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33145fc4faf3a301a2fee9a97a77e4cc107ad827","datavalue":{"value":{"entity-type":"item","numeric-id":4733422,"id":"Q4733422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb700a674008f676d7528570439805f1c4e34ee","datavalue":{"value":{"amount":"+0.7518712878227234","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":"Q458885$A59A0F8A-A263-4EEC-BB45-AC94EA4E6AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3602cdfcb2c92924d1ccb509554717eb5eca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3566990,"id":"Q3566990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9af709905a3f075fc770b0b8ec75387f3af85f4","datavalue":{"value":{"amount":"+0.7515298128128052","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":"Q458885$8988EAB9-BF8F-4982-8703-1FF39BD3AE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ed94c27c5f227b8be2f082df8212a10a48977e","datavalue":{"value":{"entity-type":"item","numeric-id":1332442,"id":"Q1332442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9497a5bc3cebd40520af97c4f883efe929f0dee","datavalue":{"value":{"amount":"+0.7515264749526978","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":"Q458885$4898F085-6B2A-43BE-BF7C-61A352A14A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3f12e67369316ec71258ea9f482c2bb58f08fa","datavalue":{"value":{"entity-type":"item","numeric-id":4506590,"id":"Q4506590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d3567f447a714d1d2c0cf1093a9a1c5e2f1581","datavalue":{"value":{"amount":"+0.7506167888641357","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":"Q458885$EFFA4A2E-0CC4-4991-A63B-5894C28258B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of synthesizing a minimum-weighted supervisor under partial observation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_synthesizing_a_minimum-weighted_supervisor_under_partial_observation"}}}}}