{"entities":{"Q2125506":{"pageid":2136249,"ns":120,"title":"Item:Q2125506","lastrevid":78472616,"modified":"2026-05-06T11:40:39Z","type":"item","id":"Q2125506","labels":{"en":{"language":"en","value":"Verification of \\(K\\)-step and infinite-step opacity of bounded labeled Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7507284"}},"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":"Q2125506$B07312C0-25C9-4437-B3FC-7AD932F0E650","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b47b95eaf3fd451afa7a132ac920d758c1b8bb49","datavalue":{"value":{"text":"Verification of \\(K\\)-step and infinite-step opacity of bounded labeled Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2125506$8D99EE92-F969-48E1-A5C3-BE255F6ABB61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43d8d1b587aa239b5571993557426188a16d70bb","datavalue":{"value":"1485.93361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125506$1EAF98AE-B718-4FD9-B0C1-363FEB189FEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"590214d1199f9d7a391b3df6956ae7e3c3ab16ea","datavalue":{"value":{"entity-type":"item","numeric-id":255527,"id":"Q255527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125506$03F993E7-709C-4DB1-AA6C-81073B090A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"220621e10c323d31c5b0b0433fd4e7d436e0461a","datavalue":{"value":{"entity-type":"item","numeric-id":2023239,"id":"Q2023239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125506$972B86E1-BFEA-4769-947F-689E57351743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df19460f1c0c60639299e2b3cc257130afa31af5","datavalue":{"value":{"entity-type":"item","numeric-id":172785,"id":"Q172785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125506$8A04975C-0374-44BC-B477-FDAEADBA36E7","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":"Q2125506$DA3091EB-0277-44CA-846C-EE2398D3104C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c7187f69230ae92b03843a6b1c486efe943955d","datavalue":{"value":{"time":"+2022-04-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":"Q2125506$F357D9F3-C9E0-4256-899B-E70FA34C6724","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125506$1FB3C502-C6C8-4B73-8C7B-40AC99B222FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125506$122DF8DF-B3B1-4853-9C54-E49698914F55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"414a5e48854903e5159a9924f345a7036fabc496","datavalue":{"value":"7507284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125506$323D6C2E-AF5E-4464-88AB-2C57D04CA043","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2125506$9240A000-941A-4D76-8DE9-7701A9AF7DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2125506$BDDB4866-5ECE-4D3A-8A4A-3D52BE4ED25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec57d37c55cfea85b492e27ac5a6b1456589036a","datavalue":{"value":"\\(K\\)-step opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2125506$D6AF050C-AFFB-45A8-B590-34C51E5CB26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36364745b26d5ae6887b89aed71d796626fda5a","datavalue":{"value":"infinite-step opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2125506$7F7F874F-EAB2-4B8B-9B57-63BC33A50D3B","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":"Q2125506$24AF190E-EDF4-4F94-9D37-5793764A6ECD","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":"Q2125506$89FFE727-EF20-4D03-B819-A1E709EC6E00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13276a92e1738355412981d4d8fbfe5ae4b5aec3","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2022.110221","type":"string"},"datatype":"url"},"type":"statement","id":"Q2125506$E9648707-0C59-4FDD-8961-3392A01C1718","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb27268da7c5ca3cc205bb5421004eb78ba2bf10","datavalue":{"value":"W4220734997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125506$4319BC23-6AE4-4E6B-B664-56E74D1E29E6","rank":"normal"}],"P223":[{"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":"Q2125506$A2333FA9-9807-4EE0-B378-5C6DBF16D9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9120905a03bda6960222c2a7cf105f4db078bc02","datavalue":{"value":{"entity-type":"item","numeric-id":1797108,"id":"Q1797108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125506$4CB68C84-D64B-4985-A2FB-6D1BA5F12B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c6a9adbe1eabe8f415d3e8370080e3f460b006","datavalue":{"value":{"entity-type":"item","numeric-id":2489598,"id":"Q2489598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125506$1C016946-DDEE-469A-83AB-DF90B1AB6CD1","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":"Q2125506$152EA2DC-3CB3-4DBA-B3DF-95837DC84C2B","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":"Q2125506$097EBF4F-3C04-43EC-A1BE-B54765BCAC37","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":"Q2125506$4DFBCA36-0A82-4172-BC28-2B482C5EE6D5","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":"Q2125506$D7A71652-133E-40E2-B4C8-62CDA5D14E7F","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":"Q2125506$860EA30D-D923-427F-B0DD-5D913D016F54","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":"Q2125506$16DEA3AE-600E-4DBB-9FC9-7C9C99A0687C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6c60a8db890e7c3a7a734e05e3bdb8d266a91a1","datavalue":{"value":"10.1016/J.AUTOMATICA.2022.110221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125506$38BC2FAE-9A49-4513-A8A2-EC622E0B140E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e289603fdcdb672de71ccb9910ef379a27d422","datavalue":{"value":{"entity-type":"item","numeric-id":2081818,"id":"Q2081818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0cf432e97a05588ae6dd0be14f1f1b9ce186942","datavalue":{"value":{"amount":"+0.8917499780654907","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":"Q2125506$36C21007-5545-43B7-989F-9A2511B0A386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c7eb0340e60091bf1df4e56552fbb0307d3320","datavalue":{"value":{"entity-type":"item","numeric-id":1797108,"id":"Q1797108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fe98d4d3ebaff2144ebbe7171c5ce3f5c1578c","datavalue":{"value":{"amount":"+0.8850935697555542","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":"Q2125506$F595A3A2-CA5F-4647-AC6C-5CC4CAB5322C","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":"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":"Q2125506$F231DBA8-C427-44B5-A844-EF3F1462C6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050402089e980797f5b6e07a844817ec52646bae","datavalue":{"value":{"entity-type":"item","numeric-id":2407162,"id":"Q2407162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5131653972ebca145411e58007d8d60fd9d255","datavalue":{"value":{"amount":"+0.8754888772964478","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":"Q2125506$3E2F0209-8C60-4A37-B57D-8337A700BDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5affe1d60e5865b8157a69ba8da115434aebf2fd","datavalue":{"value":{"entity-type":"item","numeric-id":1987252,"id":"Q1987252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"870b60a44cfc849d48a9d6b5f2139c18657663fe","datavalue":{"value":{"amount":"+0.8646144866943359","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":"Q2125506$5C7EAF0F-5A4C-497F-8E0C-693E82A3F1E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of \\(K\\)-step and infinite-step opacity of bounded labeled Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_%5C(K%5C)-step_and_infinite-step_opacity_of_bounded_labeled_Petri_nets"}}}}}