{"entities":{"Q7294229":{"pageid":31179103,"ns":120,"title":"Item:Q7294229","lastrevid":104660122,"modified":"2026-09-11T14:00:00Z","type":"item","id":"Q7294229","labels":{"en":{"language":"en","value":"Noninterference analysis of bounded labeled Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8222052"}},"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":"Q7294229$BB670F69-6C0B-406D-B671-A3E4ED7BC326","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a461d66bc1cba7891d2befe515ae69b01cd2a23","datavalue":{"value":{"text":"Noninterference analysis of bounded labeled Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7294229$71458FF5-AF8C-4FD0-8419-42B564A5EB6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e66ae430807c9f67578ba769c95f54ad96ac1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4567183,"id":"Q4567183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294229$0AC1FE95-B31E-4641-BFAD-03E9A506F51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69c50fa40e1104d3de72f92949a4db154aeb932a","datavalue":{"value":{"entity-type":"item","numeric-id":318849,"id":"Q318849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294229$0DAD81DD-D640-4D0D-9E9B-8E88F67A4CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a73aea3cac411127bc16f3c4014ef4d74e255fba","datavalue":{"value":{"entity-type":"item","numeric-id":2252542,"id":"Q2252542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294229$C02AB8A9-5738-4FEA-82BE-419F77F1A787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fc5370a8818fa84f717507a73b61192a52990f","datavalue":{"value":{"entity-type":"item","numeric-id":322400,"id":"Q322400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294229$EE2E7968-6341-45A4-8047-71434F848A2C","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":"Q7294229$42632711-C67C-44BA-8046-CC2AC336A671","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7294229$8B895734-B66C-48EF-A156-B8EF036736BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f614d9ae8e4b1a238e73b7b4dbd96e71e8ffee09","datavalue":{"value":{"time":"+2026-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7294229$12EFC3E3-6DB4-45F4-AB24-D37553F19876","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5de7102ceb4ee3c1628678eb281f94a1145790a0","datavalue":{"value":"https://ieeexplore.ieee.org/document/11373391/","type":"string"},"datatype":"url"},"type":"statement","id":"Q7294229$31F6A0A0-02AD-4F99-961C-890F1D370904","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294229$FE6EFBDD-7E01-4DF9-A70A-F0ACC861D90B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39b17ea15e7e17b023d40fcb7230d7a83abe3690","datavalue":{"value":"8222052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7294229$1EB137E9-87B6-4662-AF1C-A26A3C1FCAA1","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":"Q7294229$14FD1A1B-1792-4398-9B5A-9F0417F8E4B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Noninterference analysis of bounded labeled Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Noninterference_analysis_of_bounded_labeled_Petri_nets"}}}}}