{"entities":{"Q1662539":{"pageid":1673280,"ns":120,"title":"Item:Q1662539","lastrevid":43266914,"modified":"2025-07-22T23:37:51Z","type":"item","id":"Q1662539","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 6920502"}},"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":"Q1662539$0ED2A471-A9C9-4D10-A042-2CC9B2A20EB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf03096aa451219893ac1f9a91b2f04eb57d6814","datavalue":{"value":{"text":"The complexity of diagnosability and opacity verification for Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1662539$2D50CA06-1D4D-42B0-A6E4-A9CB9F1B38E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19d9a510ed0b387469a8856f3769dc77ef49db1c","datavalue":{"value":"1393.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662539$7B9A56C8-F1ED-4736-8E89-5C64E25CF574","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5ab6e3829b9fe66a76aa7fdf14430301d1477ed","datavalue":{"value":"10.1007/978-3-319-57861-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662539$BB3A448E-B48B-42BE-88C5-C76AE34C7D88","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":"Q1662539$1F17C1BB-5AA8-4015-9BC3-A88254495ED0","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":"Q1662539$B38C0C55-BC23-46B0-8C03-F3B0375D81EF","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":"Q1662539$AE8B9AD2-4068-4A6F-9ED4-7E6F0FCAB8C3","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":"Q1662539$F559709B-D43F-4D89-BD04-4C06BD3C56F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"431a43c637c8a2264e4d8145aa5a3c26bfb96786","datavalue":{"value":{"time":"+2018-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1662539$FA1C4396-048C-42B4-A9DF-68FAEA66EBF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bb727abb3d3730689a8cf68182bfba90f069821","datavalue":{"value":"https://hal.inria.fr/hal-01484476v2/file/bhss-fi.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1662539$F7455073-1A06-4DDF-932B-ACD8D5CFF6B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662539$E051FA1F-5F12-4822-9AA4-409230252F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662539$DF83E9F2-764A-48CA-A1B7-C39BBB2D8E8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4a7681a8686089f0005887ba4dc68afa2d98a79","datavalue":{"value":"6920502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662539$FE6E4EDC-0C0B-4CEB-AFFC-D765766968FB","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":"Q1662539$1751EA62-C471-4CCB-8F78-21F5C0936643","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79f5be4969ca2c1e6e249adfa7f802bf73a9f08b","datavalue":{"value":"W2607928427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662539$1F2B5FCD-21F7-4D23-9987-C800D9FA75D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f564fc5eca29ae99c6b789f7ac80119a813617a7","datavalue":{"value":{"entity-type":"item","numeric-id":4686521,"id":"Q4686521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662539$DED6B428-83BD-4E90-AFC0-AF63DD0FFE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8f7b0c60e55df0832d09561170c7181ffa3e8c","datavalue":{"value":{"entity-type":"item","numeric-id":4566964,"id":"Q4566964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec00dd5db3d994732377573c4abdc500d60a9ed","datavalue":{"value":{"amount":"+0.9247812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662539$F16ED321-7AB2-4732-95AD-DB22C91E4134","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":"0c003999c836fd989189f9df705895e903ad0f25","datavalue":{"value":{"amount":"+0.92077684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662539$7E1B4380-920D-4514-9027-EE68E15F8DD8","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":"fb694a573b9f2f5547e5c194c35a7f3e704c5509","datavalue":{"value":{"amount":"+0.9123627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662539$566E99CC-668F-47EF-B6BF-007C39C4FBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17059a821b34bfbfc7d43ba1842ab8d24b566a56","datavalue":{"value":{"entity-type":"item","numeric-id":5353040,"id":"Q5353040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8055e2bcac6f057f92cc2095e7b946e5e8826606","datavalue":{"value":{"amount":"+0.9116868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662539$89879287-11D5-4600-93EE-5F0709198E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9471d4691357eeb21be1258885afffd02b602f5b","datavalue":{"value":{"entity-type":"item","numeric-id":4978877,"id":"Q4978877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c531850584f7ea46bb35e562323d59f9eccb659","datavalue":{"value":{"amount":"+0.8968327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662539$C8935EF8-0834-425A-BB86-C0E51A00D47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1db587ba0778aa092131f592fb3f243419cb6678","datavalue":{"value":{"entity-type":"item","numeric-id":4567184,"id":"Q4567184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af16d9a255654542f7b5b36ea3f705a79c3ec86f","datavalue":{"value":{"amount":"+0.89359003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662539$BE93A595-3106-4BB0-A877-078F75C9969B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d820e9953bc522a50330d55b7936b670c1a10f7a","datavalue":{"value":{"entity-type":"item","numeric-id":5223685,"id":"Q5223685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb32ed692fa67be7d424a55a7fabee09fdbad917","datavalue":{"value":{"amount":"+0.89174974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662539$A8A8695C-D22B-4CA7-8EFE-FAF164DEEC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3954e7eec5094ebc1a11472ae69427212bd222b8","datavalue":{"value":{"entity-type":"item","numeric-id":1784050,"id":"Q1784050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cbf96de8b39c0d27a292728ea0fe54db487c43b","datavalue":{"value":{"amount":"+0.8899231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1662539$5BDECD23-1142-46AF-87D4-2627BC410478","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1662539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1662539"}}}}}