{"entities":{"Q6535686":{"pageid":14146829,"ns":120,"title":"Item:Q6535686","lastrevid":95493782,"modified":"2026-06-05T09:09:19Z","type":"item","id":"Q6535686","labels":{"en":{"language":"en","value":"Automated verification of correctness for masked arithmetic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798102"}},"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":"Q6535686$9A177B86-4AAE-45F0-BE88-D8ACBD816AEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"504c2dc8189392f42079d0440536d3aed42e6871","datavalue":{"value":{"text":"Automated verification of correctness for masked arithmetic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535686$9E4D1ECB-10E9-4766-951C-88421DB020A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"316de7583b86e93f0a21e569b21f324b9d52c799","datavalue":{"value":"1547.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535686$F72751FE-D466-4EC6-98A8-16A45F712932","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31d2191d298073670a24e80d67611fa2eb5c9d66","datavalue":{"value":"10.1007/978-3-031-37709-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535686$25548FB1-F2DF-4968-8F57-C106BB090D83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50493291a41dd91e1ba3f254a8dea401f4e8d924","datavalue":{"value":{"entity-type":"item","numeric-id":2058067,"id":"Q2058067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$A22C7C22-8AF9-4AFB-AA16-F9E196DF2679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7827c426fd62b1155223da4c43f3f5ddccba9caa","datavalue":{"value":{"entity-type":"item","numeric-id":342710,"id":"Q342710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$BC54AFAA-32FB-49BC-9274-4504FEE474B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$639E6E73-A7B0-472C-BEEA-42352F330B39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535686$458EDABA-6B16-4CEA-A4DF-B713C1FE7E81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535686$C40995A4-2892-4A28-A8F8-E7C347FC1C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535686$CDE03AD6-8C60-439F-9FB5-642DCFA03099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535686$A213C46C-EA1A-47AC-9C26-B2B0A02C3A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535686$37D33280-653B-44B2-95EC-83ADE418FC8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2d4d955a3fb223b539275908ce79da13b61e437","datavalue":{"value":"7798102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535686$718BAD6B-CD1C-4762-8645-7B390C49B595","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":"Q6535686$F7D97AB2-2900-4507-AD52-0E0FE6C08591","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a526ec59c544e05de173e8c74ff59db47564fd","datavalue":{"value":{"entity-type":"item","numeric-id":5370885,"id":"Q5370885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$F19BBC35-AB97-4DC3-B9BA-4918080C8487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1abba2f96033c51e2fd8f286ccacd7389af602","datavalue":{"value":{"entity-type":"item","numeric-id":5738889,"id":"Q5738889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$3956D63F-3698-450F-B195-42E065E13A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d16eb2457f1ae3593ef05e516dcd31f598ca1d8","datavalue":{"value":{"entity-type":"item","numeric-id":5253588,"id":"Q5253588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$7AAB149F-1705-4827-AAF4-41C52BF11582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e3ad270ce0a651280814863fb02ffab2f0d0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2829213,"id":"Q2829213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$82D5B0E8-ECB3-4C1E-9814-77B851F32F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eea9752eb189e2b9cdc8f8ee8ef173f58ae26c9","datavalue":{"value":{"entity-type":"item","numeric-id":5739217,"id":"Q5739217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$2BDE3EB8-DB88-4563-A3DD-A02AC574E8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62de11b6d3518b977d4b43d02ae1d2efef2bac9","datavalue":{"value":{"entity-type":"item","numeric-id":1648840,"id":"Q1648840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$75D274F4-BCB2-44E2-9FAF-89323DD92427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c106161dd845d3d28aa411e2f729376cb2089e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3525066,"id":"Q3525066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$6827284D-34F0-41DA-B3CA-8FEC5539421D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4d5df30bde2099983c3bf5f07484cf1031c989","datavalue":{"value":{"entity-type":"item","numeric-id":3181652,"id":"Q3181652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$8CDBB71B-C138-4129-8B2F-24F2A951375A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99a1adf3dd399b44d88ce7bc03544e17c474c91","datavalue":{"value":{"entity-type":"item","numeric-id":4899715,"id":"Q4899715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$759ABD1A-C394-42A6-B69D-D0B13A79868F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77171e00e5e6215a1b2aa58f2fc3bbce232b96a","datavalue":{"value":{"entity-type":"item","numeric-id":3390006,"id":"Q3390006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$9FFB015B-E680-485D-BEDB-5A2DA3D3345A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5235f87830c9db38927149f6216e19fabb797be","datavalue":{"value":{"entity-type":"item","numeric-id":2946888,"id":"Q2946888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$044C651B-C1FD-4F5B-A74B-533A07804394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e01ba75f44d99ac03fed4a3a414e3d7034ad0ff9","datavalue":{"value":{"entity-type":"item","numeric-id":2760977,"id":"Q2760977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$6DB9DA8E-874E-4E2F-93FF-660D383392A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b07a442b323e57091fe3322bd2f75bd282689d7","datavalue":{"value":{"entity-type":"item","numeric-id":6091332,"id":"Q6091332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$1F4ABF45-B136-41FB-9A68-9EB7F65EEEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02b7ba0f730bcdd03f63708dc7300cde14852b7","datavalue":{"value":{"entity-type":"item","numeric-id":4502779,"id":"Q4502779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$9E05E635-61F2-49FB-9840-8C1DDCB16F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bd3415bf2d1a6cc712a836b3e19861463ba00d","datavalue":{"value":{"entity-type":"item","numeric-id":5114630,"id":"Q5114630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$2C78D5C6-E77C-44EE-B2AC-1333E41E051D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d32164554c0c83dbd2e5558081be667368f3c4c","datavalue":{"value":{"entity-type":"item","numeric-id":5428136,"id":"Q5428136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$63D91078-A009-4B47-92ED-C1920993F979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84be4528093ab67ac9950701228f83c05014f8a","datavalue":{"value":{"entity-type":"item","numeric-id":3172967,"id":"Q3172967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$07471079-8C29-4018-854C-2A15BE69BD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b19fd2de3ebc2495c64051e971423d984bb658","datavalue":{"value":{"entity-type":"item","numeric-id":4941869,"id":"Q4941869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$D03F286C-A550-453A-8768-D9CD308EFDAE","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":"Q6535686$817C102C-3FAD-45D2-BB33-31FA3DC02D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$2A66CB7A-FF64-47DB-8A40-D4740AA7622F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac30c585b3eca0009fc86a02535b9a25c0d03553","datavalue":{"value":{"entity-type":"item","numeric-id":5758130,"id":"Q5758130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$4DC6AFA3-3666-446E-B8FA-22803AC25BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$81CE8FDD-C69A-4A63-BC77-2C50C41C5056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8963c27a223020a3d0ab46c3570fab93816de414","datavalue":{"value":{"entity-type":"item","numeric-id":5009416,"id":"Q5009416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$8405FE52-6EBE-495F-92EA-1B46ECEBBB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1891d7ef062081e901a899e939474757563a338","datavalue":{"value":{"entity-type":"item","numeric-id":4974947,"id":"Q4974947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$5D223FC9-13B2-4E57-BF8D-04116CD25A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae1ec4ae127de832add942fd4365a16b7b9147c","datavalue":{"value":{"entity-type":"item","numeric-id":3457138,"id":"Q3457138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$0560FB31-872A-4E3F-8CCB-B62FA99111D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3539625c128e5c539269db0645bde958214ca15d","datavalue":{"value":{"entity-type":"item","numeric-id":3583477,"id":"Q3583477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$C3B643DA-08B3-4BA0-A267-9BFF4EBD45FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ee54ec11d06e8a5c8eab19f2efedb4f4c5160d","datavalue":{"value":{"entity-type":"item","numeric-id":3050283,"id":"Q3050283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$08F582C0-C1A6-4B7C-971A-22D8D98EF61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178142847c1ed656b48bd7a0cce4a0adc5dae1b2","datavalue":{"value":{"entity-type":"item","numeric-id":6039400,"id":"Q6039400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$96F47A89-9B8E-46E0-B94A-A0A80EF5C16F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd274be20400f8b6429960e88093a2b5659066c2","datavalue":{"value":{"entity-type":"item","numeric-id":6091332,"id":"Q6091332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1708c2d05e0a6a05ffad9ff64274765493bd24d3","datavalue":{"value":{"amount":"+0.840647280216217","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":"Q6535686$09448AD1-A97D-4970-994E-27186CC516F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d4c19a5a46923a7ac554115fc45590cc19470b","datavalue":{"value":{"entity-type":"item","numeric-id":2948340,"id":"Q2948340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0095bbf3f56ab4c5907034c2208a5b65dd6ebc5f","datavalue":{"value":{"amount":"+0.8304421901702881","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":"Q6535686$2FED7D7F-59E1-4CCC-A0A1-A3D60F764A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b1f5c676d8ec45b4889d66199918595b1f8322","datavalue":{"value":{"entity-type":"item","numeric-id":1656021,"id":"Q1656021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a285dfc25172b5039ba109d9dfce6538f58da4b","datavalue":{"value":{"amount":"+0.8253733515739441","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":"Q6535686$50A9CAF9-E897-4D89-8062-EC80DA0FE3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ab1a35a38e7a40f3813df887002e2462fd3c2c","datavalue":{"value":{"entity-type":"item","numeric-id":6535070,"id":"Q6535070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c22c0e06b5846e4baa0051be52d6519c11bc061c","datavalue":{"value":{"amount":"+0.8019319176673889","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":"Q6535686$CFFEADAD-11FE-4D9C-92B8-35533D9517D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80415209e7840dde5aa1bc0c59be872303c48f1","datavalue":{"value":{"entity-type":"item","numeric-id":2056733,"id":"Q2056733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c6811a76c28e1270dffff75cbe2aeb2ee0c107","datavalue":{"value":{"amount":"+0.7921679615974426","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":"Q6535686$771C507E-173E-4CE8-AE7B-9FDB3BFEB6C5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535686$CBF7454C-CA34-4BF3-B57C-CA79AC1F84CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated verification of correctness for masked arithmetic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_verification_of_correctness_for_masked_arithmetic_programs"}}}}}