{"entities":{"Q3553917":{"pageid":5583821,"ns":120,"title":"Item:Q3553917","lastrevid":87364676,"modified":"2026-06-04T11:30:00Z","type":"item","id":"Q3553917","labels":{"en":{"language":"en","value":"A proof system for abstract non-interference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5696823"}},"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":"Q3553917$B57897DD-82F0-4CC1-A971-3D56C2FD7B10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d60234712fe33482d0d3a63aa34a6a276ff3478f","datavalue":{"value":{"text":"A Proof System for Abstract Non-interference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3553917$9140AB66-DA55-4C07-9DFF-7108FF1F18D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"923efe7170c462df8b2219c73f86e14acb6968d5","datavalue":{"value":"1200.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553917$42130FB5-E694-4134-B3F3-82D9777A14D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553917$C21D6A83-AF85-4165-8DEB-198793F49279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553917$8EDFB2D9-1B84-45B4-B7B8-C7BA53F1F1A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c94577583f3aba69a0209f76777f283262f5429","datavalue":{"value":{"time":"+2010-04-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":"Q3553917$265E2F64-472C-4B61-BD52-07366FDE78BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c16fdfdddeb1189824299db0b47de0fb4c2f03f5","datavalue":{"value":"https://semanticscholar.org/paper/a5aff6308b6e3c3aaf50e5c52b5d30896df4435c","type":"string"},"datatype":"url"},"type":"statement","id":"Q3553917$3C8DE277-9817-455A-88AD-2A2B6C206026","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553917$319588A6-FD18-4E07-9D6F-E3F3DB92EE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553917$C05AB8DA-C8CB-4065-BF63-6782C0FB9372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553917$49247B16-659A-4BFC-B912-A2F5B5A35DB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ea6c819aaca573b1d3b902df087d722e1ff2e72","datavalue":{"value":"5696823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553917$FACEED88-CFEA-43A6-B2C3-1D1EDC47155F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553917$7234DF4F-00DC-4965-8AB9-AEC99C7D8673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553917$1D1917D4-A80D-48A3-B7E8-A319728648B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553917$177B32C9-617B-4731-ABAF-1D734CC3C0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bdacfc00f070fa477355a17c5232246f664f3d","datavalue":{"value":"closure operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553917$6344AC21-8922-4A47-8BC8-140B562658FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553917$3C950CA6-2D25-46C5-AF83-200B6402CDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553917$D173A944-EA36-4F18-8420-CFDB1C294B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be48d36ca89925844640f3fb5a70629c939265d","datavalue":{"value":"logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553917$8E91AA8A-C670-4B9D-9F8E-F48C664AF643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553917$65F22187-0239-4D64-ADB6-D75540DC7753","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db82b670e038807e9df7f374ccb771a7b17d40f2","datavalue":{"value":"Q62046220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553917$AA1E23CB-05CD-4BB1-B7E6-8DCA2D1CD921","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":"Q3553917$A6EA790B-6F3E-4FE9-8153-0CEF62FFC382","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"599d99ac13cb71a93847dedcd6ad39060607075a","datavalue":{"value":"W2148350313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553917$6012A4C2-C87D-4117-A328-92F4502A3491","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bf5acfd40ba468c2dd9a1bcc71cc348a1e4b87b","datavalue":{"value":"10.1093/LOGCOM/EXP053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553917$52F904EC-9734-4493-929D-FAFCF7262F87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553917$52770630-D5AF-493F-81A7-1064A63BDA26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ceef99efb4f24cb192d0ef779a1f04780babd41","datavalue":{"value":{"entity-type":"item","numeric-id":5311263,"id":"Q5311263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f8e95f82e4fa930430f714419699547d105fd4","datavalue":{"value":{"amount":"+0.8851680755615234","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":"Q3553917$FFB9A7FF-3668-490D-BF94-1759AC448931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78211e0705ffe64b85409cb8e2f0ac3e274a403","datavalue":{"value":{"entity-type":"item","numeric-id":3452260,"id":"Q3452260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85222e86a553871b0c84c864cad1b44d7245d241","datavalue":{"value":{"amount":"+0.8246460556983948","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":"Q3553917$47976930-9831-4528-A045-54CFA8BA5612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181aaf2e075edd85fd284841b93c713e116af6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5704026,"id":"Q5704026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6093d0ad81091193c6c844bc1cfd57393c8be814","datavalue":{"value":{"amount":"+0.8073841333389282","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":"Q3553917$1FC60474-EE25-49F9-B9E2-39D9761A5B62","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":"8881fe17d92570d1ec0af498149c086d19518074","datavalue":{"value":{"amount":"+0.807015597820282","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":"Q3553917$1E602D23-4FB1-436B-BE45-4BAACEF1155B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508b3f50a1bc845a7286cb66a16d7d0f187e3555","datavalue":{"value":{"entity-type":"item","numeric-id":5348913,"id":"Q5348913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972065873c5f033a650ca3d867d0514f869fbbab","datavalue":{"value":{"amount":"+0.7999303936958313","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":"Q3553917$1182B78D-4A90-4CDA-AC2D-978151CCA181","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof system for abstract non-interference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_system_for_abstract_non-interference"}}}}}