{"entities":{"Q5145625":{"pageid":7175196,"ns":120,"title":"Item:Q5145625","lastrevid":53912870,"modified":"2026-01-25T22:24:58Z","type":"item","id":"Q5145625","labels":{"en":{"language":"en","value":"Reconciling noninterference and gradual typing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299463"}},"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":"Q5145625$8C05B8D9-4B57-4D90-8E02-B4A72D0E2EBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8176f779a9e6240fce2b83d5b4c76c77c8f0d394","datavalue":{"value":{"text":"Reconciling noninterference and gradual typing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145625$CE11001E-825B-440B-B4FD-FC0E3CECE19F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8b84014e6d342cefe1a2d2dd19df85d73a0d21a","datavalue":{"value":"1506.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145625$D1BCE046-99C7-416D-9F8E-592237B518C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9badfdb22a60f6cb58d6e95aee3bcc1514e9c05","datavalue":{"value":"10.1145/3373718.3394778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145625$E08A231C-3B73-4DEA-8D44-E4BB4484F524","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76c309f0296102e228270101bd2e54322d0c8eca","datavalue":{"value":{"entity-type":"item","numeric-id":1744370,"id":"Q1744370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145625$93229423-5DCF-450D-9FFB-E6B3E56C3F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"784d04f720b1cfef5f595d8e4904bff00684885f","datavalue":{"value":{"entity-type":"item","numeric-id":2234098,"id":"Q2234098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145625$60EDE123-8A37-4AA7-9A2A-E1A77EE692B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f53bc214c4118e2226c58a4920027dbb2a4854e","datavalue":{"value":{"entity-type":"item","numeric-id":277713,"id":"Q277713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145625$B6B50107-F34D-4005-8851-439FBD57B97A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145625$8A1FC826-7F6B-4664-8B94-93880F5F791E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145625$F7389B0D-95B9-4C93-95D3-F32D7F4B4540","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145625$5B4B1F40-31FA-478B-9776-63A2A2EFD553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145625$52230A8C-92DA-4F26-9766-37D2F2F86AF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a625b089df45dc3e170f6246033b924a0017cbb3","datavalue":{"value":"7299463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145625$95B48502-6772-4424-B10C-094609E30BDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4e0bc5faffc67d703b6981d666bbf90aefb75a","datavalue":{"value":"gradual typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145625$311C38AF-7CE8-4113-92FD-DE3776AC41A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61870c981b19bcee212c9c2ebab0264994cbe384","datavalue":{"value":"noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145625$13107325-5356-49D1-BAB4-3A12BE402A72","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":"Q5145625$0D7FB822-8F86-4A6D-83A4-F4B42AF95AA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"457a6ec9700d875b1b7dd0c76796019287dbed74","datavalue":{"value":"https://doi.org/10.1145/3373718.3394778","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145625$424B8B8E-AFAE-4369-9EBD-0C0DE026FD01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61f4436a9836b20c35c712c41d295c3aa0ee2f8b","datavalue":{"value":"W3032336757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145625$C82DBA74-92D7-4FDC-A270-814021275593","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d562c7168370a90bfa8dfd3309d82801b7bf975f","datavalue":{"value":{"entity-type":"item","numeric-id":5019016,"id":"Q5019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3611b7a6105a594e8e5fa332104bb768dd7057","datavalue":{"value":{"amount":"+0.762399435043335","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":"Q5145625$338DF99F-AB15-4364-9B3D-87119C4718CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73981eb38eb59fd0b5c5dc5b0422ae0a725913b","datavalue":{"value":{"entity-type":"item","numeric-id":2828288,"id":"Q2828288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff16ec58c49e5d60f41474fcbf1352aeda6e0d7","datavalue":{"value":{"amount":"+0.7559041976928711","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":"Q5145625$2FFD6355-6B1F-4A91-B4E0-A1006B051891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129b5ea492b78f982bc5d0f15a8d1fffbb6813a1","datavalue":{"value":{"entity-type":"item","numeric-id":5370912,"id":"Q5370912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2d4a0026e39b28c54523a7d4a895c3c23f5c82","datavalue":{"value":{"amount":"+0.749890148639679","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":"Q5145625$D9B38BC0-8921-418F-BC36-982F4F5A2197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cffe7062c6bcfd0f6bfaa47f0513ff55c71362fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819815,"id":"Q2819815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26005f957ab58f46aaaf60f0ec5c8c2295d4e2f3","datavalue":{"value":{"amount":"+0.7497590780258179","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":"Q5145625$192E3367-8AD4-4592-B6E7-4D3C15C0255F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20c9b928d6a0fa37a8d52cffaf88dfb7a828984","datavalue":{"value":{"entity-type":"item","numeric-id":5410693,"id":"Q5410693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d713fe3e298d14f459398a4b0b6601f4d03f33","datavalue":{"value":{"amount":"+0.7441779971122742","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":"Q5145625$66EA4623-2ED6-4650-BB1D-1B1735C4F04B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145625","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145625"}}}}}