{"entities":{"Q6165326":{"pageid":13300207,"ns":120,"title":"Item:Q6165326","lastrevid":58736115,"modified":"2026-04-06T12:58:05Z","type":"item","id":"Q6165326","labels":{"en":{"language":"en","value":"Verifying weak and strong \\(k\\)-step opacity in discrete-event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7720576"}},"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":"Q6165326$7BAF9A72-A85F-40A7-A6F4-FADD126BCA07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"071912b65d49398e9c03e2324ccbc9432c654085","datavalue":{"value":{"text":"Verifying weak and strong \\(k\\)-step opacity in discrete-event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6165326$7D2EAA6F-AB31-491D-9980-0A385DAAFEE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4da5d1395e4b2f5ee528f5d379b0fae9eaa99c00","datavalue":{"value":"1520.93305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165326$DF71CEC6-E552-4582-8D83-FD7CCE5722BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a217024dd3849b001653a929b0f07058e646e8c5","datavalue":{"value":{"entity-type":"item","numeric-id":2063097,"id":"Q2063097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$363C7B25-D43B-47D1-8161-A6D60E309172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4168584ba9f841bdae0fff555c40c6b9e10448b5","datavalue":{"value":{"entity-type":"item","numeric-id":414884,"id":"Q414884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$0F397A2B-C9B3-4E93-B6B1-1EF0AA9AF637","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$7881C80C-CF5F-4959-BBBE-DD2248B8061C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0626411116538cb58ee59bb6ed134e622ea83cbf","datavalue":{"value":{"time":"+2023-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6165326$6676BF5E-EC98-4E9C-A3F3-F8CB64A01BF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2d108bd9a4661440806bdc119a5d47b2f545d51","datavalue":{"value":"https://arxiv.org/abs/2204.01286","type":"string"},"datatype":"url"},"type":"statement","id":"Q6165326$A47F05C2-6E16-4A6C-8DE1-177DFB4BE43E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165326$274D9F07-B61A-4B35-AE43-DC85D88C4CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165326$9C40F30A-41F3-4D1A-9F91-D897D6892E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9f75a1ea6a1b050032188834d6ec5de5f473dd3","datavalue":{"value":"37B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165326$56A00390-E3A2-4902-B535-DDD93D2F119D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1eee29aa89dbf088fb2f144a679a734bfedf2180","datavalue":{"value":"7720576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165326$67DA22A5-856B-4A99-8B30-74C227E4E41A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165326$4D95239F-5E3A-40E6-840C-81E3E0CB737C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165326$B814015E-3E57-4C31-83FD-4F17DBF6A162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f759de0c511929363e14ae9f32dc5cdf97daa","datavalue":{"value":"opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165326$40EC74F7-E515-426B-A6F8-B03730FFC902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165326$AD9F0365-6F29-41EF-92C0-A8A50FD900ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165326$234FD4E7-0AF5-44CB-AFE0-FE21740CE62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165326$A92FE958-55B5-47E4-AF44-42664EF72020","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":"Q6165326$7FBD10A8-3609-4CF5-B52C-34AE52629A88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"588502d2ff689430682f2e5f76e5f2fbff05038e","datavalue":{"value":"W4381686473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165326$4E293907-27BF-4500-8890-F1DA6650344C","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":"Q6165326$02A68C94-78FE-41CD-ACF9-FAC2F10FCC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c4f1826cb1d784c56cb3116bf85154d548ef4a","datavalue":{"value":{"entity-type":"item","numeric-id":2063098,"id":"Q2063098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$5B01F13A-FE09-4AD3-8C32-452A92341E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1fa06990c14b68b91f6a9c81557de8c6aee44db","datavalue":{"value":{"entity-type":"item","numeric-id":4297249,"id":"Q4297249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$C08C65AC-5213-4AAB-99D0-0C3B46AB3A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3144c21aee027b0152949b00d613ce7fe7c8c7","datavalue":{"value":{"entity-type":"item","numeric-id":2849576,"id":"Q2849576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$0464E389-88C1-4A76-B9D3-0E415C1F132D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4826426b2742c844383fb1b87bc94f99ded80a4","datavalue":{"value":{"entity-type":"item","numeric-id":4990023,"id":"Q4990023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$E1B0BA4B-27A6-4AA4-829F-F6DE77402068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$09ACE588-0FA6-460C-A48A-E278204A13F5","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":"Q6165326$03A0A2EC-1625-482E-9A1F-50A3092877D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23119c51d362ed3008afda68f09b704644d8653","datavalue":{"value":{"entity-type":"item","numeric-id":443744,"id":"Q443744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$979C3CF4-CB65-43CC-BE5B-1EA6A9F1B427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af84d8f57fbbc47b7d72323e0cac88a0d444cb4","datavalue":{"value":{"entity-type":"item","numeric-id":2208612,"id":"Q2208612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$2C2BC2DB-ACE7-460C-BF6E-5D6E606C4D84","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":"Q6165326$97DAF076-8BAD-4A17-A412-0965CA987489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22e143b5a01e69a3a602c6c151920bb76f2ccf4","datavalue":{"value":{"entity-type":"item","numeric-id":2065174,"id":"Q2065174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$B3A535AD-46A2-4C18-84A0-DE8E83B7F812","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":"Q6165326$0608AB3A-53CF-4774-A3DD-365431DA303E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3031c908dae7d3a895030b4130733e36b8560d00","datavalue":{"value":{"entity-type":"item","numeric-id":2673762,"id":"Q2673762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$D453E20D-3279-4BEC-8974-27C770C2FDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d27f7a1ac7f976b2c2d91a5dd3d57785f279a5","datavalue":{"value":{"entity-type":"item","numeric-id":2407182,"id":"Q2407182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165326$A69F36E3-C130-4168-BF63-5E5256DF2A29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"179511b15d09341c0f9132b5f118fd0552d43348","datavalue":{"value":"10.1016/J.AUTOMATICA.2023.111153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165326$EF9A7AD3-C440-4827-A86D-EA97E82C154B","rank":"normal"}],"P1643":[{"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":"af80fb6024435ca34cd78cd2c6e090d8e5bbd2f3","datavalue":{"value":{"amount":"+0.9214725494384766","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":"Q6165326$7BBE2716-4112-414C-BF4A-9B6134D1A4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b536158042952156ec40ec579874650f780a4a","datavalue":{"value":{"entity-type":"item","numeric-id":2682301,"id":"Q2682301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19fc035ae186b1940e2d6ae5cb61c50c8a06da28","datavalue":{"value":{"amount":"+0.8922911286354065","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":"Q6165326$B668963E-E769-4452-9A81-F6016D3882A1","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":"367081b526f6533c5ce57795eef8bad90f46999d","datavalue":{"value":{"amount":"+0.8919916152954102","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":"Q6165326$C333C588-E803-422E-A5E1-C1DE107FC2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9bd0b8f467758ddf7b188c8c7819ae7323a3bc4","datavalue":{"value":{"entity-type":"item","numeric-id":1716666,"id":"Q1716666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8eb90a5f72a954aa486552416cfd1741494b3c","datavalue":{"value":{"amount":"+0.8877608776092529","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":"Q6165326$94CEF1D5-FEEA-4BB7-9954-A662CDCAB9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc2182a0889c8f861de74ee592aa8f7a309c90f","datavalue":{"value":{"entity-type":"item","numeric-id":2125506,"id":"Q2125506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2d75033ddfea6882694af9a4a764c11c63544d","datavalue":{"value":{"amount":"+0.8770301938056946","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":"Q6165326$7E4B05D9-B660-4FAC-8C5F-6201609E7181","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6165326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6165326"}}}}}