{"entities":{"Q432152":{"pageid":433919,"ns":120,"title":"Item:Q432152","lastrevid":61872468,"modified":"2026-04-11T02:14:04Z","type":"item","id":"Q432152","labels":{"en":{"language":"en","value":"Compositional noninterference from first principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052558"}},"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":"Q432152$F26A3C87-A8BE-470D-8980-02AFE912BB04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9846ce6c95d78d2869672c4104141c80a29b4fdb","datavalue":{"value":{"text":"Compositional noninterference from first principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q432152$C7B0AF8B-9B86-443C-ABCF-7D49B4521A57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afafa70e6671eb58f1da5e8a6ca5b53e69f48e6b","datavalue":{"value":"1242.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432152$7D3FDC81-7AFF-4DFE-AE87-63BC01B42C85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$F69733F1-B89F-4399-81D4-E2770404EF78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q432152$7F09A3ED-73CE-4CE7-ADA8-859F95EACA75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432152$C9E44951-D371-48A4-B555-8E30A3667450","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00313b58291a80ca2235ebd2e097dc56fb3051e4","datavalue":{"value":"6052558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432152$5D155D52-A42C-4CA8-85A7-AD1E03068E90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q432152$FA674B49-3315-4748-A94B-C06AD8E85D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q432152$CE3B895F-114F-44E8-A14A-00D60D584D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61870c981b19bcee212c9c2ebab0264994cbe384","datavalue":{"value":"noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q432152$98573D02-128F-484D-A1F2-E7DFACBA95D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae67e6f5100a0d672d9a3818e0b80a283292889f","datavalue":{"value":"refinement paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q432152$21BF56B3-EE19-4D55-9D26-F65E17FEACD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q432152$30EEF896-EF56-4362-8F23-0F27F97458C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf365319598a64c9d476ec4c014faad9a472166","datavalue":{"value":"testing semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q432152$71B76CBF-CD1E-49C8-9ABD-E45E206D32F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$8010248D-2E8B-4EC5-B69F-E057312BAC38","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":"Q432152$1462C1A8-B1DB-42F7-929E-8D946C7B150A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4baec1902fc03a47d226ba55a203f9c1e4044ad5","datavalue":{"value":"https://doi.org/10.1007/s00165-010-0167-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q432152$DA956647-2EAE-44DD-AF82-0B9EC9C252FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94b3ba3cbaa4ae9bb23fb413870254ce02a3846d","datavalue":{"value":"W2070005378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432152$A45C2471-0822-4C41-9CA0-E22B420B6534","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$4FA97A0C-10C1-4D79-86E8-0C57B1E28B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa100cc1bb57949a436b95c94fdab080cc1b19d4","datavalue":{"value":{"entity-type":"item","numeric-id":3591420,"id":"Q3591420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$271A37F8-761A-4AB3-A9A7-F60F6EC94AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$463AF022-E1B7-4750-8623-00C3AF7E3135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$0F7F6DCB-F0B8-4B8A-A36F-AF0661610D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$900F8C85-7DD4-46EB-B68C-7CFB29210AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3497625d6f2d461614cc9c9b81d227b6c8231334","datavalue":{"value":{"entity-type":"item","numeric-id":4003175,"id":"Q4003175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$87FDE07A-8A5E-4ACF-8756-1E3C62D7982C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$8AD47B5E-73C1-4657-95E9-1B20C3A355FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab27431165540664640d5aa634c6148768b5aab","datavalue":{"value":{"entity-type":"item","numeric-id":1356940,"id":"Q1356940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$3AF94CA1-A6D1-492B-9B5D-70CBB6FB5F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b762df6d7899899353ce32a9470e3db827ed0388","datavalue":{"value":{"entity-type":"item","numeric-id":3393399,"id":"Q3393399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$ADA07949-14F4-4D2D-AB34-5EFFABEC8622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$A3DCE4E7-11C8-46CE-B69C-723A6EDDFB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$003E7558-4B92-4085-8463-661C912FA5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$468137DC-C101-4031-8E2C-DDF2C0F65F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a16832655d058fb294cac06bffb86b23e4284b9","datavalue":{"value":{"entity-type":"item","numeric-id":3618832,"id":"Q3618832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$FF64C697-BDD3-48BB-80C2-D37E849655A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e305ee6576e17074b3fda6ca79abf67d53b10d7f","datavalue":{"value":{"entity-type":"item","numeric-id":2994493,"id":"Q2994493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$9F228F29-B958-4EAC-BB6A-68936F49F27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3632786669af8b0dc3e0bd7166aee3ee70e8ff","datavalue":{"value":{"entity-type":"item","numeric-id":923889,"id":"Q923889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$37CE5836-2F80-4CD1-ADE3-A198F7107E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$CEC311C5-ABD6-4572-BD5E-F1A82F7386D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432152$280D29A0-96BD-4A55-903B-250CD2C892FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1761e72dec91214b1846494326c23ea0c56d2153","datavalue":{"value":"10.1007/S00165-010-0167-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432152$8C902107-7941-49BE-B7FC-13709A5514AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49caa989d163da473846cc4155bf6f0af431a1bb","datavalue":{"value":{"entity-type":"item","numeric-id":2018754,"id":"Q2018754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443f8dadcef2f046f07ecebdb35ad801cf615494","datavalue":{"value":{"amount":"+0.7806025147438049","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":"Q432152$506749E6-22DE-4143-8FC9-DD769DDDF610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bad086e39b556a6cc89e2c9a19d295a22cde668","datavalue":{"value":{"entity-type":"item","numeric-id":923889,"id":"Q923889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2486b5bba12648a05eb750fb253834e671344e30","datavalue":{"value":{"amount":"+0.7724441885948181","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":"Q432152$38D28FFD-AA1F-431E-ABC1-C7EF295A9CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb66111a033d377c6aed5d6eccdd1f049c9b587","datavalue":{"value":{"entity-type":"item","numeric-id":3393399,"id":"Q3393399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6009c151c4da067ace68148dba2bfa79ca4ee4","datavalue":{"value":{"amount":"+0.7668709754943848","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":"Q432152$37C53D55-36BB-4E5C-8C71-50FF0C232437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab3aea98a4402c598b042c5c9e34732bbce3548","datavalue":{"value":{"entity-type":"item","numeric-id":2994493,"id":"Q2994493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7772fd6d47d243c0ddfaff8d2f93f5560a0a2b08","datavalue":{"value":{"amount":"+0.7664718627929688","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":"Q432152$28F9EB7D-8FFD-41FE-A9DC-01EB3A82EC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49713591421d542ac856c60647732701ed74a86","datavalue":{"value":{"entity-type":"item","numeric-id":4916055,"id":"Q4916055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e4a3d7700d04698d4509dc261897226987a22a","datavalue":{"value":{"amount":"+0.7627427577972412","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":"Q432152$06FBFACD-ABAB-47A0-930F-31617E0877C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional noninterference from first principles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_noninterference_from_first_principles"}}}}}