{"entities":{"Q990127":{"pageid":991975,"ns":120,"title":"Item:Q990127","lastrevid":65867313,"modified":"2026-04-12T05:55:10Z","type":"item","id":"Q990127","labels":{"en":{"language":"en","value":"Compiling and securing cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5778959"}},"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":"Q990127$12CD1988-95CD-4714-B2FA-21D311F92C48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e7acbc118131160950caed3546bae2d6846bc1c","datavalue":{"value":{"text":"Compiling and securing cryptographic protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q990127$14CF2BA5-FC2A-459C-BE2B-7581EC462CCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92d9a124a8649f70de2f7f60ca9d18145b5750e0","datavalue":{"value":"1209.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990127$B72F51F0-8203-4FE0-84B6-E998B6C2331A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3be771d01fbe526b5c76e8fa4a0f32fad7031aa","datavalue":{"value":{"entity-type":"item","numeric-id":437029,"id":"Q437029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$1CC5E95A-BB7C-4DD0-AD6C-F1BAC9F88723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$D3EE52C5-7377-4050-85CB-1EC8E5EF1846","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$448C50C4-6F69-411F-9CAE-5D7D4DBE93BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9c8db179f9c66121cffb2b883a8a32d7415ee58","datavalue":{"value":{"time":"+2010-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q990127$D2B2E631-6CF1-4C5C-8D2F-FC389218E7AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41ac6b57982e8f20d152ac8c4f16745c03160f38","datavalue":{"value":"https://arxiv.org/abs/0910.5099","type":"string"},"datatype":"url"},"type":"statement","id":"Q990127$99F0904C-A906-4E01-AC35-CFF6AD510C58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990127$18EACF59-3CDB-4C20-9F16-793A9639AAA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b876dbe60934d41a5a7235f711b9600e86326f1","datavalue":{"value":"5778959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990127$1456E169-0731-4A37-8771-07DAE34E2C0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q990127$8F214403-E916-4BD5-9991-9216A84ABADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q990127$CEE6445C-0B4E-4052-8DA8-EBD497F96B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feefff646df0211dd417593d6b00b78b2206f039","datavalue":{"value":"safety/security in digital systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q990127$96839892-1506-478C-B787-906E30C31349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d090b45cdb6ad815f8a6275cc1d771310b4cfdd7","datavalue":{"value":"protocol compiling","type":"string"},"datatype":"string"},"type":"statement","id":"Q990127$1309BF08-E5F0-4495-A303-C1589DE34033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7643333a12d8c83e8be0f28325a86eebe0c1638f","datavalue":{"value":"roles","type":"string"},"datatype":"string"},"type":"statement","id":"Q990127$3181D4F8-9D7C-4AAB-B3AC-C0F698522D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76114798f08da51443ed2b00a05ea3a67634a855","datavalue":{"value":"Dolev Yao model","type":"string"},"datatype":"string"},"type":"statement","id":"Q990127$E8D6B85C-32C9-442E-89CE-3FDDC9DBF253","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea93917e6a5dd3b24dcb498614b8cdda44d5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":15278,"id":"Q15278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$E9CDCE7C-8D8F-4B93-AD97-8668DA67744B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$2223A1FB-D839-47BB-9D11-415141D92A06","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":"Q990127$10D15866-40EF-424C-9351-3A550D5776DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47b3e21af96779b8adad1d81a6280d591c3be342","datavalue":{"value":"W2030265421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990127$853154E4-E72C-4EFE-8199-66DF59DE32BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$523D0F7F-DA2C-419E-84FD-529E4C905419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932aba30092f9fb9508892942d04273578315bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5432331,"id":"Q5432331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$F4EC61BB-88D8-43AC-9494-9D1409471D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a34c8aa545e7f9fb8eb6bef8482adc1308a8ed","datavalue":{"value":{"entity-type":"item","numeric-id":3525004,"id":"Q3525004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$34AF3B07-474F-4293-9AF9-5B86FCF0A318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c2adeed657e5d066494848492da920d3c0f772","datavalue":{"value":{"entity-type":"item","numeric-id":3636824,"id":"Q3636824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$9D1D648B-9F56-449E-9B82-2E1CB2007799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a006baf1520208419db070ead8cdf5de188e60c5","datavalue":{"value":{"entity-type":"item","numeric-id":860900,"id":"Q860900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$2782C18A-D58A-4B55-A004-3AABE9E09385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878fe154984b011925cae52ab7eecc92a4aefeb4","datavalue":{"value":{"entity-type":"item","numeric-id":5716815,"id":"Q5716815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$7BD4DF0C-FC57-4DC9-AC37-EA24DBC59FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071541525a03ecfa18975e7362b5f803c162dec3","datavalue":{"value":{"entity-type":"item","numeric-id":990127,"id":"Q990127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$DDBEABAA-04C3-4B46-A98B-D4F1DCAE3380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b6a15ea7bd47f8d587d7880f317f8dc8a225e8","datavalue":{"value":{"entity-type":"item","numeric-id":3498466,"id":"Q3498466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$62AC7077-2F27-47C1-AB8E-9EA9E7874B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbc703228a035d147d0db52ae748cbc53607ca0","datavalue":{"value":{"entity-type":"item","numeric-id":2767013,"id":"Q2767013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$DD6A8387-6B1C-41B3-ACC4-4722BA2571FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e416553c318577b40deaae419ea2dce4d22403b9","datavalue":{"value":{"entity-type":"item","numeric-id":3533965,"id":"Q3533965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$C6B9D88A-B6A9-45BE-9C8A-DEBA911C1CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990127$62169590-71C8-42D0-A75D-31721D31E78F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8292cb2d7b28e8c04e590c4c5d581b936a6fb963","datavalue":{"value":"10.1016/J.IPL.2009.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990127$E6877830-AEF0-4B3B-B81D-38A5CC24887F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178f0e9612362a7d6846057332ff78767b57026f","datavalue":{"value":{"entity-type":"item","numeric-id":2463562,"id":"Q2463562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125ef09c2a3d401b34a1c42fe6b55e2df57b4b5d","datavalue":{"value":{"amount":"+0.8538927435874939","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":"Q990127$C0A7EB1F-21E7-47F5-96E3-85E43D7390FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfdc8310f50cdf4af11a65441ac951c308ea5573","datavalue":{"value":{"entity-type":"item","numeric-id":5394801,"id":"Q5394801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497a1daa6287fb0ea2a9135fab9c4666f16fc1fb","datavalue":{"value":{"amount":"+0.8307440280914307","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":"Q990127$8EE23A1A-92CA-4016-B19E-725ED505A33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1633d60372e753fb20a4206d034fb146036b62f6","datavalue":{"value":{"entity-type":"item","numeric-id":2767013,"id":"Q2767013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe59589b9f18ba0e1354a0cfdfcb7ebc428179f","datavalue":{"value":{"amount":"+0.7839820384979248","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":"Q990127$6EA2376E-64A5-4044-ABE3-0CEC2FD672DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbb70c2764bc98f95bfb4eb3ca38221a3564a571","datavalue":{"value":{"entity-type":"item","numeric-id":3734302,"id":"Q3734302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21b3d098874fe7df6a6d4371e54f9efcb17084a","datavalue":{"value":{"amount":"+0.7457408308982849","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":"Q990127$0597BD69-BFD7-4E2B-AE17-D366603F9DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4df83a770e3e91624e4ae2d6d92f0d107a88fc","datavalue":{"value":{"entity-type":"item","numeric-id":2841213,"id":"Q2841213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2a060338e3a3478c40dc3ac89c2dcb09e30f36","datavalue":{"value":{"amount":"+0.7428545951843262","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":"Q990127$09E4D25B-31C8-45C3-B639-E8C3F8850058","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compiling and securing cryptographic protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compiling_and_securing_cryptographic_protocols"}}}}}