{"entities":{"Q3818944":{"pageid":5848850,"ns":120,"title":"Item:Q3818944","lastrevid":53822387,"modified":"2026-01-25T18:53:15Z","type":"item","id":"Q3818944","labels":{"en":{"language":"en","value":"Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4091358"}},"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":"Q3818944$21BCC927-8E9D-440F-9E07-E043A4C0B761","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa66fd2e12c43cd7606c1c3dae73a60338a85df2","datavalue":{"value":{"text":"Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3818944$ED7DD3B1-AE99-40ED-8C84-F09974D6EA56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99c070b1276724b1dcfed8c9dd490ccebf17ae6a","datavalue":{"value":"0666.93095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818944$1C608135-C0A7-4A5E-84AE-91CE06E143B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02d5765c0ce016649f0f792d694712ae7e615ea6","datavalue":{"value":"10.1109/9.8645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818944$9C2C244C-559F-47F1-9728-8A0ED8C007B6","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":"Q3818944$D67C4E6D-9724-4C96-82E6-668BC3C0B2DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3818944$7FD68F1B-38DA-43A7-8347-3EE68775BD55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb63175a2479dd33d5406fc60dcfdfa53b1ef2a","datavalue":{"value":"93C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818944$AA2F144E-0924-4797-962C-581498D473C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818944$82DADF48-F1BE-4296-81C2-77EFB9DDEF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818944$DC243759-B189-46DB-AC31-AB9D1925A75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818944$27D501BA-2394-4664-8471-375EC278E94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818944$5433DE38-69F0-4A7E-8BA3-106921CF9AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818944$C19FA495-30DA-497A-BC50-6EAA9E6314C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7af24fd771e53070095f4d3d82648da04c6448a8","datavalue":{"value":"4091358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818944$AF9800FB-1FA6-448C-B0F4-90826565C22C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd59b8d9f40734ce5500c0914b2d395cf8fa16fc","datavalue":{"value":"discrete event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3818944$92ED3681-5DD0-4DEE-8831-BDB68B9222B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8edf4edd53fe88472451d06022cbbb53aa48d94","datavalue":{"value":"manufacturing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3818944$8870F392-5EDD-41FB-B7C2-582A99234193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c74c5552698bc5f1378c74a5f1a3f533d21987","datavalue":{"value":"Finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3818944$89D5F2F5-319E-4EB4-A123-9520A2B186C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3818944$3E538F9F-C03C-4D44-9029-2FEB09EAA8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3818944$24C3D5C6-B86F-4505-A584-307F32257F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5ea7ecc5c0101bad4c293c19980834bb7706a6c","datavalue":{"value":"controllable language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3818944$10DAA573-C448-4DB2-9EF6-C3A06C63BF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea40980dcc061ab3a92d1a37fee3d56302a66d8","datavalue":{"value":"nonblocking supervisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3818944$9D71D8F1-5404-44FB-A925-9E25C6F5F86C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e074564e0ea56d96e849e32c6f9e55faa775df30","datavalue":{"value":{"entity-type":"item","numeric-id":1198585,"id":"Q1198585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3818944$D00AF02F-5FE8-451E-8768-106BFEA59891","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":"Q3818944$B1F209A3-07FF-4119-A8A4-D2156EE6C6EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ac5ce339a83a3e7b2e47cc77c1833d61fe5963b","datavalue":{"value":"https://doi.org/10.1109/9.8645","type":"string"},"datatype":"url"},"type":"statement","id":"Q3818944$5CB8DFA4-F6C1-4641-8DBE-5F17674DDEFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f4a901ffcbbbe0636b6b121fcd6106730988b17","datavalue":{"value":"W2025459956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3818944$0F3FD26F-29E6-445F-BA4A-5AA597F22C5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed20d48274074b37ae55f931570217c5084331c","datavalue":{"value":{"entity-type":"item","numeric-id":3826451,"id":"Q3826451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873655e0f65f22113498df58cb05957e1ea5ac8f","datavalue":{"value":{"amount":"+0.8947303891181946","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":"Q3818944$F182FCDF-EF80-4CAE-9C21-90F81099F99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12253569aa453bb4a516a205f5663b7e9ef5523b","datavalue":{"value":{"entity-type":"item","numeric-id":4302303,"id":"Q4302303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e1caf9184665de45c46ef0cf91dea0a3ea9244","datavalue":{"value":{"amount":"+0.8510422706604004","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":"Q3818944$C7E3FEE5-8B7D-480E-BB3B-35E497DC03AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412d34457b81028286335a7fa164ae08e3446995","datavalue":{"value":{"entity-type":"item","numeric-id":3780918,"id":"Q3780918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6389e8e5512a9524d7ad6d76dd34809de5277c","datavalue":{"value":{"amount":"+0.8387553691864014","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":"Q3818944$87033BAD-60A4-4AF1-AB9C-7FF4C5CF5F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1354cbb40a85944defb76e79092e443209e83b17","datavalue":{"value":{"entity-type":"item","numeric-id":4037393,"id":"Q4037393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77dd6d249f0c3681b2d469fbe869e7b546f513be","datavalue":{"value":{"amount":"+0.835466206073761","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":"Q3818944$B5380A16-EC1A-415C-87FE-55CE566AC5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931259325edde41f75c774ce759cbc1380bf0f36","datavalue":{"value":{"entity-type":"item","numeric-id":2348358,"id":"Q2348358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77dd6d249f0c3681b2d469fbe869e7b546f513be","datavalue":{"value":{"amount":"+0.835466206073761","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":"Q3818944$3960A1E8-0E74-451B-860C-52D65642BE67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3818944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3818944"}}}}}