{"entities":{"Q2106417":{"pageid":2117160,"ns":120,"title":"Item:Q2106417","lastrevid":57733896,"modified":"2026-04-01T04:08:16Z","type":"item","id":"Q2106417","labels":{"en":{"language":"en","value":"Using subobservers to synthesize opacity-enforcing supervisors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7633076"}},"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":"Q2106417$95D5AB30-CD27-45A8-8404-C2C0DC2DCBD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7486737f8c80038d3b21ad77c22c118f78e0c5a2","datavalue":{"value":{"text":"Using subobservers to synthesize opacity-enforcing supervisors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2106417$9CE26361-BD71-4F46-A753-32D732F5C5A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adaee53a987544e22f43025b0a029cdcbd258404","datavalue":{"value":"1505.93078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106417$48F0D04C-CD7B-4E2E-ACB4-DEE005073F1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1991e44b339495366050c7ea679c1a72ac5370f","datavalue":{"value":{"entity-type":"item","numeric-id":2106414,"id":"Q2106414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$E6D7EE7B-F066-42CB-A9D6-02D765C4CFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ef1cbe15312056fa1309b546e57f84a055d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":2106415,"id":"Q2106415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$39C61769-E7EB-44F6-A686-C4F903A53D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3633fe3e5aaca75c7882f1be5f68b2234d93c55a","datavalue":{"value":{"entity-type":"item","numeric-id":2106416,"id":"Q2106416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$F061C1C0-ABE7-43CD-92F5-401AA7BA8532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82c284a96ac16c8892426cb59758d8e72a4bf8ce","datavalue":{"value":{"entity-type":"item","numeric-id":2003813,"id":"Q2003813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$BC7E4964-00B4-45B1-B01E-148C00538E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a28023503b6934b48ad5c677b97f77b5d46feae3","datavalue":{"value":{"entity-type":"item","numeric-id":284678,"id":"Q284678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$5FC4F327-ADA6-4529-BF76-F8C9821BFE57","rank":"normal"},{"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":"Q2106417$63CBA584-5BAF-4AD8-920A-586868C54AC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$C6D38E31-572C-4F54-83F2-786D56CAAE68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a590f79e017275890da545c6ff28e3bd60477bf","datavalue":{"value":{"time":"+2022-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2106417$68A7FED3-AC1D-4F20-AC40-FEF81C4B3A19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96f742745815bdd69a6e616aa91064cfb8de94b3","datavalue":{"value":"https://arxiv.org/abs/2110.04334","type":"string"},"datatype":"url"},"type":"statement","id":"Q2106417$2EAC063F-4565-4CBE-845F-51E4F001739F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"923c8bef102bb6ebd35f125cc10b56d21864b3aa","datavalue":{"value":"93B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106417$069380BF-C935-4679-A932-036926A8F1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106417$497D0C02-7FF7-4F60-9CB4-2269D3A53289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106417$DDBAF46F-ABE8-4FEF-A33F-6CF6EEA7473D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45c33f9522ddbc7b4d4b8e96c228195f5b8742ba","datavalue":{"value":"7633076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106417$F31700A1-2815-4B7C-BDE6-E13803731C7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1760212da73e27b886ddacff18ea1d33e2f31fe5","datavalue":{"value":"discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106417$36A23002-6ABE-4284-B769-E5085A3F720B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106417$53353FDC-3B95-4E29-9E7F-0F0D52DD37E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f759de0c511929363e14ae9f32dc5cdf97daa","datavalue":{"value":"opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106417$8B35E5E6-3E22-4044-849B-8940A58BF8E3","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":"Q2106417$8F7846E1-B9B9-4CE6-AA18-7B90F2DEB232","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":"Q2106417$CE571FAA-5217-44BE-BAE5-FDEF5170FF1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1b72e39fc30296c51d60a4764bd03c2100e0956","datavalue":{"value":"W3207178583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106417$9DECAF97-12A8-4CED-A129-CC1A9AA318E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b7727a577909eb10a5fe8c5b0eba9248116daf","datavalue":{"value":{"entity-type":"item","numeric-id":2465424,"id":"Q2465424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$C3865F87-ACAC-41D1-9D75-F3DE2FEEF275","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":"Q2106417$66D3A616-BA3D-46B3-99CE-FC6F1AE0619E","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":"Q2106417$F0101910-E718-42BF-8B20-2749F3A0B77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f608a96b180e467210d81d7977e167fdd1fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":5288500,"id":"Q5288500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$A12319BF-0252-42FA-9404-12BB7FAF0234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca44b0a111807ea5cb89a634874b6cc657f7ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":4978803,"id":"Q4978803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$F0F0FB50-AB2A-4D81-B5FA-630038A6421D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc41634c70b51dcbc1c569899f49f6b1f3ef5c18","datavalue":{"value":{"entity-type":"item","numeric-id":858148,"id":"Q858148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$6202AE75-6685-41CE-87C6-015EADF693C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$710BD88D-2BE8-4E15-9C97-A22894BD54A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e23e6fbf2859c7419925e3259e2b5e3ea61e14","datavalue":{"value":{"entity-type":"item","numeric-id":2915168,"id":"Q2915168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$82FE14AA-C597-4EDF-8CC4-C39197D24817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6637e92771b4610d69f5a704a677d05d421c20ce","datavalue":{"value":{"entity-type":"item","numeric-id":716123,"id":"Q716123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$DDA8F374-ED34-4EB4-9832-21CA4FD0D613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c30c928c5466779eee6d415e0675ea165098d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1822944,"id":"Q1822944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$A79ADB4F-57B4-4167-871B-9A5BF909BC61","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":"Q2106417$317D5B1A-1383-4469-8D8B-CDC706A0F8AF","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":"Q2106417$32242448-F143-4094-A7CA-F8F80B7395D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66cf3f5f65fa396150559aaee39ac2fa12cec47","datavalue":{"value":{"entity-type":"item","numeric-id":5352804,"id":"Q5352804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$A098FDBE-B8BE-4C7C-AFCD-534D5C0180F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb52cf686ee68807b6c288455de4eb43bc8c05f","datavalue":{"value":{"entity-type":"item","numeric-id":1788686,"id":"Q1788686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$AFC55B33-CF75-471D-9424-E30CA2E3BE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843909c896242e08c352f951d421042470826f15","datavalue":{"value":{"entity-type":"item","numeric-id":1793986,"id":"Q1793986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$E8C71311-D50C-47D9-BB66-E3E9F26EA586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64c92fedabc88b70cdf8f87988d63e7b658d5e3","datavalue":{"value":{"entity-type":"item","numeric-id":373013,"id":"Q373013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$9BDE6F03-76EE-4FC5-8D72-0AB70BAD5190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76bc51d706531a2b8c6ce2bd56196c4365e67afd","datavalue":{"value":{"entity-type":"item","numeric-id":2980448,"id":"Q2980448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106417$3119DF64-A194-4417-A9FB-4BB6ED2A83E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"befdd7ac22fac89ea72e98736a31ecd405b29d10","datavalue":{"value":"10.1007/S10626-022-00365-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106417$30273ED2-E49E-4691-8056-70E7E569DD81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4a18126bf728612371127cabc81915ee78f986","datavalue":{"value":{"entity-type":"item","numeric-id":1788686,"id":"Q1788686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83fe2fc4e3b8136bd518a92b02bd7f2a1a116f4a","datavalue":{"value":{"amount":"+0.7936180830001831","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":"Q2106417$BE2B2261-F983-4418-BA8E-B8653E0A74BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080b29eed805f37b54098087c9ce05ae75651360","datavalue":{"value":{"entity-type":"item","numeric-id":2672457,"id":"Q2672457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090bf88cfbc092503c6ddc19b3a300903876b5ea","datavalue":{"value":{"amount":"+0.7856826186180115","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":"Q2106417$0FD69B53-4166-4F13-B663-0520EE213921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddecbeda7b18a8b174cd8fcaaef6282683b449ca","datavalue":{"value":{"entity-type":"item","numeric-id":3648711,"id":"Q3648711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079f7c60ae978ca5ddf93737a39aced5bd595dc4","datavalue":{"value":{"amount":"+0.7849583029747009","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":"Q2106417$F05F05CA-B6E8-476C-B466-61BA4A1514F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b0de31daed2bf523f833c4402d553422d33b88","datavalue":{"value":{"entity-type":"item","numeric-id":1424973,"id":"Q1424973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5f92f4da32f0841a280da8f668fe14d8715cae","datavalue":{"value":{"amount":"+0.7360324859619141","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":"Q2106417$ABC5926B-4395-4F55-8894-BA5974755BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9a5f45ff156faa448874e3f3d6b31554da1419","datavalue":{"value":{"entity-type":"item","numeric-id":2208612,"id":"Q2208612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da999eefad368fdeced71e37c0712fe9f9ffb45a","datavalue":{"value":{"amount":"+0.7318525910377502","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":"Q2106417$C2C58FE9-9A9A-4E54-BEE7-0C86061A9DD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2106417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2106417"}}}}}