{"entities":{"Q896497":{"pageid":898345,"ns":120,"title":"Item:Q896497","lastrevid":65169804,"modified":"2026-04-12T00:46:51Z","type":"item","id":"Q896497","labels":{"en":{"language":"en","value":"Enforcement and validation (at runtime) of various notions of opacity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6518611"}},"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":"Q896497$AE4CFC49-D0D0-4C76-99B2-28E3331A5DE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dc5fa4dd35833d120ac62d78ecfbb468df4b86c","datavalue":{"value":{"text":"Enforcement and validation (at runtime) of various notions of opacity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q896497$D3EDB8D6-A7C8-43D9-B70E-F9B17F0D5C75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ebe76873762469566e2df61b6c91a09387ed9aa","datavalue":{"value":"1400.94143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896497$8FA33714-5003-47D0-BAF8-C49D22D89025","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f4cf02364d18c377494c71861a06a2dcc46a912","datavalue":{"value":{"entity-type":"item","numeric-id":346788,"id":"Q346788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896497$1E91AF70-C078-4F8F-AE5B-52FB08B94216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"757bae5b07e6aa09beae0ab8d19b245da3ff0837","datavalue":{"value":{"entity-type":"item","numeric-id":378901,"id":"Q378901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896497$D0B79604-1349-45FE-A9DA-663369CF9122","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":"Q896497$1D328D75-10A1-4F2E-9DBA-E01B712970B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b8734b9abc793f74f77d5198b802e2e4c98f1c9","datavalue":{"value":{"time":"+2015-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q896497$D48BD350-1610-4F32-A861-B765A356E92F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89369eb1a626846e4d7e92f6c66ef35a131c8693","datavalue":{"value":"https://hal.inria.fr/hal-00987985/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q896497$FCCC15E4-60D5-42EE-BAD5-8A88C4E87E85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896497$B556F923-FC3B-478C-9170-BCFBCA0330B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab89da4db67d5c219195924b1c5176b2560d2312","datavalue":{"value":"6518611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896497$E685F090-1120-4E0A-92AE-8FE9B727D02A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f759de0c511929363e14ae9f32dc5cdf97daa","datavalue":{"value":"opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q896497$CC2BE4F2-94BA-4C06-BED4-093FD41A66CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec57d37c55cfea85b492e27ac5a6b1456589036a","datavalue":{"value":"\\(K\\)-step opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q896497$8DB6EEE9-6202-452D-B142-78DE1B308C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q896497$5E9227D9-63EF-453D-8484-F7B83A8DF8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"944143ff1ca66f1bf9ff2af7143ad4e869673670","datavalue":{"value":"runtime enforcement","type":"string"},"datatype":"string"},"type":"statement","id":"Q896497$B6D447B0-DBD8-4709-90FC-42A234CC4D28","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":"Q896497$B5DCFE94-9527-4427-9832-3487B07B7796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d53f5c81bec065f6d0cd4685fac99f1aa44e93e5","datavalue":{"value":{"entity-type":"item","numeric-id":25610,"id":"Q25610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896497$A84C15D0-DD2D-466B-B4DE-59A4E819CF86","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":"Q896497$41A69F65-AC2D-4A82-B254-0182989A1580","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c5ecadd46274b49af9c9ca84ae048ef7d139722","datavalue":{"value":"W1976202267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896497$8C689FC9-51E2-4B4F-926B-A2AFDECBA30E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa100cc1bb57949a436b95c94fdab080cc1b19d4","datavalue":{"value":{"entity-type":"item","numeric-id":3591420,"id":"Q3591420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896497$22329A57-3AEC-458E-AB2F-AF0DE91EB3C4","rank":"normal"},{"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":"Q896497$DF22C1CD-1D62-4110-87F6-4BE016C104E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cdd3bee3822a330b36d9b7173ff2f0229ea9f2","datavalue":{"value":{"entity-type":"item","numeric-id":3648711,"id":"Q3648711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896497$793527D7-552D-4A36-A7D3-0D472DD728D0","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":"Q896497$E36F6193-EFBB-4D71-A628-74D2506B91DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d420159da4dbaf99e607ee683af81fcb8509d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":497279,"id":"Q497279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896497$4690906D-FBBC-4D53-9FAB-F9DA91992615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6ee2c953fa20021820c476cb39923c8f0c59c6","datavalue":{"value":{"entity-type":"item","numeric-id":896497,"id":"Q896497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896497$971D40E5-7C56-4FB8-840D-89E40E7C436A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f16ba48be98b508d390b28ecf08eaa920e0c3f","datavalue":{"value":{"entity-type":"item","numeric-id":548696,"id":"Q548696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896497$47D91074-11B5-47C5-9A96-3FE5E2335854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36919fe60b6cd72a4fffe4adeb8fc314f00cf8c","datavalue":{"value":{"entity-type":"item","numeric-id":4472252,"id":"Q4472252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896497$AFB34FC0-FEBE-4378-B20A-BF36F06B70A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896497$E5ED611C-2C57-4F67-9B01-40AF9AB6B90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff16d9e8951ca7e4902f7caa7981f55b103b4214","datavalue":{"value":{"entity-type":"item","numeric-id":5862671,"id":"Q5862671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896497$634550E0-8B83-460F-958F-7B92FC3B7132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa3eeeeb3c8a3a6066b8c40815a510ff335cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5352820,"id":"Q5352820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896497$9F7D0603-AD82-451F-B686-27A10C36EDA3","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":"Q896497$5BF94041-FF31-4D34-B57A-C3A5513E05A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d869d564de9b3dbf58e7d8e04bfb67e3135439c","datavalue":{"value":"10.1007/S10626-014-0196-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896497$7FCF8414-61A1-47A8-B458-37D8F7BE0AB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ad8fcd13c2299a0a091729db8fa9a6585c02e6","datavalue":{"value":{"entity-type":"item","numeric-id":6165326,"id":"Q6165326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b733d7beb40c617a519eda25108ed943baee27d","datavalue":{"value":{"amount":"+0.8271189332008362","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":"Q896497$6F020E5D-A3FD-44CF-B735-36D0FEF5CAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3903005b2053043c43c7f530ef193a6fe7a361","datavalue":{"value":{"entity-type":"item","numeric-id":2063098,"id":"Q2063098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e792cee01a6661f9af611ec50626252680f7409b","datavalue":{"value":{"amount":"+0.8256872892379761","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":"Q896497$0D99B59C-C0B0-40A1-8A0F-24C8058E542E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df43d83467ab879b48e8b002f019509cdc7cad37","datavalue":{"value":{"entity-type":"item","numeric-id":2673762,"id":"Q2673762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c523e6378fa38fa3df60e4789844cd658a7c14","datavalue":{"value":{"amount":"+0.8205747604370117","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":"Q896497$5B9E0EF7-5D35-40BB-B88C-10997BD9AF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0da1069d8819e52cab4bc1b0a36baeeb5444fd6","datavalue":{"value":{"entity-type":"item","numeric-id":2065174,"id":"Q2065174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1312351fea1a2bab4dbf825684ca563fa09023aa","datavalue":{"value":{"amount":"+0.8193801045417786","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":"Q896497$E18E7DD6-0B7A-44B2-B87B-BE996DD34450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd65e31cce5f316ed2ec944b7c6d52be82082be","datavalue":{"value":{"entity-type":"item","numeric-id":458746,"id":"Q458746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d7c0187de68cfa1722eb2e36ffde32eddc96c83","datavalue":{"value":{"amount":"+0.8180099129676819","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":"Q896497$8423E8BB-40AF-4AAB-9525-112251183EC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enforcement and validation (at runtime) of various notions of opacity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enforcement_and_validation_(at_runtime)_of_various_notions_of_opacity"}}}}}