{"entities":{"Q437043":{"pageid":438810,"ns":120,"title":"Item:Q437043","lastrevid":61857441,"modified":"2026-04-11T02:08:01Z","type":"item","id":"Q437043","labels":{"en":{"language":"en","value":"Decidability and combination results for two notions of knowledge in security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6057744"}},"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":"Q437043$AA587612-AC3A-4794-AB10-07399C75DB52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2dfb8e69fae05d6c49d6cf66422f4bd763125e0","datavalue":{"value":{"text":"Decidability and combination results for two notions of knowledge in security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q437043$0A173608-8F06-47AD-8F99-CFB240A210AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6e6b7778a365d3bf95bce9fae4138e7b4c7d87d","datavalue":{"value":"1242.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437043$DB9726F2-C98E-407B-A3E5-52EF825A814B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$8930D908-6E68-4E3D-8B20-30A6CD4FE94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$20526CEA-E1B5-4289-A819-A5CCDC974A85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$3F386F61-E317-467B-A2A8-71160B721E81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84ece3a61d19e8a79724038a31d8c2f410ad0a43","datavalue":{"value":{"time":"+2012-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q437043$12018846-5B88-4128-A3B3-449C5D262C4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437043$A2DD5971-7777-40DE-9FD8-9BA183661781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437043$194A48FB-4EAD-499A-AAEA-1797291E9281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437043$A42DD96F-385E-4561-B143-3E1818B2B6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437043$530230B1-5DC3-4C04-A589-ED2AD4F78D2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"559dbb466a560c537b30f60ad3d15f5bb74ef642","datavalue":{"value":"6057744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437043$EF35EF30-21A3-4124-8944-B4A50BE3B060","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q437043$9F8D9E73-3C5C-425E-B9D7-13E6241C3258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q437043$ECBF5008-64EE-412C-85E0-0571EE893E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q437043$86393E39-A8FC-4537-9DE4-20C17AEF1E85","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":"Q437043$20AAC002-093E-410C-8BF6-B4A8A1CB9BA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc1de8183e0ed88d41cc3e582450f1507902e03c","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9208-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q437043$8F01C06D-E033-43DA-9AB9-8FAA6F144479","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ce32593777bc94424e5cc25c23774fb03e304ed","datavalue":{"value":"W2036714652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437043$E9C52C76-4ECA-46F1-BE8B-E798A30F73B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5248e1d096ce87474d9bd18b0fd8f9c460c7b6a3","datavalue":{"value":{"entity-type":"item","numeric-id":5899102,"id":"Q5899102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$FBDAA637-445F-45E6-95D8-D1B696B72E85","rank":"normal"},{"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":"Q437043$DE45716A-E372-4FF2-B4AD-4B1B55E1470F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$5106470F-BBD0-4A8B-A056-5F0F2531A59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b04fb532b079e38fd281de5d93c0ac94f6d64","datavalue":{"value":{"entity-type":"item","numeric-id":582071,"id":"Q582071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$5793AFD3-4553-41F5-9E35-7A9AFB3A06BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5350caf2a1c571bfb5eddddcbc9777cba40a148a","datavalue":{"value":{"entity-type":"item","numeric-id":3140014,"id":"Q3140014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$F0E7623D-1879-451C-8A99-41CFF47944F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298a25e3222cc80aaacaa2d4e5db311a67b52dc2","datavalue":{"value":{"entity-type":"item","numeric-id":1919702,"id":"Q1919702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$4E976C6A-A8C6-411B-9E8A-79BAD317EAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc97f546228c5c4ad050bfe934a2da9822d01f2","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$31472C30-B147-4372-99E0-8A80153DAEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526445adbe414975d3cb29a82228a65a4e48c914","datavalue":{"value":{"entity-type":"item","numeric-id":1127338,"id":"Q1127338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$0CF43BAF-B868-4CF5-AE2C-4E2A77366D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6403b873c0e02d3cdbc49e287eade35ee54e4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1400706,"id":"Q1400706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$325B7B41-C4BA-4A11-B9AB-043476BE27EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff40562f6ba4de9c0bd73f0c4895d734ceeea24","datavalue":{"value":{"entity-type":"item","numeric-id":5716816,"id":"Q5716816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$C6AF518F-96DD-4CCB-A28C-569F24A4EBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8815be8d7d5cd349532a95ef9c4572798782f172","datavalue":{"value":{"entity-type":"item","numeric-id":5191511,"id":"Q5191511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$9064F70A-17D6-4401-895C-E9185FDD7D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928528fce2a350e872c3b2f160a2368e4b5def6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$D86BC681-58D1-424D-A927-4B14BCB0DB27","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":"Q437043$D8A60800-4272-4675-97DB-B7DB0F2F7D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0d9218ce578dc15768cf068f7f8f932edf3f95","datavalue":{"value":{"entity-type":"item","numeric-id":3527287,"id":"Q3527287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$D88C94A9-9F9D-43F3-BBE4-A29FB2344432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3f49524649e20f43a97ecdb5d69e5cf5555990","datavalue":{"value":{"entity-type":"item","numeric-id":2482450,"id":"Q2482450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$CCEFC302-5559-4261-99FE-143010683248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfc45b3fe69d2bcec54b6996179f5f6605cab37","datavalue":{"value":{"entity-type":"item","numeric-id":1061849,"id":"Q1061849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$1198FF29-6869-4556-A39C-B03654E866D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4654966811e7c3e2be77b22c29c73834fc1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":5305643,"id":"Q5305643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$10DA0CBA-7E64-4D7C-90C4-A8A0FFD09E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9040a8fcdcbb5c6cec79c451e1486fff7f050501","datavalue":{"value":{"entity-type":"item","numeric-id":1045939,"id":"Q1045939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$2C75A116-2907-492B-BDA2-DFEA2059D67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4478401f47f86a8e59318518de26bb2d0ec75fd2","datavalue":{"value":{"entity-type":"item","numeric-id":2482449,"id":"Q2482449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$2B27B56A-A67E-4231-AB92-5EB9E0895044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$15C47C7A-297F-486A-B5EB-7B44C598D265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f619adea6db0ab75b9bc69654a89af3583c163f","datavalue":{"value":{"entity-type":"item","numeric-id":5316564,"id":"Q5316564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$06DB5913-AF04-41D1-BB06-0FBD5A850D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc3dc957309bb9042121e42e12f8ed44caf1ebd","datavalue":{"value":{"entity-type":"item","numeric-id":5703858,"id":"Q5703858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$7B47D254-4983-4FAC-AE98-96DE522A90EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0d0fd1ed6a0d6d1cbf76c02409bd15ce7ae548","datavalue":{"value":{"entity-type":"item","numeric-id":876047,"id":"Q876047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$1948B6B1-286D-455C-8670-B2EAE6969A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$C764662C-EC8A-442C-9DB2-00AFADB3C706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25c898898b618a08f301331a46c4d1e466a4aef","datavalue":{"value":{"entity-type":"item","numeric-id":582270,"id":"Q582270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$711F9995-D198-46E5-BBC9-986A2D2758AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437043$1BA40DDE-5879-42F6-B57E-9D6D063197BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57d430e16cf6839141ac116737d0dd46022ae8c7","datavalue":{"value":"10.1007/S10817-010-9208-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437043$ED15A54F-DF9B-43CD-924D-28B25344506A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe93db08f64d70904f18a6d3c252b4f2aec1ee47","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cd72096df7bdfd99d0894e5b0c8033639dacc2","datavalue":{"value":{"amount":"+0.925954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q437043$CCE09EFF-5510-4649-904F-ADAB616BE904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa782b0f5958fb11c8487e88a81ca0fcc268f2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5466517,"id":"Q5466517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cd72096df7bdfd99d0894e5b0c8033639dacc2","datavalue":{"value":{"amount":"+0.925954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q437043$146AF2CB-7B5D-4BB8-AE23-DE5922990D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e199b210f80dc7c0e04241d642f448c1479d43dc","datavalue":{"value":{"entity-type":"item","numeric-id":3525004,"id":"Q3525004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a2f6dfa5ccca01a8f2e53c6576b42fd20bb926","datavalue":{"value":{"amount":"+0.91228646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q437043$6ADD4670-054B-4178-A0C8-B0F2BA8A6EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb97bfc5a220e11cc1abb671a5654cdcadc1ee1e","datavalue":{"value":{"entity-type":"item","numeric-id":3498466,"id":"Q3498466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e9ce07a03e34c84553051c148d0de108c07a2d","datavalue":{"value":{"amount":"+0.90520704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q437043$BE8ED565-9FB5-42D4-8692-19E1B8C14E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c97396b8ee5763471e6e66d2869b77e520812ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031426,"id":"Q2031426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86553f1ec31357f076a79c6f5eb7f99c971dac85","datavalue":{"value":{"amount":"+0.89971036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q437043$87AC3BEE-5D4A-4A65-8683-B5F2761501F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1319aef5878f3f60e1fd68a58bad449acf6493e","datavalue":{"value":{"entity-type":"item","numeric-id":437033,"id":"Q437033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42da294d3583158a42130bb5b798729d77202846","datavalue":{"value":{"amount":"+0.892435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q437043$CF9E0A1E-26D1-46F5-9784-53C31DF60303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e21e7af7804b7fb462f9ecd0c0c55ddd08c303","datavalue":{"value":{"entity-type":"item","numeric-id":5191113,"id":"Q5191113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42da294d3583158a42130bb5b798729d77202846","datavalue":{"value":{"amount":"+0.892435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q437043$A0B52466-3E7A-425B-828E-C1E448CE06F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3820eb683b7d8e7c6954e28adf38126b0938204f","datavalue":{"value":{"entity-type":"item","numeric-id":5261302,"id":"Q5261302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb643e10b168d9e9796aa4286f151df242ffb913","datavalue":{"value":{"amount":"+0.8921169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q437043$14D2AFDD-A6B9-4EF1-B439-0CA8D8C2A51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a395f18c09021c11bf1b7310608b4e7a6c55076f","datavalue":{"value":{"entity-type":"item","numeric-id":2037996,"id":"Q2037996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1851cfb9f73e833d161fd71cc6d54204d6e7c4b5","datavalue":{"value":{"amount":"+0.8853917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q437043$9AC9AB1E-F675-4AB0-A133-ACF6A08DD8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c796f287c2e98e236feb5c9b52513459838f76c","datavalue":{"value":{"entity-type":"item","numeric-id":3095038,"id":"Q3095038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5f4d1d3cdc01e1b908dbe68ef3e28e3bbc9bb5","datavalue":{"value":{"amount":"+0.8793295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q437043$2C64E312-87AF-4ABB-835D-D90C217FE7A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability and combination results for two notions of knowledge in security protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_and_combination_results_for_two_notions_of_knowledge_in_security_protocols"}}}}}