{"entities":{"Q6486106":{"pageid":14064764,"ns":120,"title":"Item:Q6486106","lastrevid":47795683,"modified":"2026-01-02T17:27:54Z","type":"item","id":"Q6486106","labels":{"en":{"language":"en","value":"Optimization of ProVerif Programs for AKE Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7638563"}},"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":"Q6486106$73EC4C83-2F7A-4A98-B434-FC3C9773CBFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"114d982e025f945e67f77e10a40417e4a463e752","datavalue":{"value":{"text":"Optimization of ProVerif Programs for AKE Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6486106$531C4526-1EC5-4F46-9653-C97CC68957C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a404cc065f1f848fa9441fc65a838fd1af3af2a","datavalue":{"value":"1514.94137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486106$B6E8CB51-6B9F-4326-B016-9DE3A6D5C6D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc41aa11f6b8779be277007b584ade22c4e19343","datavalue":{"value":{"entity-type":"item","numeric-id":2064401,"id":"Q2064401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486106$7974C2BE-4F16-4B71-BAEC-3965C40ACA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd7cfe7512a062af042556b76fb5196d39aa050","datavalue":{"value":{"entity-type":"item","numeric-id":840068,"id":"Q840068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486106$CFEF706B-68A2-443D-88F1-12736CBCA4D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486106$FA0DA74A-649E-4710-8B0E-A0FE147D6B2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66522f081101ad6908ea306f633c717cb55b5bc6","datavalue":{"value":{"time":"+2023-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6486106$CC7B78B7-2311-4717-AF3D-DE8D125FA57B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486106$C45332FE-822B-4C2E-A76E-558E5DB431BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486106$AB1467F5-1447-4ECE-BAC9-2E8EDE2DC592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f707406699a8d3d12609e68845064e66cd031d5","datavalue":{"value":"7638563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486106$6FE3C083-9FC3-4ED5-A0AB-3A8EF9D4A00D","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":"Q6486106$5B78DCD4-6864-4491-B7AD-D8DA51185B2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36288dfc4cd77e5c67ede337d291fcb859bb93dc","datavalue":{"value":"10.1134/S0361768822080035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486106$B2F506B1-C2FE-4DD3-9D95-E1F6637CA04A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89aba3a89b2f31d26f78a527a53789b9e8929087","datavalue":{"value":{"entity-type":"item","numeric-id":2507460,"id":"Q2507460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca7264af75384f9292ec16da5b95baed4d13442","datavalue":{"value":{"amount":"+0.755837619304657","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":"Q6486106$2F485C5F-01D8-4AA6-8CA5-9228A113A921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8fecb10504c3b0395db0e3a6c731436ef91967","datavalue":{"value":{"entity-type":"item","numeric-id":2945705,"id":"Q2945705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bbf9ac0da9c2201d9daa2ef8583b636aa818a2b","datavalue":{"value":{"amount":"+0.7545493841171265","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":"Q6486106$130713B3-E7EF-44FC-BBA3-CC6442D3FA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d457209a09985489ab96bb24b4900cf97b9ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6685f4d7f75f01cab5e38e2cde600b99536095","datavalue":{"value":{"amount":"+0.7419410347938538","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":"Q6486106$53A2A224-F104-4FDB-B541-19A80E462FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac66808a3dd3163d6bac7d40284249429ec871","datavalue":{"value":{"entity-type":"item","numeric-id":4341785,"id":"Q4341785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6685f4d7f75f01cab5e38e2cde600b99536095","datavalue":{"value":{"amount":"+0.7419410347938538","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":"Q6486106$AC93F568-94C5-4D77-89D4-37A2EF770463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e1a80f18327ca9c104325e00b0e9c1ed5afdac","datavalue":{"value":{"entity-type":"item","numeric-id":3643130,"id":"Q3643130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a3f39f841f89cf2ae81c84d30d188ecabb8d07","datavalue":{"value":{"amount":"+0.7318965792655945","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":"Q6486106$4743B180-9F8E-40E9-A9D6-1617593CE69D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6486106","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6486106"}}}}}