{"entities":{"Q2167720":{"pageid":2178463,"ns":120,"title":"Item:Q2167720","lastrevid":71457693,"modified":"2026-04-13T22:23:41Z","type":"item","id":"Q2167720","labels":{"en":{"language":"en","value":"Verifying constant-time implementations by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7575942"}},"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":"Q2167720$4D756842-B3B2-4C1A-8FAB-4F63329164C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5025878cc2625c3bde6850198e139a61e7f62d9d","datavalue":{"value":{"text":"Verifying constant-time implementations by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2167720$40E62914-E11F-4A1D-98B3-92CD3D77596D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0f6450db6b1fe2b547e31cd7b271dcc4921289a","datavalue":{"value":"1496.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167720$9937CAA2-0610-44CE-AC13-1D8DBFACEF76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5b0edb0b155de4ce313beb368b924ce8137abb0","datavalue":{"value":"10.1007/978-3-319-66402-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167720$C4A018CD-2349-466D-BD09-051994FF0220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f71649d5cd536e6a70ddc24feda92d797a4529b","datavalue":{"value":{"entity-type":"item","numeric-id":287366,"id":"Q287366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$1556C27B-B2FF-4807-9102-B4DAA5A915AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"322d1bbf43d96eabe74baa00ad17d618005c3800","datavalue":{"value":{"entity-type":"item","numeric-id":287368,"id":"Q287368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$B9866667-6E4D-4C77-9B30-2E6D1F2FE699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c72456099d4b5876a094e18736b854fab490d93d","datavalue":{"value":{"entity-type":"item","numeric-id":2167719,"id":"Q2167719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$D49ADECF-F2DB-4B98-88D6-4D1659802872","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1671f4d77625f9c3fb2d471bd3f2c3e84e79d65e","datavalue":{"value":{"time":"+2022-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2167720$EA4B39A5-1C25-4419-A88B-9C9F875C3D4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb643f35c5bed1712d020e8af0c79b5f2250105b","datavalue":{"value":"https://hal.inria.fr/hal-02025047/file/jcs19.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2167720$30C79E1B-6762-4F9B-BAF6-884216010FF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167720$F2B8643C-4F3B-4D98-BB04-08E14BD23345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167720$A5B95535-D9E8-4804-8EDD-7E6CE275CEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167720$B8E95436-2A0C-42BD-8420-922F72688C48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67c0d05ab8b87c0c002090503ec6eed093c37303","datavalue":{"value":"7575942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167720$3B461A4F-B689-4614-932C-8659E9D19590","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":"Q2167720$10EC09BD-2BA7-4E44-8A21-E797CC0702E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34756b19d5a659a8b12034d4b4addac50dc01648","datavalue":{"value":"W2745299473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167720$90D939C2-EC8A-4C82-A265-2A190F8EF895","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe1752c24eb59d5c30fa30ee75e9cd45423dee1","datavalue":{"value":{"entity-type":"item","numeric-id":5898945,"id":"Q5898945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$A016E3B4-AF28-41B6-8446-B9D29C23A0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46e85dd4fa46a1da23fbc12b96b2bb7fc7d7bcb","datavalue":{"value":{"entity-type":"item","numeric-id":2915120,"id":"Q2915120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$C1042DC8-659F-4D49-9931-461CF23251EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60281dd530af0fba1991633b3ba53b851020977e","datavalue":{"value":{"entity-type":"item","numeric-id":2985780,"id":"Q2985780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$46CBB338-C2DA-4CEC-801D-0757AE2C2B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1126c9ed5ffb1c53d52c6e4c61f6d05b39d31b7","datavalue":{"value":{"entity-type":"item","numeric-id":5428144,"id":"Q5428144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$153E3139-5ECD-4A8A-8DC5-BE67165C8373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$03703CC5-7311-4DE2-8E49-6371D5FA8438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002b8b0228c656d63cc771cafa4da2917ced7b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4085248,"id":"Q4085248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$6A8022EB-D28A-418D-AF4F-DF4969EC718E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"586fae6e49225b59a9454fd3e5d7bea4f9f2b19c","datavalue":{"value":{"entity-type":"item","numeric-id":5308687,"id":"Q5308687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$C3100B24-A469-4F63-AECA-7B73E00B8168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63cf2ce330aed26a5810a4c85886a9bbb0c7639a","datavalue":{"value":{"entity-type":"item","numeric-id":3452345,"id":"Q3452345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$84ADF941-DD44-4D35-96CC-62427EA7271B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$1D3C0AF8-3CE6-45FA-A742-75B144084F9D","rank":"normal"},{"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":"Q2167720$748AB04D-554F-4A3B-BBBC-2CAA132CBC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"190d82f2daa3951712e70a97b39c94d62c337d67","datavalue":{"value":{"entity-type":"item","numeric-id":4484891,"id":"Q4484891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$C5F8A210-8E73-4CB3-A2E5-FFF723A6B577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c4d40b22666ac31f4eb490193ee881d1816bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167720$97E89B22-F4EE-4A52-8288-E3673F8DDEEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1f5efeb99586fb90932565eecfab47551a74ef","datavalue":{"value":{"entity-type":"item","numeric-id":2228439,"id":"Q2228439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5084f8992e3ab6c1f03a2e229367ef8ebb1e4d","datavalue":{"value":{"amount":"+0.793939471244812","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":"Q2167720$53FD7BA2-70F6-4ED1-84F5-BE549A9C24BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ad4623184566566112ffab8b49d234ecf5e6b0","datavalue":{"value":{"entity-type":"item","numeric-id":5856419,"id":"Q5856419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc30cc96d2c0225b56eba1232874187a7d61b33","datavalue":{"value":{"amount":"+0.7857779860496521","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":"Q2167720$5D9CF274-AB19-4C32-98F1-C6AE5C3EF3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14f327a6498d5dc29fa547294ad5c9b297b12f0","datavalue":{"value":{"entity-type":"item","numeric-id":2417947,"id":"Q2417947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b1c4b25c8ee668aa25a99a6b79eff232d50ff0","datavalue":{"value":{"amount":"+0.7598055601119995","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":"Q2167720$0FC43548-CF90-436D-B082-1FB328310FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39da122e7589c97c8c6e6a39c2b85ac0062aaa23","datavalue":{"value":{"entity-type":"item","numeric-id":4639476,"id":"Q4639476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf013d526cce2835bbc071aea99ae02485118cb","datavalue":{"value":{"amount":"+0.7584498524665833","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":"Q2167720$D3A4E2A3-92C9-4225-9255-9DF527646803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"919ed8f5c42a6e22d8edf6f727d1ec105921531f","datavalue":{"value":{"entity-type":"item","numeric-id":4992514,"id":"Q4992514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0dba4c18b2825df4bb2e46da4a98f94651c7400","datavalue":{"value":{"amount":"+0.6848829984664917","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":"Q2167720$2A583987-F9F8-4BD8-88CD-C5A03978C3ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying constant-time implementations by abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_constant-time_implementations_by_abstract_interpretation"}}}}}