{"entities":{"Q2343128":{"pageid":2353871,"ns":120,"title":"Item:Q2343128","lastrevid":52254089,"modified":"2026-01-21T06:40:55Z","type":"item","id":"Q2343128","labels":{"en":{"language":"en","value":"Formal security proofs with minimal fuss: implicit computational complexity at work"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6432703"}},"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":"Q2343128$500A92D3-5A44-40E3-8345-6F38C968B6C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"329c446e24b323f4ad7518433744e2d0f521fb4b","datavalue":{"value":{"text":"Formal security proofs with minimal fuss: implicit computational complexity at work","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2343128$842CF756-ABE5-4105-8BD7-C521D7F2FE0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b04d6ab374ed82123777601e6be9e353899fe447","datavalue":{"value":"1310.94164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343128$26D57706-F42E-407B-82AF-92107908859D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2308b37ac219e1ca1b213d17b783dd3af2b3080d","datavalue":{"value":{"entity-type":"item","numeric-id":351978,"id":"Q351978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$3DAAD2E3-78FF-42BB-9E61-BE062890006F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1278b7772ff04d9a7882941c345e2fa92d6375ea","datavalue":{"value":{"entity-type":"item","numeric-id":781248,"id":"Q781248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$DB9B773A-AC0F-4417-8DFF-D12790D9D42A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$48525D1C-48D9-4245-82DB-CB1645AD48E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3d99bc4b033c565fb0342435936dda6246db079","datavalue":{"value":{"time":"+2015-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2343128$C23F7355-31F0-44C8-9374-FE1DD347D3D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343128$5270026A-D12F-419D-93BF-1A3FFB837364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343128$B0EF217A-9318-4496-9BD7-97E058A27A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343128$8265765D-6A7C-4455-98BD-B67E22CEE96F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc6433a4f39b567ca0f21ac3df5ac2531740fdbf","datavalue":{"value":"6432703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343128$01337F97-560D-490E-9F66-CA8AAC66818A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343128$61D0F66E-164E-4210-9F82-6C452A96C3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95beff9e36104ba5317b1e75e309ef3e5a531ecf","datavalue":{"value":"safe recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343128$3445F02E-7D74-4692-9630-33EBCE89D017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214080879eb7024d2e09b1045af7950440b4363c","datavalue":{"value":"probabilistic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343128$AB7B137C-0338-49B4-8328-464593C8B874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54d97c9d74a7974164bd27bc3725f50a6bd71c8","datavalue":{"value":"cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343128$81CC60CD-37CA-4832-9993-3F0F3F98959B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"283bac993bf47442145b9484b933ffb47fe519e6","datavalue":{"value":"Q113872848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343128$271BF9CC-FFB8-44A4-AC1C-51925B9F2949","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b8bfcbbb8584ed9cd8fa8ae699d0634f4084a68","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$98FA1730-5E2D-405B-BE11-43CBB1B410DE","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":"Q2343128$AEB287D3-0047-4153-8691-12F55B71154D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d54807ee99733477f43b61f8a960f5ddd780cb0","datavalue":{"value":"https://doi.org/10.1016/j.ic.2014.10.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2343128$42D2B39D-142A-4D72-930F-9B132F84C0A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4165b372e9ff50959d88412c6dafb89721b52e35","datavalue":{"value":"W2011277321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343128$DF1B12E7-5254-43C3-9718-9C5E760C33E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57834eb7e7e8385d6f15c339dc4ff106e3db9f01","datavalue":{"value":{"entity-type":"item","numeric-id":436406,"id":"Q436406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$605CE63B-C35C-4372-8D39-73F3EA554E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f8bfaa468e637db4889a8ff43ea6b011ceb641","datavalue":{"value":{"entity-type":"item","numeric-id":5505567,"id":"Q5505567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$248DDAFC-C84C-4F12-97B3-087762CCD14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4c931786d4fc7c311f2d1f8f393efad02baa34","datavalue":{"value":{"entity-type":"item","numeric-id":5199185,"id":"Q5199185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$28762910-C5E0-41A3-896E-3C2DF594A77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5ad8860e2dfafdd492a4ade42b23f462631c32","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$D6668CDE-93E0-4524-B844-F85D3019B9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$B96B8262-E180-4B64-9C58-3F3F14FE8123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deff1d3d5e1b103ae88f86df1e2ee615c0f90bd1","datavalue":{"value":{"entity-type":"item","numeric-id":5756645,"id":"Q5756645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$887BEA97-5783-4EC3-BBF2-7BD96EE8B9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b729bbd6e61b662781ffb74f80a3e1dd1a8250d","datavalue":{"value":{"entity-type":"item","numeric-id":3738458,"id":"Q3738458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$AD1E39F9-23C4-407F-90EE-36EDC287414C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c852da765427416e8d66cddfdf3fd62bd55f2cf","datavalue":{"value":{"entity-type":"item","numeric-id":3840150,"id":"Q3840150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$D2F16032-29DF-4860-80F4-C4F7FCD82F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6901626c516c0325357ab5c726528c20fc7c4019","datavalue":{"value":{"entity-type":"item","numeric-id":3591439,"id":"Q3591439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$4A970968-1E04-4FBA-B958-7EEEE5CDE62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40651885e589ae16736b2ed26430168a8207418","datavalue":{"value":{"entity-type":"item","numeric-id":3875826,"id":"Q3875826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$61230F59-4FAC-45B6-97E7-13D47A91F939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4c2f534223ec34c41fed80e42cbca489663773","datavalue":{"value":{"entity-type":"item","numeric-id":3689092,"id":"Q3689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$AF97CBC4-9F08-402F-9517-F1DF0C5D3486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f99502c40ae215d703ebc8b47da560e094c7aa","datavalue":{"value":{"entity-type":"item","numeric-id":4328696,"id":"Q4328696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$5F7D1A4D-C669-41FC-B01B-75FC037CF6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b548fb76f8ef8a56f9223030f407f1a96f0c7ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1057832,"id":"Q1057832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$ABC09F14-0F42-4022-96F9-185439DCB8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5218fe3c5d8bc8e925aeccf63d1b856e717645c","datavalue":{"value":{"entity-type":"item","numeric-id":3088001,"id":"Q3088001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$E7D6A334-C053-424E-8E0E-95C71C556CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cbf1fc2616a90273e8d3db1d96fae28ad400e1","datavalue":{"value":{"entity-type":"item","numeric-id":4218937,"id":"Q4218937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$41117850-6AF2-460E-B359-B075C046289F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fffc5404ef5f22452974abc741a98522b92bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":1577481,"id":"Q1577481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$D4B41050-9CAD-46E6-A2DB-B5D618599458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59763b3fb25129051745803dae70f5cf79103f8","datavalue":{"value":{"entity-type":"item","numeric-id":4484343,"id":"Q4484343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$DC2A2FA4-CDCD-4117-B658-563859DBBFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2274b4a592bb83702fecba1e161643ae9d90f3e2","datavalue":{"value":{"entity-type":"item","numeric-id":2490263,"id":"Q2490263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$A3F5D414-CEDB-4D86-918A-99DC8AEF56D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c1aa602e2ab6867eb09c994970bc604aacfee","datavalue":{"value":{"entity-type":"item","numeric-id":4718481,"id":"Q4718481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$F4BA9E40-9ED9-4A10-9EDA-04093211A1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9bdd39754d44bf8e3eda07b5167dd592264d5c","datavalue":{"value":{"entity-type":"item","numeric-id":2368990,"id":"Q2368990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$DEDC49D7-707F-4276-B092-B289E501C69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$C1B127ED-20D4-492E-9810-7F1ED45338E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af45063f7cc24ead1909550a313683233aa6baed","datavalue":{"value":{"entity-type":"item","numeric-id":4933210,"id":"Q4933210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$C9CF3758-C532-4B29-B6E6-0417246A4F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c7c5e9586e81ad658f8fe2b1e3076c2f1ebbc","datavalue":{"value":{"entity-type":"item","numeric-id":5178903,"id":"Q5178903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$4603282F-C13F-4C2B-9C28-39343951D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53c44ae7f3abcd42f32a58244da590a379ba52fc","datavalue":{"value":{"entity-type":"item","numeric-id":3060197,"id":"Q3060197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343128$CEDA4A67-E7D6-48CD-B9A3-FED60D0958B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"893bf2206945001da268b49e24bed4c5be31240d","datavalue":{"value":"10.1016/J.IC.2014.10.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343128$478000AF-8CF9-4656-BEEE-A876996CC17F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92457848f5eda64701855e3059b6522d690df072","datavalue":{"value":{"entity-type":"item","numeric-id":4933210,"id":"Q4933210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe39cf1c0239adccd9e7a0675d38f500da69cc22","datavalue":{"value":{"amount":"+0.8324877023696899","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":"Q2343128$82EFA4FB-25E3-4EE1-ACAA-7994473C5B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a8a6b6293d00a8150e72946d86676e757310b4","datavalue":{"value":{"entity-type":"item","numeric-id":2331068,"id":"Q2331068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b33386cffb3579b7a60647d82da219a24f59fc1","datavalue":{"value":{"amount":"+0.7869601249694824","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":"Q2343128$91CB1994-97F4-4F08-A0AA-19977D45961B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b761caee58960ec56586840cd25038d303b30fe0","datavalue":{"value":{"entity-type":"item","numeric-id":3460055,"id":"Q3460055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d4dcc277c55f15034d3784bf5e06f9fedda231","datavalue":{"value":{"amount":"+0.7840569019317627","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":"Q2343128$824315EC-C3FD-4E94-A94F-80A6B9F203E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cadaf031c9fd85e583aad9ed7daf3b5d8afe4a5","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa53516c9bd470d43dc0e264900184c320f96b52","datavalue":{"value":{"amount":"+0.7609798312187195","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":"Q2343128$9A620ED0-58CB-4FA2-A142-A559BD9FC3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3fd574059b1fbf5aa99d2abc68db3d7d3fd4817","datavalue":{"value":{"entity-type":"item","numeric-id":5756645,"id":"Q5756645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1b517a24d8e018a5e2cfc1d65e3c984224eef8","datavalue":{"value":{"amount":"+0.7602430582046509","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":"Q2343128$BB4E132D-47D4-40E9-8A1F-4AAF5E86BE89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2343128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2343128"}}}}}