{"entities":{"Q1814432":{"pageid":1825174,"ns":120,"title":"Item:Q1814432","lastrevid":70902990,"modified":"2026-04-13T18:07:03Z","type":"item","id":"Q1814432","labels":{"en":{"language":"en","value":"The infimal prefix-closed and observable superlanguage of a given language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 10773"}},"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":"Q1814432$FC4BB2F0-5FD9-4902-BF95-674496FD1FED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd428e138e378520e86fc64b9510bdfce932ace4","datavalue":{"value":{"text":"The infimal prefix-closed and observable superlanguage of a given language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1814432$099A9791-C08E-4E27-874D-DFD37AF8ABB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"500e1101bfefe06062103dea5c2dbe782edcd725","datavalue":{"value":"0746.93061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814432$ED1D48B9-2761-4A52-B27E-8ACCB9BC8EE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"857d31fbb7b18a1f1738f0d4c14623911d7962d5","datavalue":{"value":"10.1016/0167-6911(90)90059-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814432$9DEA6AF8-7BF3-4FA2-B2AA-69DECCA129DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf21dde5e14f91ec3f052922dde91cfa47200f59","datavalue":{"value":{"entity-type":"item","numeric-id":394964,"id":"Q394964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$470181A1-2807-4501-BFCF-EB6D22304DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"068c1cacd102cb21c594fa3ddc56df9e88fb0a9c","datavalue":{"value":{"entity-type":"item","numeric-id":680539,"id":"Q680539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$464C4AAE-78FD-4FBC-9CFC-2E489958F9B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1ed7a090d8f1d0a3795177bace50e8f939f7c97","datavalue":{"value":{"entity-type":"item","numeric-id":196914,"id":"Q196914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$FD12DB6F-5686-4EAE-81D3-794789029C60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1814432$B9843D33-5B23-4E71-88FD-643A803DE3C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e745cda23249a0eff605ad696dbc58614eb1410c","datavalue":{"value":"The paper deals in an abstract setting with an important control problem i.e. supervisory control of discrete-event systems under partial observation. A fixed-point characterization of observability is presented and yields an effective test for systems specified by regular languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814432$79969D5D-7D9F-4F0A-B395-6FFBC830ABF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814432$FC1D5DDB-167F-475A-AABF-0C7BC2F3F51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"135781118dc2933c1f9d2e0a6913db02c2f6d7fa","datavalue":{"value":"93C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814432$8FFA7BC5-1B12-4E02-B78B-998C21A7A5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"77b6f3a09ce6a9fd528d2c275014166cdafa58c7","datavalue":{"value":"93B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814432$F55E0657-E5B2-4B4A-AC32-B2000AF95EB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91a1fd1bfd7c0f411e35be1b9016ff2e41cf288b","datavalue":{"value":"10773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814432$0C5AA75D-85A8-4EC5-AEA9-B508DF802B01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54fe84ca1904515472867bc27bc7882425a8dce5","datavalue":{"value":"supervisory control of discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814432$5C2F49B2-CBAB-4F72-B82D-96A2517CE0A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cb3f4cfe507af7eae8a06abdc0a2df6f54766063","datavalue":{"value":{"entity-type":"item","numeric-id":587623,"id":"Q587623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$7AEBC1EB-E516-4EF2-AA99-75EE720A49E2","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":"Q1814432$5C053606-210B-4BEA-9750-6C37DD0285A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03a4e6fd797940055485976d7c9edaee0d085bb1","datavalue":{"value":"https://doi.org/10.1016/0167-6911(90)90059-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1814432$24AB9C28-87FB-4FC4-9D5A-7B60BF184940","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ed45c56caab4453a8e82e646d954a2a0b1a9d49","datavalue":{"value":"W2036978485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814432$C027C021-73AD-48AC-9250-E4BC37459743","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c386ef9c160135c73eede45a34f6870f1e449bff","datavalue":{"value":{"entity-type":"item","numeric-id":3890123,"id":"Q3890123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$98D6D101-7AE2-4F37-9BBC-F98AEF04373C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa31839a50f544b3987967f6d5aad4ba22607f2","datavalue":{"value":{"entity-type":"item","numeric-id":752649,"id":"Q752649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$1BD6A471-9594-4AE8-9E0D-0F0D2423107A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff1159a40bc8c39e3e9d828345f40916f8884ff","datavalue":{"value":{"entity-type":"item","numeric-id":4733422,"id":"Q4733422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$5DDFECDC-3F13-436A-AD45-591251367B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda7863432bdf6fc9332185257b16e0d61f77f39","datavalue":{"value":{"entity-type":"item","numeric-id":3780844,"id":"Q3780844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$BD39C7F0-D190-4A9E-BB2B-B4763D788288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$1AD19B19-2F04-4428-8842-70219DF5FC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7b5124b70fb76984ffe5a0b7aa33dad827e140","datavalue":{"value":{"entity-type":"item","numeric-id":3493235,"id":"Q3493235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$5C89B12C-007C-4C3C-985C-ADE349155855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6be6cff01d2235451e68957f7f50c6f48767737","datavalue":{"value":{"entity-type":"item","numeric-id":1166268,"id":"Q1166268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$E8968D89-1CC3-4FFA-A8F6-933CE8C5C33C","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":"Q1814432$3FD5DCC1-789D-43C9-B46F-8AFF14ED6A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e306c88778a7218a8a7a5bb6017b67aef00f66b9","datavalue":{"value":{"entity-type":"item","numeric-id":3960524,"id":"Q3960524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$D13F6B81-6C07-4AD0-88BD-3FECE85CD57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814432$BD8E71D6-09CE-40AF-BD4E-570FC24106FA","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":"Q1814432$66D0A3AC-8C15-404E-9386-1D217F46ABB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7cc5da151083e40d92b26635be0acaca826a94","datavalue":{"value":{"entity-type":"item","numeric-id":3827852,"id":"Q3827852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b7cbdceb4d074c1b34b7ce3e26ce13c0516fd2","datavalue":{"value":{"amount":"+0.8188895583152771","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":"Q1814432$FA13884F-3304-4F10-8C22-71375BFF9B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4857455f913514e95a21aafb4665bfd232473543","datavalue":{"value":{"entity-type":"item","numeric-id":1788694,"id":"Q1788694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82587ed5a1f18cffb4342a66ae8c29f93e4bf126","datavalue":{"value":{"amount":"+0.8154340982437134","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":"Q1814432$91A49D60-FFFF-4522-A2E9-24EA1389E6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdef44677e15d2c7ef8e4e27acc1e99092809408","datavalue":{"value":{"entity-type":"item","numeric-id":4373067,"id":"Q4373067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abfbb8ae1acb59dbac6d030b98638d6f380bc11","datavalue":{"value":{"amount":"+0.815300703048706","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":"Q1814432$351E3C28-B35A-40C8-A094-72EE7E3F703E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21fb2d2c1a515873184ff25c0cffd65133589552","datavalue":{"value":{"entity-type":"item","numeric-id":2503503,"id":"Q2503503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032e480aa5908cb094c556e716b8d4337ac30529","datavalue":{"value":{"amount":"+0.8141104578971863","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":"Q1814432$B31E0FF6-0685-4ADD-8D92-38D3C09B0B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ba82f874fd468cd1d6aa8cb88a29269a5f44bb","datavalue":{"value":{"entity-type":"item","numeric-id":3361896,"id":"Q3361896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d7357e91fa78604784e879fa5aeb966420f4372","datavalue":{"value":{"amount":"+0.8094580769538879","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":"Q1814432$0B3E248F-1BE9-47D5-B146-857F24EEE5B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The infimal prefix-closed and observable superlanguage of a given language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_infimal_prefix-closed_and_observable_superlanguage_of_a_given_language"}}}}}