{"entities":{"Q2065174":{"pageid":2075916,"ns":120,"title":"Item:Q2065174","lastrevid":72581046,"modified":"2026-04-14T05:54:13Z","type":"item","id":"Q2065174","labels":{"en":{"language":"en","value":"Verification and enforcement of strong infinite- and \\(k\\)-step opacity using state recognizers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7453500"}},"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":"Q2065174$F63A1FAA-696B-4739-8B86-6566EA9BA315","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"789fe89ac8d697dda631329d9ddc5c438ab51abd","datavalue":{"value":{"text":"Verification and enforcement of strong infinite- and \\(k\\)-step opacity using state recognizers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2065174$DE875162-D617-4862-B367-FE796F191F6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b0c04787caf8c4c11220214863367cc75e1a347","datavalue":{"value":"1480.93270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065174$D93E5E85-1E83-4B80-80B4-0ADFB10EF927","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59dafef4f70d68098ae3bb4fb154946b5642dfd5","datavalue":{"value":{"entity-type":"item","numeric-id":340678,"id":"Q340678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065174$571027F3-B911-4CD1-9FAD-A8E6CC963837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae766f32955aa7d2690d09de2d7f9a1e0e586835","datavalue":{"value":{"entity-type":"item","numeric-id":286343,"id":"Q286343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065174$3420EBAC-A26F-4107-B70A-174D06CF3428","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":"Q2065174$9AFF81BD-FB70-4CB3-8161-6B8A0B1AFC66","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":"Q2065174$B49548D7-7358-4AD5-8AEC-577259F6C296","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf97b4a582e0f08e592b79a41ba7d2314675c053","datavalue":{"value":{"time":"+2022-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2065174$48F2EA15-7C6A-4441-B859-592B0A283707","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065174$13A25B9D-3F9F-46F9-A36B-5AA15FB6B6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065174$087B3456-73F6-40A4-A1AE-99CF8DB0BB51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8903a7264cbc11a946316e60992fd5841b7bc52c","datavalue":{"value":"7453500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065174$9C29B009-3700-4E2E-8F40-214761A56FB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd59b8d9f40734ce5500c0914b2d395cf8fa16fc","datavalue":{"value":"discrete event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065174$CB1A995E-6E92-4C2A-8CB9-831D4C1BE9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36364745b26d5ae6887b89aed71d796626fda5a","datavalue":{"value":"infinite-step opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065174$627A8047-D1DC-41AD-9E65-C19E7913D24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e63c720fa0aaf07cbbab219bc4fdb4f0468950b3","datavalue":{"value":"\\(k\\)-step opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065174$9CD57726-C314-480F-AC63-F1A13514AF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c98efc2b0d09980af54f29d4b92d82ebc6b59d1","datavalue":{"value":"state recognizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065174$321A1AFB-74F2-4590-BD5D-60DFBA924812","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":"Q2065174$87F07AC7-8C05-4E93-9560-B9ADAAD47D3A","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":"Q2065174$F402CE7C-CD5F-4548-BD95-5DA14D83D9F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2c9126044eca49423cb2b4eef7b0c064b26bb50","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2021.109838","type":"string"},"datatype":"url"},"type":"statement","id":"Q2065174$3E598F35-FB9D-41D0-8FE6-8809FA7833B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"179844231a52c08ebdb90dcd9cbcd5f1f161d9f6","datavalue":{"value":"W3194981700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065174$FABE8C95-A963-41B9-9BB4-FF243443E0C8","rank":"normal"}],"P223":[{"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":"Q2065174$A30AECCB-BE8D-48A2-BC29-F95AEB683D61","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":"Q2065174$81871FC5-2229-4E97-85B5-68BFB78B7940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39f8c05868195f9e3bade346d8838e7f7ce7d04","datavalue":{"value":{"entity-type":"item","numeric-id":2563760,"id":"Q2563760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065174$20D87FAD-8E19-470A-BD0F-A23D342884F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff7b29117460c493a08d4798c472f8ab75cabc1","datavalue":{"value":{"entity-type":"item","numeric-id":5853937,"id":"Q5853937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065174$57D90E77-1760-4768-BCB8-37CC40431D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d458eddaa9be9491466ac0805980a77bcd21afe3","datavalue":{"value":{"entity-type":"item","numeric-id":1797032,"id":"Q1797032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065174$1EBFA015-D157-4847-9BCD-BB37000F8646","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":"Q2065174$71610084-5E73-4C83-990F-8F748DE1D789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce516e396cd0b4703382dbfae2e459a5a4a11e9","datavalue":{"value":{"entity-type":"item","numeric-id":4978656,"id":"Q4978656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065174$394BEE3B-1192-4F4B-B7D0-5D3028CE68A3","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":"Q2065174$FA01712E-A163-4009-A53D-092E1117226B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55439dbcc2b9bb19a44ce720b8d50aa4bb6bff0d","datavalue":{"value":{"entity-type":"item","numeric-id":5282361,"id":"Q5282361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065174$BDB20357-0D56-4A7F-9972-73836473EAB9","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":"Q2065174$42AE4C11-0024-4B1B-89E3-E1FA02B8DE81","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":"Q2065174$3A9A2746-5A36-4C91-89F3-10C55720DFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dbc656402beaacddabba04ff5f22a1fff5e2bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5002129,"id":"Q5002129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065174$12AF64F7-62A2-48AD-8364-016EDF28B60E","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":"Q2065174$D1D4E8D3-196C-4DB0-928D-92A3290A1929","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":"Q2065174$BFE2250A-1984-4AAE-93B4-6FB6E925A01F","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":"Q2065174$72E3A641-0767-4AF7-A487-D88F6BCCBE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db5f1bac712aef32cec0ab6106e410fc182140f0","datavalue":{"value":{"entity-type":"item","numeric-id":458746,"id":"Q458746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065174$9F0B17D5-16BE-400E-ACD8-5A61661682B6","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":"Q2065174$BD21F652-AE8E-44C0-9516-AF61163AE918","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":"Q2065174$F5BBFBE1-F549-4BD9-8071-CE7CCF454391","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":"Q2065174$237D4F42-4EF4-47D8-86BD-2B66F5617EA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b554a844a13e3a0edf852f2c8490e78bd04109e6","datavalue":{"value":"10.1016/J.AUTOMATICA.2021.109838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065174$666BCF7D-9903-49C2-B13E-083287C79741","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":"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":"Q2065174$003E694B-BD93-4FDE-AE98-9A8B6B4BFC44","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":"471a361e01d5c0174fb6c1122514d868461e1da5","datavalue":{"value":{"amount":"+0.886759877204895","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":"Q2065174$1E9AC25E-C62A-4D89-8237-D49D68B1FEBE","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":"d85aa66b6d50d3d89b5e94c9600a39c425ddfb9e","datavalue":{"value":{"amount":"+0.8761106133460999","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":"Q2065174$40D89C4D-FB46-41AB-B271-755FDCDA6C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b6d58aadb20ffa626397f2cc5e3eac8c31ffef","datavalue":{"value":{"entity-type":"item","numeric-id":2407182,"id":"Q2407182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa62445872a405a4e7a58abe93fdec4ff900004","datavalue":{"value":{"amount":"+0.8637188673019409","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":"Q2065174$485EB813-6BE7-4929-9C92-5A0EFAEF5C0B","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":"91d13f98033e3b2e43ef800a59b05b975d509053","datavalue":{"value":{"amount":"+0.8559849858283997","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":"Q2065174$F70DF399-C26D-428B-81FC-0037D41CC925","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification and enforcement of strong infinite- and \\(k\\)-step opacity using state recognizers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_and_enforcement_of_strong_infinite-_and_%5C(k%5C)-step_opacity_using_state_recognizers"}}}}}