{"entities":{"Q2407162":{"pageid":2417905,"ns":120,"title":"Item:Q2407162","lastrevid":52913255,"modified":"2026-01-23T19:20:20Z","type":"item","id":"Q2407162","labels":{"en":{"language":"en","value":"Decidability of opacity verification problems in labeled Petri net systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6782972"}},"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":"Q2407162$18E29CBD-38AB-4EF7-BB87-8CD426689370","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ee0e92eeffc304d827217c2c8a679edc9b8e2ef","datavalue":{"value":{"text":"Decidability of opacity verification problems in labeled Petri net systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2407162$E3F19550-5E81-4BD6-AE4D-38E13264787B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c121a707f7bd89aae43621702c1b3a5c9a9dff17","datavalue":{"value":"1370.93172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407162$718FAF02-54F6-4114-B3E0-8046CFD12614","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":"Q2407162$51352185-90DD-4D44-B990-295889B27BB9","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":"Q2407162$2DB212E9-F237-4748-8DBF-A56161B5B1BF","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":"Q2407162$C98B2F1B-5915-406F-AC01-FB4110201655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"479784e7540b067b28b0c036a665848976358bb5","datavalue":{"value":{"entity-type":"item","numeric-id":172784,"id":"Q172784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407162$6E881315-CA08-4BA3-8B3A-A87167163B9B","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":"Q2407162$172221CE-E689-4C5E-9C38-ABCA547BBC7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72265dfaac0bc8e24a1f91fd4a1bc20423d8c4c","datavalue":{"value":{"time":"+2017-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2407162$26E38505-DAE7-4BB7-87DB-E8AFFAD86E99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407162$F05CEA17-08FB-4BB4-BFF3-FF1676A0C2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407162$22C4DF22-01CC-45EE-97BA-C0BD2A960CAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"692a4f86d9efe102b9f3949cbf4960a9a3b93610","datavalue":{"value":"6782972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407162$BBDA87C6-C159-40C8-BBF7-F462D1A252D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407162$F2261EF9-9C3A-499B-B0DF-69772A8CB30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407162$96E590E5-728E-433D-B40E-46520FAC83CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f759de0c511929363e14ae9f32dc5cdf97daa","datavalue":{"value":"opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407162$A8AB2B33-BFA7-4700-807B-2B30D7ADF8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3400e4bac6bbc391bc740ec88c24476116b1969f","datavalue":{"value":"decidability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407162$4253AB33-2E32-429E-A412-3B8F2A90A7AC","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":"Q2407162$A9CF726A-AEB3-48DE-8AFD-211B0997A554","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c560e556b88af21b51d60b5d52318724fd1b0138","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2017.01.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2407162$06D0EE89-0CF5-40D3-9C50-BF5C45B3C637","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b866c11acb68c80970999f4973fe934da40cd1d1","datavalue":{"value":"W2603068814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407162$123BEF29-76FD-4134-A60E-F9F02DF421BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b7727a577909eb10a5fe8c5b0eba9248116daf","datavalue":{"value":{"entity-type":"item","numeric-id":2465424,"id":"Q2465424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407162$E096C76F-F0B5-4A93-B390-B16490F898C5","rank":"normal"},{"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":"Q2407162$744CE4AE-4102-4199-9979-8CF4A6DA1C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0667116075fbbce5ae792b2ea8e22750d9386d","datavalue":{"value":{"entity-type":"item","numeric-id":453510,"id":"Q453510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407162$DDD64A4D-B5C9-4659-9E19-D27063B5F05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca44b0a111807ea5cb89a634874b6cc657f7ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":4978803,"id":"Q4978803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407162$81341367-849C-4495-AFD9-B1CC66829E99","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":"Q2407162$0826566F-1DE2-4092-B759-0AD420BF8672","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":"Q2407162$DF787D10-5F65-458D-8A4D-B9C6A43BCA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407162$1514BA45-02FC-47B9-8219-50D5037A821F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde52beecc143da7aa90fe577e5577644f5a9b03","datavalue":{"value":{"entity-type":"item","numeric-id":3997018,"id":"Q3997018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407162$C4C3A07E-AEB7-431C-9920-47E91B0C03B1","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":"Q2407162$1DEE1AF3-51F6-4FA4-B4F0-852D1FDAE641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f01eb093d0192e1d6bd2faee670d315e35c4fc","datavalue":{"value":{"entity-type":"item","numeric-id":441162,"id":"Q441162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407162$210BC282-2BF6-470D-AEFA-5B950BE72E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4269a4b3e8b0feabe2402cfb15a510dbc999fe","datavalue":{"value":{"entity-type":"item","numeric-id":2980390,"id":"Q2980390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407162$3F67EF4F-4330-4C9B-885E-FA70749A11A7","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":"Q2407162$985331FE-D1E8-460C-9D35-A2A9D0FFE328","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":"Q2407162$C42D6C46-321B-457A-8322-A91BB5ADD67B","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":"Q2407162$3D91EA6E-B9AE-481E-9C0E-B8547798E26F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"177975628cca2040d7435ef26aa136a590de6e0a","datavalue":{"value":"10.1016/J.AUTOMATICA.2017.01.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407162$7089F1E5-4E15-46F7-A254-0D4B55797341","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc2182a0889c8f861de74ee592aa8f7a309c90f","datavalue":{"value":{"entity-type":"item","numeric-id":2125506,"id":"Q2125506"},"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":"Q2407162$46F4EDAE-B10B-44EB-A1E2-7B07D53E072F","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":"417323d94a8da6a6422037e93798f23f0a5508b5","datavalue":{"value":{"amount":"+0.8412850499153137","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":"Q2407162$4679FC4F-7787-4A16-AE4A-0ABA32913951","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":"0f778fb90802ccc09489ac0c2d648facfc0b5761","datavalue":{"value":{"amount":"+0.8377835750579834","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":"Q2407162$6F6CA1F4-B8A9-4BE2-91C9-E82082309E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e6ea5984eb84b9b3b20c96ab18507b080c3e54","datavalue":{"value":{"entity-type":"item","numeric-id":6160740,"id":"Q6160740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe89f8c486eed42716583e254ae5d0cbd464d072","datavalue":{"value":{"amount":"+0.8375252485275269","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":"Q2407162$CE549D2B-20D4-49BB-880D-63CF0D1ECBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1c30337bda8d083e3c0f7d27b99e14a2852769","datavalue":{"value":{"entity-type":"item","numeric-id":2849576,"id":"Q2849576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b992be03e31fbe11ff600b79536c05b9fac369","datavalue":{"value":{"amount":"+0.8366417288780212","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":"Q2407162$6561C34D-751B-49D0-B4DC-0E4DE6701652","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2407162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2407162"}}}}}