{"entities":{"Q2797617":{"pageid":2808355,"ns":120,"title":"Item:Q2797617","lastrevid":79603841,"modified":"2026-05-06T14:18:24Z","type":"item","id":"Q2797617","labels":{"en":{"language":"en","value":"Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6563525"}},"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":"Q2797617$31FCE4C9-7D46-4BE5-AE8F-B087751F59B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4623b4fb32b7d465fb9f097341217d56004c0c30","datavalue":{"value":{"text":"Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2797617$64DF8FA5-2295-482B-A2FD-D81BA27C0F37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e1f21f5bd8d65c1d5efd3430300b3cb4b108a3c","datavalue":{"value":"1337.93003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797617$DBF0ADD2-4857-457D-92B3-4B2805752464","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e623b7f0fb14e959ade475ab990a30b8e5eb5b0","datavalue":{"value":"10.1080/00207179.2014.991940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797617$B569D1A5-7DF9-48D0-8386-D983F1D21B37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8c8a5e37c49d5d5d2f13ada0609fe8edb76db02","datavalue":{"value":{"entity-type":"item","numeric-id":1666202,"id":"Q1666202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797617$C79EF59D-06AA-4BD5-8754-C79C2848B0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba55440e1e3bc08507ee42b456a18870d7011a93","datavalue":{"value":{"entity-type":"item","numeric-id":2747755,"id":"Q2747755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797617$B15EECE7-E8FE-472D-84CF-18081CB32D2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fd1f09f03b2151af9bae64b3990df459d820d19","datavalue":{"value":{"entity-type":"item","numeric-id":159993,"id":"Q159993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797617$FFA1B82E-7F67-4567-BC5C-542CA26B4249","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afcc9aef178ba59d75b28635aabf5b74e7dc58ca","datavalue":{"value":{"time":"+2016-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2797617$0BC5236B-E0DB-421C-9A96-90703FFC9C40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797617$949AB7F7-50B9-4A30-A504-B2A70D7AC1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797617$D9112F73-B419-4C5B-9289-FA004E14207A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797617$2ECD43C2-B551-4C06-A1D1-04D8C1F10CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797617$14EC802F-F292-4C76-8501-EB04401A64E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e28ccfa2283117d25231b13c2fc10933b66c142f","datavalue":{"value":"6563525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797617$4F0CF70B-E6E0-40D3-92FD-DB57E9DDE1D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd68c1bd69afd0a113cf3433bf84fa7b891d74b","datavalue":{"value":"flexible manufacturing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2797617$40A92CCF-3E1E-4357-BB94-09B01995489F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2797617$718D7050-B29E-44F4-8F9E-84C5834D295C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q2797617$E9561CDC-78F0-41FB-8B23-DAF426A730AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4bd2387b6e1ca720226cd64e8dddaaf490a8591","datavalue":{"value":"siphon","type":"string"},"datatype":"string"},"type":"statement","id":"Q2797617$1F24FCB8-DC4B-46DF-A21A-B966E07084AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faf217caaedd52eb71dcc9c0db47d47440a8fd56","datavalue":{"value":"integer linear programming problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2797617$4C2490E2-D4D2-43E1-B11C-496F8F930A7F","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":"Q2797617$FE8E373F-4B58-4F9F-B23C-50F8E693EA84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da6a8fba850cea3ef86371cc5a4e155eedeb9325","datavalue":{"value":"https://doi.org/10.1080/00207179.2014.991940","type":"string"},"datatype":"url"},"type":"statement","id":"Q2797617$083B7700-B52D-4323-910F-61023DA78DDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"944b06c199788e8e8180766f7bd75934ba285b0f","datavalue":{"value":"W2082437273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2797617$D403102A-524C-40FF-900E-C08B5D01A7EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8e0b96155f6574531d511f428c1576be4072ec","datavalue":{"value":{"entity-type":"item","numeric-id":540197,"id":"Q540197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797617$0E7814BC-CB59-4273-82B5-F53020350A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f0ea9d33b081836c96dd99cf0a0e01d236ca51","datavalue":{"value":{"entity-type":"item","numeric-id":2939294,"id":"Q2939294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2797617$BE5F2C1F-C1AB-451F-9B30-E6BD133EA0E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582d164e81bbbb672cc46959306e99771dcd36c4","datavalue":{"value":{"entity-type":"item","numeric-id":4731084,"id":"Q4731084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b0c13bce4f4cb7c36650c95a0d5060d127e4e9","datavalue":{"value":{"amount":"+0.8402059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2797617$AA62F59B-443D-462F-B358-5A2F544BCA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f35c50dbf06b513c9ba99db9a0e4eafa889f0f","datavalue":{"value":{"entity-type":"item","numeric-id":3789420,"id":"Q3789420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7c6d937a1de5f66f8a2bedc4101eef8571eb61","datavalue":{"value":{"amount":"+0.8239385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2797617$2BB88427-6C7D-4048-AB0F-71D67F560AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f18842a120d598009817a3a1a3abd4b8bf8ec28","datavalue":{"value":{"entity-type":"item","numeric-id":4022606,"id":"Q4022606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15340941ecc93ff2879966806c84e051c8cdc8b","datavalue":{"value":{"amount":"+0.8234526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2797617$8ADE0B9B-F44B-4E19-9A94-A72494652C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56baee263bb4e6aeb81ee12f9f7059a3a6fe09a0","datavalue":{"value":{"entity-type":"item","numeric-id":3204381,"id":"Q3204381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cbcffdc49fce7bd03c5ee337e30134af967b49","datavalue":{"value":{"amount":"+0.8167649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2797617$0E186829-3174-4DBE-9457-27CF05668E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6a10941c11669a044acfec0deae7e17437c979","datavalue":{"value":{"entity-type":"item","numeric-id":895292,"id":"Q895292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142f5971461973bc364393d628f5494bcbc14075","datavalue":{"value":{"amount":"+0.8157666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2797617$222EF47C-4930-4B27-B400-4A6A89A541F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba23c08542709148e10a98525ad8a666f972f0f","datavalue":{"value":{"entity-type":"item","numeric-id":5491406,"id":"Q5491406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c2502efb99a006ab605cfcf452c883ef05a85f","datavalue":{"value":{"amount":"+0.81347686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2797617$DDFEADB4-F60D-4677-B3CC-2D1B58519017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb60633be79039980cca43c9258fe1120a0a5cbf","datavalue":{"value":{"entity-type":"item","numeric-id":4684047,"id":"Q4684047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2532da0db9a09ab4fa137312c56196bc37734674","datavalue":{"value":{"amount":"+0.8130301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2797617$102CA6DF-D657-45EE-846F-44AB1D1F5A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465247476419f4517ce8a4438f616367b8899195","datavalue":{"value":{"entity-type":"item","numeric-id":4366878,"id":"Q4366878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7038e1a770c5d265639fdc7d74b7f5e1311b7d71","datavalue":{"value":{"amount":"+0.81130075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2797617$D780104B-D455-4853-AAC2-D3B06DB11FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47570b53badf4ffdd63dbd6dbb55c92dfcbdd970","datavalue":{"value":{"entity-type":"item","numeric-id":2249659,"id":"Q2249659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94caf9bac2c3ac9dadf8ca85a47ce7df6a88cc04","datavalue":{"value":{"amount":"+0.8105004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2797617$39DC8317-FC13-4C47-B935-70BDB80C0CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90132503d6113acd10ad5f1a94b09eed4afd67ce","datavalue":{"value":{"entity-type":"item","numeric-id":4874633,"id":"Q4874633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03d4766fbf483d021e213766ae2551e2450e7dd","datavalue":{"value":{"amount":"+0.8102438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2797617$A524E8EC-3762-401D-8D6B-DB2080575F9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller","badges":[]}}}}}