{"entities":{"Q6594952":{"pageid":14206109,"ns":120,"title":"Item:Q6594952","lastrevid":55738477,"modified":"2026-02-17T21:57:47Z","type":"item","id":"Q6594952","labels":{"en":{"language":"en","value":"Infinite- and \\(K\\)-step opacity verification of discrete-event systems under nondeterministic observations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7903297"}},"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":"Q6594952$40CB468D-BFB2-4D2A-97FD-ED8494EEE66B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9afa279b772e363034560efea1ee6c081c4885ad","datavalue":{"value":{"text":"Infinite- and \\(K\\)-step opacity verification of discrete-event systems under nondeterministic observations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6594952$A3A27E5F-28F3-475B-A493-B73D4A5760D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a02e0e7b32db93bad6284d306fc589bef41e05f","datavalue":{"value":"1544.93475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594952$73A68F60-17F3-4FFA-B5DC-2D3A1DB2122A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56b828778e6d5b3e23f3bcc07106aa827c48f339","datavalue":{"value":{"entity-type":"item","numeric-id":6580965,"id":"Q6580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$6865A24A-069B-4F4E-8491-A594A237DB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04f89bda558aa10db3dd9e2f0c0710e29deddabb","datavalue":{"value":{"entity-type":"item","numeric-id":415897,"id":"Q415897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$4E62C8E9-5B23-477A-95FD-6CAC20D8C82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5371a6eb8647448ddaf24ca622f9ca7ad80a8fbb","datavalue":{"value":{"entity-type":"item","numeric-id":1622232,"id":"Q1622232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$38A3E845-756C-4BDF-89B6-A22792C50392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3bc8c388d7a0fac63269c05e0b00f7133fe344","datavalue":{"value":{"entity-type":"item","numeric-id":340679,"id":"Q340679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$608406EF-A7E9-4411-ABC6-2AA0A2B984B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f41c4546bb0a3f4163fe9f1a336c8eae5c1ca372","datavalue":{"value":{"entity-type":"item","numeric-id":1622233,"id":"Q1622233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$BC4EB57A-8942-4529-8416-4DD88CE8C97F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b71eb180126bfc863b84d620c8d007ebc4f3c390","datavalue":{"value":{"entity-type":"item","numeric-id":199332,"id":"Q199332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$6BECE8B5-6078-42EC-922F-9253F4327700","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23ae4fe473a8a206d8424d79281bf861ccf12a8c","datavalue":{"value":{"time":"+2024-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6594952$B6C6CA7A-FCEB-4BAF-B2CE-DF5328E63D16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594952$EB6C20F1-B1D6-42F1-804F-F0813F25AFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"508f766b7e9c2eeaec5efc12a64dc8db1872dec8","datavalue":{"value":"93E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594952$4F627002-347B-42A2-AF83-EAE19C03ED03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a3e36380a651db8bbf05151bd9973a9c6c320ab","datavalue":{"value":"7903297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594952$BEBA6F1B-2386-4C84-9B06-AAAD9154F903","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6072d17ebbf40484207a1eb958e687e68b05a01","datavalue":{"value":"Boolean semi-tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594952$4B6FB554-3658-47C1-A414-BEE688837F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbeabd5dacdbef6dda50421c3d8237aa64f110b4","datavalue":{"value":"discrete-event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594952$2E593ACD-9337-4558-9C53-53D8B1D0323F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36364745b26d5ae6887b89aed71d796626fda5a","datavalue":{"value":"infinite-step opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594952$51E39688-9F88-4C77-A059-72F3C039978E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec57d37c55cfea85b492e27ac5a6b1456589036a","datavalue":{"value":"\\(K\\)-step opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594952$150971DD-1473-4BDF-8657-A01FA2B005E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e69cb1ad2000ec722f7ea324848ef6aee2d7e6","datavalue":{"value":"nondeterministic observation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594952$6415762B-A30A-4111-AA52-AD5BCF287D6F","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":"Q6594952$B3835362-BC84-4476-8B72-5CEF14F50E46","rank":"normal"}],"P223":[{"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":"Q6594952$A4D102F8-87E3-4594-BD3D-C8AB0A39F87A","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":"Q6594952$AB4818D9-91B4-4253-88DC-62C91A13AE24","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":"Q6594952$89D5C978-8C1F-4E65-A188-51BB73888629","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":"Q6594952$F3817451-DF9A-4101-AE39-4004C1F0A51E","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":"Q6594952$200FA611-6D32-49D7-BEFE-A93B12B5FA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7ddeaf818add1cefc3c16be9b6ac0be6ebe9a4","datavalue":{"value":{"entity-type":"item","numeric-id":6198145,"id":"Q6198145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$DF41B0E7-AF56-49F9-B689-434A88F03001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873f3e9effd3d23a59bd7888b2b1264b285091d1","datavalue":{"value":{"entity-type":"item","numeric-id":5211196,"id":"Q5211196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$9905B012-FA52-4188-A251-AEBF55EDB291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8e002b1a450a7ee4b243b8f68a3aa959d7fc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5125761,"id":"Q5125761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$C994DE0B-BAA1-4418-AB42-B4B518B749D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648f603f29d56d6ddf8c48467abe8ad4cb1ca7a9","datavalue":{"value":{"entity-type":"item","numeric-id":5125562,"id":"Q5125562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$16CD10AA-8B30-452F-BA9F-34BFEA766A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa15c6f9543da314697afb07848f28654733b7b","datavalue":{"value":{"entity-type":"item","numeric-id":2125498,"id":"Q2125498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$270B11CA-993B-4ED1-80D5-229C07FB16DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8a53da7781e669cf8902a06caefa80eed520b1","datavalue":{"value":{"entity-type":"item","numeric-id":5352631,"id":"Q5352631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$1A40E501-BC8B-45B2-82AD-FD0163AAD99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6069e614e6b1a08621ee8f5a45353a211641256e","datavalue":{"value":{"entity-type":"item","numeric-id":2125506,"id":"Q2125506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$35B3BE70-AE12-4DA8-99D4-34533A73F69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc1b5ced12e3048aeb084dde60a2c9995215306","datavalue":{"value":{"entity-type":"item","numeric-id":2053901,"id":"Q2053901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$F9371A2C-D692-4448-9833-24053C995826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e768ea9382c061d965cefca405ee07d376ea19ca","datavalue":{"value":{"entity-type":"item","numeric-id":5494916,"id":"Q5494916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$21B2E68D-2FA8-443D-A5E9-6CCE126B94C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241c4ecdd78cd9102368b9d2a95c1e908abf0cd2","datavalue":{"value":{"entity-type":"item","numeric-id":2980649,"id":"Q2980649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$BD96E25E-C28F-4665-9D05-C7F6A643B870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd13186ace3e42ae40508497b0d0d89edd24f27","datavalue":{"value":{"entity-type":"item","numeric-id":5352760,"id":"Q5352760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$8F03A1AA-8A02-4523-9D02-B1B287800553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5650378ebff8a409005bdce129dd287af1c94616","datavalue":{"value":{"entity-type":"item","numeric-id":5280443,"id":"Q5280443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$5BA460A1-B1A4-4948-9CAD-3A78607771FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3255ef813a69d4ebbb1668c962330c9ff754c54","datavalue":{"value":{"entity-type":"item","numeric-id":3224871,"id":"Q3224871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$7361DD0D-CDFA-4676-9970-BD35C597E3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d322b57f5b44fc52501ac0baa30fddb2e52d56","datavalue":{"value":{"entity-type":"item","numeric-id":2056383,"id":"Q2056383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$CCD3F923-0D04-44BB-BF09-D6BA07E1D779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2568853f957f5f492e6ff4225696bc5ee04fa180","datavalue":{"value":{"entity-type":"item","numeric-id":1621156,"id":"Q1621156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$66F32FCE-90F2-4E19-8A95-C758087B9119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b327026c6992dec7a2858712d37bdb07b74d4","datavalue":{"value":{"entity-type":"item","numeric-id":1729092,"id":"Q1729092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594952$12358441-B820-4785-91EE-83BBDEE92FE8","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":"Q6594952$3F4F183D-08F7-46D4-90B9-52C3DFA6B683","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":"Q6594952$2D1ADB98-DE90-4F8B-BD1E-CC5EB65073E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"689025485334278399befc9f45c2fb26f08fdd66","datavalue":{"value":"10.1007/S11424-023-2114-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594952$62DC2FC4-236E-49F4-B5BB-6B09E5C53FC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44737da2af584c1b0e0714b56a11266d85361a46","datavalue":{"value":{"entity-type":"item","numeric-id":6580966,"id":"Q6580966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a821796a7509709d04fbec3afc4a61bcd2aabfdc","datavalue":{"value":{"amount":"+0.9418032765388488","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":"Q6594952$54053B57-9391-4CF0-B8D5-A177292C622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb6998a1a94d821007407121d25a9be395767ff","datavalue":{"value":{"entity-type":"item","numeric-id":6135550,"id":"Q6135550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b8e3f459fae8339e18006a97813f3709125eba","datavalue":{"value":{"amount":"+0.8752861618995667","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":"Q6594952$54904E92-6297-4753-B902-B878970730AF","rank":"normal"},{"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":"5241983534e0aa122d12c42ff66332dfcf95ed4b","datavalue":{"value":{"amount":"+0.8623433709144592","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":"Q6594952$3507E9E4-2458-46BB-8FA7-50EEB287070E","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":"37ae632deae7be120cddd44b4419ba6fda1c1158","datavalue":{"value":{"amount":"+0.85515958070755","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":"Q6594952$A25D736F-B0D7-43E0-B32A-35DDBDD34664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4751c356638ffc38d8f7bf85b5d1cfb43b5c0367","datavalue":{"value":{"entity-type":"item","numeric-id":497279,"id":"Q497279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c72da4e4bbf43525f30d0f2a74f69b5119cf293","datavalue":{"value":{"amount":"+0.851966142654419","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":"Q6594952$0A094676-435A-4DC4-B661-841CDB0E4D9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6594952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6594952"}}}}}