{"entities":{"Q4559495":{"pageid":6589086,"ns":120,"title":"Item:Q4559495","lastrevid":41766722,"modified":"2025-05-08T02:54:33Z","type":"item","id":"Q4559495","labels":{"en":{"language":"en","value":"A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6988237"}},"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":"Q4559495$B4C35D4E-4410-44A1-99E8-2377967EDB43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8d06ddfbef1c099ba8e099a3943b28322e3ce31","datavalue":{"value":{"text":"A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4559495$F627F4CD-15F7-42D7-A613-09CF4684FE97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c772cd1bcd000e795d06b563beee600b14f1fe1d","datavalue":{"value":"1423.93265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559495$6BEB5F1C-1CBB-4C28-B178-8393D5DFD226","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7169e383500498944b6a5e8a3f2db29e473d43a1","datavalue":{"value":"10.1109/TAC.2018.2793662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559495$75B4ACAE-C1D6-449F-9E4B-7988B853B0D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1ba05614d8266badbbfa9494ff2c3dd9e2c780e","datavalue":{"value":{"entity-type":"item","numeric-id":358069,"id":"Q358069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559495$92C3ECE0-C009-4C02-B7CD-647DA29583AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90c203fafeb69ebb418c633faa7e2b213373f863","datavalue":{"value":{"entity-type":"item","numeric-id":243728,"id":"Q243728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559495$803990AF-12B2-4EDA-AE8C-0696041AB3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3bc8c388d7a0fac63269c05e0b00f7133fe344","datavalue":{"value":{"entity-type":"item","numeric-id":340679,"id":"Q340679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559495$8768943A-4A51-4ED7-B89C-2A16057A0699","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559495$7BE218A7-FA83-43A8-8EEC-33FA8B3CB42C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3057b7b50937a91885954ebcb046fa2257c3f34a","datavalue":{"value":{"time":"+2018-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4559495$D259A97A-94F6-40A7-8836-249FEDE285C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559495$39BB2E70-CBC1-4CE4-8F81-D447AB9F9F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559495$5C4D68C6-5982-4AA9-AC94-65766C27A215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559495$E0CBA0DA-5A1B-4067-A9AF-3F0530D46EB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ebb415690da8934e8e5fe964ca4151a02abc05f","datavalue":{"value":"6988237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559495$1F5FA4EB-BD0D-47AE-8DAF-AA5D697FFBB0","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":"Q4559495$FF3E58DA-806E-4E3E-A03A-175DE5307890","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"742910a96764a7039d366c6dba21ca3b46d6627c","datavalue":{"value":"https://doi.org/10.1109/tac.2018.2793662","type":"string"},"datatype":"url"},"type":"statement","id":"Q4559495$18086975-1D93-4ED4-8DDA-98D0FDC528E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c056ece64f35b03c1edf7814f6023f40fdbc1f8a","datavalue":{"value":"W2783183134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559495$9628362C-3621-44A8-8833-AB8F6FCEDC4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9522290ee6782828515edef143afa8844b0024b","datavalue":{"value":{"entity-type":"item","numeric-id":5257774,"id":"Q5257774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb09a50b1d2f3e59adf57bc00cf08ad6a9a77a8","datavalue":{"value":{"amount":"+0.88099295","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":"Q4559495$DCB2E308-1DDA-4FA4-83CE-140D9A6DFDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63cd690ff6a8df12b018f521929d1d0b554962ca","datavalue":{"value":{"entity-type":"item","numeric-id":5274241,"id":"Q5274241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b468fdd5e4f1da4f7a69ffafad1443cc341553","datavalue":{"value":{"amount":"+0.8790424","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":"Q4559495$5BC45164-7E61-45A6-8172-2117DD897393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eda8c60c944fe856795c9a1339b101977e94b2e","datavalue":{"value":{"entity-type":"item","numeric-id":5002129,"id":"Q5002129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07716a902075eac0e104af9b77c6ffc84d66bc79","datavalue":{"value":{"amount":"+0.87852335","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":"Q4559495$DCCE9E7D-9FB4-48A6-89D4-322C8BC75C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702d11dc00c0aabe443e5ca715cabea3f99b3683","datavalue":{"value":{"entity-type":"item","numeric-id":5375230,"id":"Q5375230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cabef5e626b33cad56389d441f72297a3dae71","datavalue":{"value":{"amount":"+0.8741925","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":"Q4559495$ED343A16-B014-465D-A003-A84036F090BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecb8854a3bdf084ddd7550ef0c2c35223337d5a7","datavalue":{"value":{"entity-type":"item","numeric-id":5926190,"id":"Q5926190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0bf3bc3ae0d315c4ca81237a48e19914e12234","datavalue":{"value":{"amount":"+0.874187","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":"Q4559495$DEB6DD87-DDB8-460C-A7BD-7912C379B4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47097d0bd67b9d4d5d3b59daf85a07d63454515d","datavalue":{"value":{"entity-type":"item","numeric-id":2256887,"id":"Q2256887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c503d001c91f31aafab2378d488120a201825d","datavalue":{"value":{"amount":"+0.8740958","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":"Q4559495$0E2394E9-5E02-48FA-A71E-E3D07A20B2AE","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":"e022f6a606a3f143d4826b54b8b53e065cfea704","datavalue":{"value":{"amount":"+0.87383336","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":"Q4559495$852F8C22-B117-494C-9C69-417588361CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c550ec65e6bc75c0e88974437f0a73c5e6528ee6","datavalue":{"value":{"entity-type":"item","numeric-id":6056411,"id":"Q6056411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c958a25b1241d6deee143a82c68e8944e1c3f5a2","datavalue":{"value":{"amount":"+0.8735612","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":"Q4559495$C995F7DC-2220-4A6E-86D0-A702AC4C8BA9","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":"372ce3c55988c0749ee7380c28fe7bd15d3d0bc0","datavalue":{"value":{"amount":"+0.8720721","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":"Q4559495$5A36A330-6F78-41CD-B717-134373DEADAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2bf517f85ac9cb4e9d16a0b8f58a77c9db850be","datavalue":{"value":{"entity-type":"item","numeric-id":2730341,"id":"Q2730341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6b1775e7afbb37012eaeef28f097e735bdc588","datavalue":{"value":{"amount":"+0.8711965","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":"Q4559495$E09AACC8-AAB4-4A9B-AAF1-007118B6BE54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4559495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4559495"}}}}}