{"entities":{"Q4686521":{"pageid":6716102,"ns":120,"title":"Item:Q4686521","lastrevid":53217341,"modified":"2026-01-24T11:59:29Z","type":"item","id":"Q4686521","labels":{"en":{"language":"en","value":"The complexity of diagnosability and opacity verification for Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946155"}},"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":"Q4686521$A82D8E25-4BB0-43BE-A813-F018F24DE7CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc92de3c5e65d5f54c39044f78209f9893c86d90","datavalue":{"value":{"text":"The Complexity of Diagnosability and Opacity Verification for Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4686521$10D05A11-A02B-4179-BCED-D4B0C52D71A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"853c968e0ebb33fcd2ddc26813158bd96055a6c5","datavalue":{"value":"1401.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4686521$F7791489-43C1-4654-97BF-D37A3E7D1334","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a82322b7922bb4631da478eb5c3eb350f066084b","datavalue":{"value":"10.3233/FI-2018-1706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4686521$B712D8BA-0479-4CBA-A4E5-F16EECCEBD13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0b2fb0d8d0ef4d3f60b9aaf6e6e940befe4cd6","datavalue":{"value":{"entity-type":"item","numeric-id":453511,"id":"Q453511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686521$3E3833F0-43B5-48F7-A1E9-FCAFBF348EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b91e01a9c6a200850df0b6fbd74c381fcb9720e","datavalue":{"value":{"entity-type":"item","numeric-id":314811,"id":"Q314811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686521$F74B4B6A-DF17-4F04-ADB2-CD1DA4A0ABA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686521$9AC3908E-2E61-4557-80AF-41EE790D578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42938a6743e1355728dbe4fe3c3ae295737cb5ef","datavalue":{"value":{"entity-type":"item","numeric-id":314814,"id":"Q314814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686521$5D16484A-1CD5-403C-8C49-6C1BD585D6ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686521$58BF10F0-B57D-4BDF-B490-C56636C25305","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18f7b6f0a3691379e3fad64a28fa4b629012c7d6","datavalue":{"value":{"time":"+2018-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4686521$E2851B11-478E-4E08-B991-64DEC9082A3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4686521$8BF3E84B-752D-44CF-B5CE-CA12F240BA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4686521$1E8FD6E5-EBCA-4432-A135-DCDC7057DD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4686521$F444A264-30F2-4394-B7BA-8F0D03A8D8E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8a517de4fe9a8fad7bd01d20599b73edef79d36","datavalue":{"value":"6946155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4686521$7D00B1E0-D76D-4E6B-BEB8-1527F29028BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77eeeb920fbe05254a6d43d30e4e88439b0ec974","datavalue":{"value":"diagnosability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4686521$2FC198A8-CBCE-4B64-B96D-723A0F2B2CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f759de0c511929363e14ae9f32dc5cdf97daa","datavalue":{"value":"opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4686521$F1428ACC-4914-44D5-A366-1E453C341694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4686521$3E5E5F53-E3CE-4A47-8BFD-1A26B7B28309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4686521$77AE6920-5150-4B0D-B9F0-F6042A49F201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4686521$F8201B6B-4EC8-47AA-A47C-70D4EE07AE0C","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":"Q4686521$56492D2A-8E3E-44B6-AE6F-46B9B61C9ACF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"631fb336710cf19328006e9db9a498e27a26e0b0","datavalue":{"value":"Q129584366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4686521$96220D44-5256-4119-84EB-814D4226D581","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1c954a91c5df56cec6d263c7af69799550c650","datavalue":{"value":{"entity-type":"item","numeric-id":1662539,"id":"Q1662539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016508397c64bd1d2bfd3057d5a8c0d1262d9f08","datavalue":{"value":{"amount":"+0.9984365105628968","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":"Q4686521$9EA015E4-C00E-4FA0-A5D3-28331F8A2F92","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":"3d083703760ae59cc4b4d82259bdab687907e147","datavalue":{"value":{"amount":"+0.8280057907104492","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":"Q4686521$0AB33CAD-9CEC-4ACF-8C28-DD6CB86B255B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d612e25b25d5b26dd0ad1c905f2b1609c45dea","datavalue":{"value":{"entity-type":"item","numeric-id":2665360,"id":"Q2665360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f762292989eaa62b191f9786e57c7dc1222927","datavalue":{"value":{"amount":"+0.8084678053855896","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":"Q4686521$60B785E0-9F04-4B44-83FA-904F45258293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6ab8031ccb0d515fa536972516a131666b903d","datavalue":{"value":{"entity-type":"item","numeric-id":5194928,"id":"Q5194928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da50a57501488770ea5a0c5926aad7e74f8b2c82","datavalue":{"value":{"amount":"+0.800754964351654","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":"Q4686521$18AF3FB8-34C6-470E-AF29-63C567A64E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4595ec6675cfbf139ae85c8e7899554383230a6c","datavalue":{"value":{"entity-type":"item","numeric-id":312654,"id":"Q312654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8175b09352db744fbbab00899895223f785b0e42","datavalue":{"value":{"amount":"+0.7958235740661621","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":"Q4686521$121E83C5-DEE5-4AB0-B84E-4ED1EBCB5FF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4686521","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4686521"}}}}}