{"entities":{"Q6132488":{"pageid":13266795,"ns":120,"title":"Item:Q6132488","lastrevid":58705140,"modified":"2026-04-06T09:55:55Z","type":"item","id":"Q6132488","labels":{"en":{"language":"en","value":"Symbolic abstract heaps for polymorphic information-flow guard inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728615"}},"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":"Q6132488$7216F606-09B4-4924-868F-7D8AE6E69E6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b42a9a6dd90fd71e034242265f7273f635bb7b5d","datavalue":{"value":{"text":"Symbolic abstract heaps for polymorphic information-flow guard inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6132488$F48B24B0-380D-45F8-B8D8-99EE0433AFBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e41d99422dc4a06f658f44d45a122b671681cce8","datavalue":{"value":"1529.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132488$740BDC45-60D9-4EFE-BF4D-0856ADEA5D5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfbf58734742618d68ad979a84a9682245eb8572","datavalue":{"value":"10.1007/978-3-031-24950-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132488$B1DC011A-E720-42B8-88FE-FB745D0FE4F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e9b1dbcbead23ee1f1c04491a174244d645ef83","datavalue":{"value":{"entity-type":"item","numeric-id":5010271,"id":"Q5010271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$D60C5532-192C-4C23-91FC-7E54BF64D17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5ea7c97a3827d84e91218de8f7d911f30559b8","datavalue":{"value":{"entity-type":"item","numeric-id":282086,"id":"Q282086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$D2FCF52B-5A2B-44B0-80E3-09BFC53D0A69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$ECC12BB2-662E-4B22-B690-D19077803A8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6132488$04EDE765-1C0D-4647-9169-CB34EB9CEFB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b09f625e3d7a184a7ed49de764cb8ffcc7852bc0","datavalue":{"value":"https://arxiv.org/abs/2211.03450","type":"string"},"datatype":"url"},"type":"statement","id":"Q6132488$E7BE45F5-A36F-487C-B663-15F2AB99D12C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132488$B749F34F-FDF8-49C7-9EDB-7C429974B987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132488$ABEF60B5-363F-4247-B59F-ADEA8A8AE7C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0faeb164f2477a2935242651479bf5f90168c849","datavalue":{"value":"7728615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132488$701752E0-B14E-4FD0-9F77-183B9E3E709D","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":"Q6132488$22857521-4EF4-4481-A291-906BF9353817","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bf1469bf21c5b3857e260cfc45ca1675ca5b1ab","datavalue":{"value":"W4316662773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132488$486F4E86-EFED-4225-B875-B1228A1BB65A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6947c276ea0486d17b34d548d60077b5116d17","datavalue":{"value":{"entity-type":"item","numeric-id":5178916,"id":"Q5178916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$6F774DEE-A3E2-40F5-86E9-155BD050A8C1","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":"Q6132488$CFE9D2A7-79A7-4E98-BA8E-039086451978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$192F2BA2-BF4A-4E0B-B0AA-CA1B183FDA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635c32f054dbe1f1f21a3b02a893cd344b0e15de","datavalue":{"value":{"entity-type":"item","numeric-id":5897442,"id":"Q5897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$6EEEBBC2-53CB-4A97-9775-C6CA92BA8C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8582d8b579cdffe963a5813dee16f70d4650fe56","datavalue":{"value":{"entity-type":"item","numeric-id":1203126,"id":"Q1203126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$78DF69A7-5009-4886-861D-EB2648942C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1f1eb9c27a55d1816cdfd346942dc00242cc03","datavalue":{"value":{"entity-type":"item","numeric-id":4411972,"id":"Q4411972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$FA7F263C-2A9D-4F1E-BFE8-73326A8E36CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f8a8e4de435b8ee5d9a32f1300f43143475771","datavalue":{"value":{"entity-type":"item","numeric-id":3452260,"id":"Q3452260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$FE8FD867-3307-4385-B9B1-C82E0687D61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5013b6904bc278b3a6a5445513550126caea1d19","datavalue":{"value":{"entity-type":"item","numeric-id":3619469,"id":"Q3619469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$ACC81A95-1830-48B3-9430-94A424493766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$B3A478F6-0C6B-4F2A-9FA6-0B995F00252A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$A4207808-CE19-443E-839F-6F70F7EA0573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$FAE61C96-539A-42DB-9C3D-36AEA20B8B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216a174f9b94581ec80a6e29700e89650d5819b8","datavalue":{"value":{"entity-type":"item","numeric-id":5096757,"id":"Q5096757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$EB1248E5-285F-43B8-BE1A-47013E8634B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f74680b7893caf6d8d36f6689f73c5b166658e","datavalue":{"value":{"entity-type":"item","numeric-id":1245693,"id":"Q1245693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$16741A41-1A8C-4D02-B4C3-7B85BBBEACDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ed56ca71244e05aaac2bba4f51079d01410063","datavalue":{"value":{"entity-type":"item","numeric-id":5348916,"id":"Q5348916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132488$13561DC3-9717-4FC8-BEBF-1923F8CB4CE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d95c51f36d1f44c9bad491d240a820a180a275","datavalue":{"value":{"entity-type":"item","numeric-id":2796051,"id":"Q2796051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfb7cb673ca7294e6ffa0e3e1a1f271239a03a3","datavalue":{"value":{"amount":"+0.7228155732154846","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":"Q6132488$68AEE462-FA5C-4D51-9946-DF547FD27E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d3f117c55a56c63a0991b1888bdbcc8052d115","datavalue":{"value":{"entity-type":"item","numeric-id":3638994,"id":"Q3638994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f773472f44ad25dc54776ae02e1ff9e39dfe779","datavalue":{"value":{"amount":"+0.7182500958442688","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":"Q6132488$EFA33A0C-56B2-467A-B7F7-D516013476F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dadef89bf53d9a3f9aeb58005ed076173c336af","datavalue":{"value":{"entity-type":"item","numeric-id":5466580,"id":"Q5466580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083cd7bb042ae0b50bb0396a756aeae2b9526261","datavalue":{"value":{"amount":"+0.7100476026535034","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":"Q6132488$1E69C68C-DD79-4FE7-AFB3-6C3609AE67FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9c35c1fc0045b9c06a56265254a3ad1b15437b","datavalue":{"value":{"entity-type":"item","numeric-id":3400933,"id":"Q3400933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d7eb34f9d80ca7254e3341b6b034d86f60b5ea","datavalue":{"value":{"amount":"+0.709480881690979","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":"Q6132488$C4FB60CC-90B5-4F79-A70B-822A2A1CCB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302390c47dc9d5b7a6d35fbd977b9919b94b1668","datavalue":{"value":{"entity-type":"item","numeric-id":5711488,"id":"Q5711488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684bb1824c55abef268cb97de831584b354b51af","datavalue":{"value":{"amount":"+0.7028709053993225","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":"Q6132488$E8C69BA3-C1A6-435A-BB2D-07A7CC233439","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6132488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6132488"}}}}}