{"entities":{"Q1749145":{"pageid":1759887,"ns":120,"title":"Item:Q1749145","lastrevid":69128697,"modified":"2026-04-13T04:58:01Z","type":"item","id":"Q1749145","labels":{"en":{"language":"en","value":"Specification and static enforcement of scheduler-independent noninterference in a middleweight Java"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868782"}},"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":"Q1749145$8358041A-1769-4CA5-9343-1CBA2978243F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d0356389bd8eb9120dad8adf49bc7e3359d6798","datavalue":{"value":{"text":"Specification and static enforcement of scheduler-independent noninterference in a middleweight Java","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749145$AC390705-5446-4A29-8085-AF58BA339069","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa6e978dc2f2a9d8bf8f22c7dc235a997653c705","datavalue":{"value":"1387.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749145$749DB289-BCF1-4C34-B4FA-C343A78AB5B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e8e5a14140404ccb6b49074faa39b9c293710b","datavalue":{"value":{"entity-type":"item","numeric-id":1749144,"id":"Q1749144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$3DBEF2AA-8FAD-48E7-ABBD-653D8B80BABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b449a928539201a55933f2e6d8daa7f9083f4ae4","datavalue":{"value":{"entity-type":"item","numeric-id":492913,"id":"Q492913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$DDC46E81-2539-42C2-A325-3158C1EC88A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$7DDE9FC8-719B-4988-B745-9ADCFE268064","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ea136133176b0e732e96c018d3bbea7a42c842e","datavalue":{"value":{"time":"+2018-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749145$DB3764A8-61A1-4369-AB6B-D347ED6AC845","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749145$1C6A81F4-47D8-449F-A91A-2D95C6623326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749145$76DB5252-9A96-4430-B628-0FFC138A083C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f3ee2143c2b743004ac9d92be84fe9be909e02d","datavalue":{"value":"6868782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749145$4A423ED0-8014-4922-B054-5199203732EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee73d44829c8f8f4ce597342eed81b6819247fa","datavalue":{"value":"covert channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749145$C88DAB8E-6ADF-43C6-A594-25D8A631E1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ad4cd67d75ce52fb13a755b0ed77a67aa1ad302","datavalue":{"value":"multithreaded object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749145$71EC7C11-D83B-4737-81F2-C1F72BE9E814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"addba573194531f08cd51959b2f8857024c4dab7","datavalue":{"value":"scheduler-independent noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749145$48A54134-4320-46AB-A30D-9BF8606A7B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2585ed044a853ec657784a1d358888c727aab780","datavalue":{"value":"security type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749145$A98A7D7B-508D-4817-BF19-54E04175CF69","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"06727156bdcdb8fa6ebece193f9bdf813b752de3","datavalue":{"value":{"entity-type":"item","numeric-id":36100,"id":"Q36100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$3D651FD9-CE5F-481B-B95C-7F2B1948E11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a42df60d0ac8641d6f0394f107458d5b389ae950","datavalue":{"value":{"entity-type":"item","numeric-id":36101,"id":"Q36101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$7F740674-F5C4-4C94-A1C5-FA4044226693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$BD067849-8198-4DE9-B2EC-0EBAD2762B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2499c212f9173f7802c7e2ae940591c803036f","datavalue":{"value":{"entity-type":"item","numeric-id":32413,"id":"Q32413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$DBCA7A48-7C6C-4499-B438-14F34ABE4D03","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":"Q1749145$612B0EDB-0496-4625-A6B0-FD44C1D2AC64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b31d2423aa865ba3c708a9ae205a7d74dbf753a","datavalue":{"value":"https://doi.org/10.1016/j.cl.2016.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749145$02B5931F-F490-4764-96EF-5B472F0A0A3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b14422fc4b65f9ddd27e167e100e2392443ce463","datavalue":{"value":"W2401336969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749145$6FBB98B6-0A1F-4615-91BE-70A1E6F400CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0dbcf0b939e6f2c5c1ce50532e662090299e78","datavalue":{"value":{"entity-type":"item","numeric-id":5178841,"id":"Q5178841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$58AAD5A3-9381-4D2F-BF48-2D47AD677EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2098d1c6d59362bcc59c67d035bce3d9e31f86","datavalue":{"value":{"entity-type":"item","numeric-id":4676153,"id":"Q4676153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$D9B2906F-DF5E-4558-B11F-FD9B5A8B9353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37608e38f742df134374e93f7c3d644330567f9","datavalue":{"value":{"entity-type":"item","numeric-id":5756494,"id":"Q5756494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$188D8B73-A61B-4D0A-BC70-D14C399A2B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab62db6a9e9da99496436db376bedcbe341a3c97","datavalue":{"value":{"entity-type":"item","numeric-id":4411973,"id":"Q4411973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$1F551A79-6803-4F3A-85C1-9D182611196C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc73c48f7609293ab626375a7f33817fc3298a6","datavalue":{"value":{"entity-type":"item","numeric-id":2848952,"id":"Q2848952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$B9EA993F-ACCC-4761-9869-8DB6FEB5A536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"575a9a19f4b9e65f0e456e125c6e6cb320c138c9","datavalue":{"value":{"entity-type":"item","numeric-id":1749145,"id":"Q1749145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$2C3C4DCC-F62E-478C-B800-F6EC8B00B52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6f65a97c1b0d6804e5e7a90e14e1f990f42e09","datavalue":{"value":{"entity-type":"item","numeric-id":1603688,"id":"Q1603688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$E82E5C3F-261C-4B78-95F3-E7404C921FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f30ded73a3152011cee6868abff9fc148291280","datavalue":{"value":{"entity-type":"item","numeric-id":5168895,"id":"Q5168895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749145$55D3B740-554E-46C7-924B-B209F7A8C2E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"533d9083e7fde8c6290ea47a955179837e4d8a22","datavalue":{"value":"10.1016/J.CL.2016.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749145$143ED388-5031-4D4E-B5E2-F93C76E0B3AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0c93eaa6e80b4e4962ba277c85014e8c7f52e0","datavalue":{"value":{"entity-type":"item","numeric-id":1603688,"id":"Q1603688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07811c01bcb3f9b1b3d92ababca733919315b480","datavalue":{"value":{"amount":"+0.84432364","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":"Q1749145$F8C256EF-2725-4663-80D6-1B0CA149F76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cc35bd2d98212ad51f2b7b8540e7369f1740bc","datavalue":{"value":{"entity-type":"item","numeric-id":5756494,"id":"Q5756494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b90a22e7c651a1fe8079017af77cb3343b0cbd9","datavalue":{"value":{"amount":"+0.84343976","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":"Q1749145$9B63D025-155D-4563-BBBB-F7D1461550EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6637a19f9cd014b3471ee8eb95bc7b837995c16a","datavalue":{"value":{"entity-type":"item","numeric-id":5400855,"id":"Q5400855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b90a22e7c651a1fe8079017af77cb3343b0cbd9","datavalue":{"value":{"amount":"+0.84343976","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":"Q1749145$76E68C20-B57F-40B1-BDC8-38EE178792D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88b49a54dd50e5c1b09656907ea0e3acf258dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4535032,"id":"Q4535032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9e7ca7e9fdec0b9c9542acde23e320a400d760","datavalue":{"value":{"amount":"+0.8358772","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":"Q1749145$3DC35E9A-23AE-4B7E-BBCE-BF7BBE271491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e990494d7be2b2f022e96b116b801db462a29fc","datavalue":{"value":{"entity-type":"item","numeric-id":2848952,"id":"Q2848952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76735ad3b5d8396283400fa5c3cb31c0e5388b99","datavalue":{"value":{"amount":"+0.83372104","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":"Q1749145$CF3B66AD-6EFC-4376-9FAC-60344273794A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification and static enforcement of scheduler-independent noninterference in a middleweight Java","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification_and_static_enforcement_of_scheduler-independent_noninterference_in_a_middleweight_Java"}}}}}