{"entities":{"Q923889":{"pageid":925737,"ns":120,"title":"Item:Q923889","lastrevid":65412345,"modified":"2026-04-12T02:25:07Z","type":"item","id":"Q923889","labels":{"en":{"language":"en","value":"The shadow knows: refinement and security in sequential programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586773"}},"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":"Q923889$5B3368BE-2205-4D61-8AE3-D658713534B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7e8b1ea0c1321406ee5400aa3a38f8856ac1245","datavalue":{"value":{"text":"The shadow knows: refinement and security in sequential programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923889$5D785305-4A3F-404D-91F2-0219F94F054E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4f57e1f3edb51e7d98ea392d8a7b8682f7014e2","datavalue":{"value":"1178.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923889$A1E76D1A-C5AC-4563-99E2-5CA01011B1F7","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":"Q923889$694C00FE-5549-4D70-894A-AFFD57AACBA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923889$CAA5BF92-C16B-40F9-A889-E30FE4A5C309","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q923889$76D59936-9743-423C-905B-52DD94A8BB7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923889$CB9B4D06-91BD-4011-B558-AFFB853317BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923889$C216EFE9-E513-4AF6-B05A-6B3744371612","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"043a34e958f9607c2b9c8fee2eb6573d47baebb3","datavalue":{"value":"5586773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923889$761C6477-F529-496B-AC7B-AE405AEF72DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q923889$D94C6877-724E-44E6-8A34-F0F9A84652D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"366f0e17541ecf767d8284466aa93f9dd38e651c","datavalue":{"value":"privacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q923889$6DE50B4F-EA7A-4658-A1E7-565E3F288F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q923889$6D2F06E1-FD83-41DC-9281-4B03DF897B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q923889$309F416B-F7B8-4654-81F2-E2B5AC70EC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q923889$6C8F9CE2-3E4B-4CF4-97AB-3D22FF8D8192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2072ac50d117917e9672f0db3614f9749d72c621","datavalue":{"value":"logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q923889$FA0A7C03-8C04-4C53-AB30-B8782AE3BA8E","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":"Q923889$F9FFA587-B1BF-4956-9E26-268F03C221C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9538211419be9fbd3d13c66e1202583922c2f83d","datavalue":{"value":"https://doi.org/10.1016/j.scico.2007.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q923889$11A22E69-7C0E-484E-80D1-B0DD419F389A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a18c2ad9bd26e19b5afa65bec8ec228c6fafd6d8","datavalue":{"value":"W2019193016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923889$9BA7880C-47C3-459F-8C08-1430BA3B2ABE","rank":"normal"}],"P223":[{"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":"Q923889$1428E8C7-DEDF-49F1-AB2B-CD9E3FF33746","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":"Q923889$810981CA-ECE0-4FB9-B2CF-C7143D678B79","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":"Q923889$520B19A3-E9F2-4CDD-99AE-66AD3E1616BE","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":"Q923889$A42C70F9-6B56-4B3A-A1D3-C9DED7EFB4AB","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":"Q923889$50C18061-7952-4774-9568-5FE997972367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923889$C60F5A79-02C3-4037-8EE9-7F52CD89A299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923889$43CB64C4-22FB-49DF-A43B-5739F8461EAB","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":"Q923889$3B4EFD83-38AA-4BC7-81AA-A9A679F22926","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":"Q923889$D551F0FB-9203-436A-A83C-BA7694E678A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b718b3c28597e5e6f4f596a60845813367802e1","datavalue":{"value":{"entity-type":"item","numeric-id":1566911,"id":"Q1566911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923889$875CD20D-821F-4378-94CC-4D261EBE5FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccf005e0492f34cf4c0302cfe56dc8ebd41fbdf","datavalue":{"value":{"entity-type":"item","numeric-id":5936652,"id":"Q5936652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923889$1FDE593C-3ABD-4BB0-96CB-0B939033163B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d6cc6084a4dc3d6eb9546c2fe3b9fdd81597f1","datavalue":{"value":{"entity-type":"item","numeric-id":3079920,"id":"Q3079920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923889$D55AC977-249A-48D9-8791-F02BE0E66FB2","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":"Q923889$3C911024-CD65-4551-B401-A3CCCE16DA93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0ef39386787ff3f7a97d760addf9c69d600e59e","datavalue":{"value":"10.1016/J.SCICO.2007.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923889$DFBAF325-FA23-4CB1-B850-51DCC6297A34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b47fc9c2b0d54d18ce4bab74b20b49bdc035e81","datavalue":{"value":{"entity-type":"item","numeric-id":3618832,"id":"Q3618832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de2c2db9e939c7961485b89afeb926d57f62185","datavalue":{"value":{"amount":"+0.919651210308075","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":"Q923889$763B6983-9D2C-4BD9-8532-21203DA0A409","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":"e5e5bc35f28db279aa3be83ce0cea0d1dac65137","datavalue":{"value":{"amount":"+0.8336691856384277","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":"Q923889$01D53BD1-82A7-4115-BCCC-887383619948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b838fa4ccb40b272bee837ede2ee8aaffccfb1f1","datavalue":{"value":{"entity-type":"item","numeric-id":2764140,"id":"Q2764140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2233d6c8611ec1a5d5809864e3e08797257d65b","datavalue":{"value":{"amount":"+0.8129523396492004","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":"Q923889$0A4AE507-557C-4AB2-B9FF-302EB2D659A8","rank":"normal"},{"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":"d2233d6c8611ec1a5d5809864e3e08797257d65b","datavalue":{"value":{"amount":"+0.8129523396492004","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":"Q923889$38257170-5219-4359-899C-5A2505AFD7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcf7cf1d1e11e266b979ee5676f2f97e1288ddc","datavalue":{"value":{"entity-type":"item","numeric-id":3591420,"id":"Q3591420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2cf84d48428e694f502d1520f685a5670140d67","datavalue":{"value":{"amount":"+0.7810441255569458","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":"Q923889$5E637085-30BA-4EF0-8011-657BB469A886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The shadow knows: refinement and security in sequential programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_shadow_knows:_refinement_and_security_in_sequential_programs"}}}}}