{"entities":{"Q118190415":{"pageid":112713330,"ns":0,"title":"Q118190415","lastrevid":2231965014,"modified":"2024-08-20T06:40:19Z","type":"item","id":"Q118190415","labels":{"en":{"language":"en","value":"Protocol analysis in Maude-NPA using unification modulo homomorphic encryption"}},"descriptions":{"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2011"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0443 2011"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"a34a467b4ddf50d10703ac22e670b419838bb724","datavalue":{"value":"10.1145/2003476.2003488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q118190415$91D39B39-0D85-48B1-8BC3-CE790D19F81F","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q118190415$69D8206F-D397-4530-8151-9AAC575F3946","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"da34acdcdf2f61a6f1ae5d44ea4b25ed8cebd6e4","datavalue":{"value":{"text":"Protocol analysis in Maude-NPA using unification modulo homomorphic encryption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q118190415$B699E835-43E4-414D-AEEE-45D7F47646E8","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"baff931fb8186f6f57f54767e32d9b42093c32bd","datavalue":{"value":{"time":"+2011-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q118190415$F71CDC28-8BFD-4406-AC27-F6684F2AEC54","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"256917221d6d48b14abd0fc0104f26831bb679f9","datavalue":{"value":"Deepak Kapur","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q118190415$FAF1EEE4-4ADA-4B60-BAFF-5F45FF4AB8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"b419a9bdcb2987fe5f525bb637fa6b3d2c68b48a","datavalue":{"value":"Catherine Meadows","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q118190415$6A205A48-9DF0-499F-9CA0-75A0EE8C0DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"6e93447fd07a2d7151911434100f8f015a270306","datavalue":{"value":"Jos\u00e9 Meseguer","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q118190415$AF680660-73A4-4DD0-A2DB-BAA9B3B629AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"45b0913c2deb62a9fe88e623251d34330d44b357","datavalue":{"value":"Paliath Narendran","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"32387bd293902a2430b5bb680033d36ecea00dd0","datavalue":{"value":"6","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q118190415$D97AC4F7-9FFB-401F-9CC5-E3CDC5A40821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"b993ba06cb94e40b3863c642e40ae97f868af5fe","datavalue":{"value":"Ralf Sasse","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"9a4403310d2d27312d0a93830981a1e51b735843","datavalue":{"value":"7","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q118190415$6698053C-979A-4293-BE79-67FDB1235A3F","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"164d164fc253a90a56bb41164c327aefbe928bcf","datavalue":{"value":{"entity-type":"item","numeric-id":63342035,"id":"Q63342035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"564f34aec45e67f37372d970e3912152e8ebfb47","datavalue":{"value":"Santiago Escobar","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q118190415$1E9C69E7-5791-4AFA-A669-D19891EFE755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"cfdf07b20abd449f8714986acb7374545630caed","datavalue":{"value":{"entity-type":"item","numeric-id":100636256,"id":"Q100636256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"883fc506d605c1889a1489ef8e1e5102ff4220db","datavalue":{"value":"Christopher Lynch","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q118190415$9AD1EF0E-4F83-42AD-8A0F-7E27EECAF265","rank":"normal"}]},"sitelinks":{}}}}