{"entities":{"Q6960906":{"pageid":21268641,"ns":120,"title":"Item:Q6960906","lastrevid":76099602,"modified":"2026-04-22T20:15:22Z","type":"item","id":"Q6960906","labels":{"en":{"language":"en","value":"Assessment of multilevel intransitive noninterference by nonblocking analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8062331"}},"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":"Q6960906$A7A584FD-380D-4345-958B-41B99F4A79E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59d184f32e1604b9acabbfb747ba12bc337f2c1c","datavalue":{"value":{"text":"Assessment of multilevel intransitive noninterference by nonblocking analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6960906$3CEACAB9-B440-4F18-B3EA-65C99D54AD7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3afb8c8f464eef3fe31d32efd9aa7ecd19fb6533","datavalue":{"value":"10.1109/TAC.2024.3484609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6960906$EECD6E65-955D-484D-A8A1-E92EA00DD0D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a98fd39329df3b04655d1a142cc487eb4cd7545f","datavalue":{"value":{"entity-type":"item","numeric-id":6193461,"id":"Q6193461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6960906$CC6A6D32-C115-44AB-A615-78EF7F614919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bda82031100e75a2283535343a5c1e0c9909468","datavalue":{"value":{"entity-type":"item","numeric-id":3646524,"id":"Q3646524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6960906$B2CDF641-21D9-4F16-AC45-1C16AF102BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2e50d2017280a6974fa09d48c5fbf5af370d498","datavalue":{"value":{"entity-type":"item","numeric-id":1716558,"id":"Q1716558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6960906$C3F6D0DA-236C-410B-846F-5762DFA5BE34","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":"Q6960906$C8B36D70-42AB-4690-B3EA-F6324A6E4D7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa8d539d1dddb3d1a003891346733ac2813f0087","datavalue":{"value":{"time":"+2025-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6960906$275FCF57-7ED3-4323-A70F-E7ECC23597A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6960906$A30E746B-EFFE-4ED6-B7AD-CAE52BB37BCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79ccfc65cf2cf591f5e5e86a10463504e4f84a38","datavalue":{"value":"8062331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6960906$2B6C25A9-9B4D-47CC-B583-3CF9105074A2","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":"Q6960906$5EE76524-306E-41D8-B790-FC3B08D127DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Assessment of multilevel intransitive noninterference by nonblocking analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Assessment_of_multilevel_intransitive_noninterference_by_nonblocking_analysis"}}}}}