{"entities":{"Q1662972":{"pageid":1673713,"ns":120,"title":"Item:Q1662972","lastrevid":68179017,"modified":"2026-04-12T21:57:17Z","type":"item","id":"Q1662972","labels":{"en":{"language":"en","value":"Control design for nondeterministic input/output automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6921111"}},"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":"Q1662972$AD129B0B-A009-4B90-875D-A39B8E83D528","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3caf94486750081fcdadacc8fcbc98639a1e9396","datavalue":{"value":{"text":"Control design for nondeterministic input/output automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1662972$DBE9BA41-2DA4-49EC-BF2A-CEF1B0F3D342","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a5e743a0545b56d73763baaf1576dccb9185809","datavalue":{"value":"1403.93130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662972$1C1C7106-35C8-455B-B04B-50A5747887B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a61899fed26934c007fad19e92c713e66fa16504","datavalue":{"value":{"entity-type":"item","numeric-id":1662971,"id":"Q1662971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$D7EDC157-6D23-48F8-9007-7F540A8275C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c202ab55164be7be697a1d587e5bc772836a30c8","datavalue":{"value":{"entity-type":"item","numeric-id":477293,"id":"Q477293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$469DBD2E-5D08-4FA9-A39C-5D040A347D0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45f20bc078972fb8087b47a09eeaa25cf327dd63","datavalue":{"value":{"entity-type":"item","numeric-id":285794,"id":"Q285794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$E2E518C6-F71F-48A4-8D5D-713E0AF96935","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dea8b353f71cbbb3b5cacc724847e34eb1031d7","datavalue":{"value":{"time":"+2018-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1662972$22EE9338-5107-419D-97BF-27DC660BBAD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662972$1D10BE45-3801-4039-A64F-23697514F60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662972$269B451F-BE8C-42F0-96A6-C1E849DCCBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662972$1A6156C9-2460-4969-B2B0-22E5F5E9989B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f1fdbd37ea55781316a099df1ac6c996bd515a2","datavalue":{"value":"93B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662972$CB6B60D2-A0A5-46E4-9BB3-59C2D9D15E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0916e5de0ac6f52471290e56f7212aa9a67dd8fe","datavalue":{"value":"93B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662972$9185D72C-EC1D-49C7-8561-3DDC8F772885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b5fea7dd33e1cd94ce07f94285f7fc92e32cd89","datavalue":{"value":"93-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662972$EB3C5085-C629-4570-A240-FD83D650FBD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16520cb6befd91db545f1dc99c276f18b8c318ab","datavalue":{"value":"6921111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662972$7FDB5CC5-2FB3-4ACA-9644-4C00F8CFA719","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1760212da73e27b886ddacff18ea1d33e2f31fe5","datavalue":{"value":"discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662972$57731CC3-3DB9-4C8E-8A49-F807AA317DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96d39dea2e4fb085f4f5afffbdead52e508e60cb","datavalue":{"value":"input/output automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662972$F4B89277-C405-4558-8B1D-CC9DDD693B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662972$5B2D4D5A-0894-493F-BD75-074408107E5E","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":"Q1662972$20B4DAAC-5E26-4935-B8B2-02994A1A1762","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":"Q1662972$158865C1-E4F7-4008-9873-79291696C242","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d313f805ba234f8b9932588405c908f9aa2197a","datavalue":{"value":"https://doi.org/10.1016/j.ejcon.2014.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1662972$5E5394E0-EED1-4468-9254-116DEBEE3D90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2ec3659e1be95a7af367f2d8bc36a8a92bd1024","datavalue":{"value":"W1999721401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662972$D78A86DD-202B-4D3C-AB02-4CAD02457F5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$1948B171-8E09-4F6C-8DBC-47211BB7FCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e6db6de4a9c8f0d60ec1d1dbe987f2f7e039d","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$D7E0FF37-A03A-4EEF-AC69-4BA2CE21E8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090fc2f3183667882821745918fa4e0d68d92806","datavalue":{"value":{"entity-type":"item","numeric-id":3140095,"id":"Q3140095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$987BAA67-A54E-4640-9170-21209BC3E64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c477b3048704927ae5245e6bdeaf53f788029a","datavalue":{"value":{"entity-type":"item","numeric-id":1273548,"id":"Q1273548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$743B685F-69C5-4D83-869C-55A4DC55B707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$FE75E60B-AC82-4468-838F-D94D42C71909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f30a4b1fdcc9c6edd467b47bb17ec142f25152f","datavalue":{"value":{"entity-type":"item","numeric-id":3152840,"id":"Q3152840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$81C078C4-8F2A-4C99-B540-CC778A359153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0c0c960cc2f5bb6555496e63ca56fc436f9797","datavalue":{"value":{"entity-type":"item","numeric-id":5274236,"id":"Q5274236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$D28CCB71-A629-4368-8FBB-1D43BBE53347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec0346c7c69cefc06dbbc0c0175e3cadefef3b","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$D4C03132-E2B2-4357-9A57-700FBE74621A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c594e9705e780a6a4b2b01479e5d5553e79570","datavalue":{"value":{"entity-type":"item","numeric-id":5572939,"id":"Q5572939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$6C406798-1F07-4E09-822C-E7AC2CF8BAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2972b6574bcf8881e975cd90781ff0b404c7e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4671279,"id":"Q4671279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$F551B287-9BEF-477C-857B-7457A79970E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$1AAD2FB0-E5F3-4727-8346-FE5004A346B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f70dc5b55cbac27fb7a79bfffac50fd465ccb7","datavalue":{"value":{"entity-type":"item","numeric-id":3543079,"id":"Q3543079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$DF7B1EA9-EC20-4C8D-8F27-1E3C1D5D1578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8466ffc4672e4d5ad303832b3ade0eed45ec228","datavalue":{"value":{"entity-type":"item","numeric-id":1662972,"id":"Q1662972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662972$D82B25F4-CBBF-4E83-814A-3DE6800CB602","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a3e9e1a15ec26315705c2b37ab78faf48f641d9","datavalue":{"value":"10.1016/J.EJCON.2014.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662972$F2114B7B-99FE-4387-9FD6-0159BD67E567","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbafa17c9b9019a8c65d701de075ccc746aeda1b","datavalue":{"value":{"entity-type":"item","numeric-id":4304556,"id":"Q4304556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b531f826abbbf2f7cdb9116de56e531d32cd7ee","datavalue":{"value":{"amount":"+0.7857229113578796","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":"Q1662972$784DB06A-D394-4B81-A1A8-48C66F08ADFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6a99a98cd1db889b1a9660c62a6dc3b18d5404","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b531f826abbbf2f7cdb9116de56e531d32cd7ee","datavalue":{"value":{"amount":"+0.7857229113578796","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":"Q1662972$AAAE1E9D-B137-4056-B6A8-01DA01178D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ba101ee068e0bf0bb0cf257e1b542a630f6ea0","datavalue":{"value":{"entity-type":"item","numeric-id":3222064,"id":"Q3222064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b4961c864cba99e0bbaa9ad709276459bfa0b8","datavalue":{"value":{"amount":"+0.7852230668067932","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":"Q1662972$BBFE3BEE-4DF8-4ABC-9E4A-C0F672C203B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c759f97e724a6493e65f1c018ea947e660d82a4","datavalue":{"value":{"entity-type":"item","numeric-id":4395809,"id":"Q4395809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e058771a773bbefd361b5980b0b45f5cc1a738","datavalue":{"value":{"amount":"+0.7753639221191406","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":"Q1662972$25C0474A-8F48-45E9-9922-C7AEF968FA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0471ec1fafcbf54763250698a044eefa477fad72","datavalue":{"value":{"entity-type":"item","numeric-id":3486473,"id":"Q3486473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e058771a773bbefd361b5980b0b45f5cc1a738","datavalue":{"value":{"amount":"+0.7753639221191406","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":"Q1662972$B8681909-6B3D-4E2F-99C1-4FF374BCF4FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Control design for nondeterministic input/output automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Control_design_for_nondeterministic_input/output_automata"}}}}}