{"entities":{"Q3184784":{"pageid":3195492,"ns":120,"title":"Item:Q3184784","lastrevid":80185934,"modified":"2026-05-06T15:37:27Z","type":"item","id":"Q3184784","labels":{"en":{"language":"en","value":"Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619511"}},"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":"Q3184784$29BECB21-85D3-4203-927B-301E810140AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89d12451545b12d239699138a7f4e66ac9705b29","datavalue":{"value":{"text":"Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3184784$88413279-C196-456D-BDCE-78EFA07729C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbf2f9a08331eb21f21b1d7aee26556ed52577da","datavalue":{"value":"1252.94061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184784$37BD3EC5-6DA5-4DC2-8524-EEF1EE1BC1C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57b6c87ce018c3e3d049dec821655c3a16438741","datavalue":{"value":"10.1007/978-3-642-03829-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184784$5420DC52-0E76-4C25-A5CD-76530F0C6C13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$1950B1E0-5112-4D61-88C3-6661B7A43F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$69D64661-3128-40CE-BF7B-201732314C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"893d4e95bab3f0a7b3894fc03f5329d8bc74115a","datavalue":{"value":{"entity-type":"item","numeric-id":831946,"id":"Q831946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$10CDCCB2-D6D4-4A6E-AD1D-FA2818C48864","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"75ca1a4292153e09255ed5584d3cfe40f5a40b30","datavalue":{"value":{"entity-type":"item","numeric-id":3184783,"id":"Q3184783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$F08792E9-E108-4274-97FC-BA2187DA87C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3184784$F420E887-AC14-402C-99FD-7FA91733CDC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184784$5E28AC97-28E8-4BD1-A2DD-3B4816BF3A1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d7381bb55ead8aac779fd4706b2977ec5affbc0","datavalue":{"value":"5619511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184784$5B564983-FD9B-480E-B10E-73D17DE0CDD0","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":"Q3184784$C4B019E6-CB25-4A9D-84F2-BCF5E9B1509E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb9415da33ef4439e31401604aca35afdaf65bf","datavalue":{"value":{"entity-type":"item","numeric-id":24089,"id":"Q24089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$1B4ED344-15AD-485A-8E0B-0F05F805720E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"391de4a7403a58cfe989587b0bd79269a9793106","datavalue":{"value":{"entity-type":"item","numeric-id":24090,"id":"Q24090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$5CB8DC66-31DF-435D-BD60-046BFB89DAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$A65F06FF-846F-4598-A29C-178BBA698318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$DF1E4CD1-0DC4-4714-9D93-C88BFC88C979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf9c412bd42d2219c5ccc9fa5bc104e6ca4c4107","datavalue":{"value":{"entity-type":"item","numeric-id":21452,"id":"Q21452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$F1972D40-D80A-4CBD-ACCC-769D5821FD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"370b1d887d679924155714b84355ed741cc355be","datavalue":{"value":{"entity-type":"item","numeric-id":21449,"id":"Q21449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$5FE82AF2-A0EA-4C69-B45B-D10C340D0131","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":"Q3184784$2E224592-32D6-4834-A87E-08EAEE534824","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e05e55a967524461830df345385591dfe72f77e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03829-7_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3184784$83C5808F-D748-49CC-A314-5D95B5B62A4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bf61e938a942cff64b993a7c64d12067d72d852","datavalue":{"value":"W1536580911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184784$7AB2BD36-C1ED-4C19-844E-97DA653F92B4","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":"Q3184784$643147BC-6AD0-412E-B20B-235E2538D67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aaaba411acfbf79d7a6f0f6621efc712735ccc1","datavalue":{"value":{"entity-type":"item","numeric-id":1774555,"id":"Q1774555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$D6AF1C9D-C075-410E-9EAA-1A5E6E0FAC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$D22E919E-0988-44CA-9952-D97CAF104D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$ED55C759-A9F6-444C-A642-F87DEE1B38BE","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":"Q3184784$66C0B83C-9536-4A16-A9B3-71294A6BABCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e927f401450dc9d03082cf94f2b7075d94e29c89","datavalue":{"value":{"entity-type":"item","numeric-id":3636823,"id":"Q3636823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$72E65032-B16B-4942-AD05-F76049641441","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":"Q3184784$27B84E7A-3E6B-41B0-8DF2-7E66FC57809C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bf8dc0860cd608277d5dad93fad76cecbb7d14","datavalue":{"value":{"entity-type":"item","numeric-id":5191113,"id":"Q5191113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$6C51BE18-0727-497D-89B6-3F7A0DFC63AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$0E40B2C4-F1E5-440A-B284-5058CB337E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$F30F2B2D-3E61-4EC6-BEF0-0AF557693C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$E718D596-3830-43A4-9A93-B1C86256DB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6faf23ae58f0d008eb59c8c3066e56d64ed7b45","datavalue":{"value":{"entity-type":"item","numeric-id":860906,"id":"Q860906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$5F7172C9-6677-43CE-B246-A6741F708BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c884171bba72c2b3f8a55330fd6748a3e548c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5432339,"id":"Q5432339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$034B0EA9-17F6-4E9E-8A9E-810EC5101365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6788a4325e5a7583cda476d7916b51682b7ade","datavalue":{"value":{"entity-type":"item","numeric-id":5179131,"id":"Q5179131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$71D8160F-403B-4643-800D-064F815D76F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298e55cb5bb8c5febe57267ef67c3fd5e0dbca9f","datavalue":{"value":{"entity-type":"item","numeric-id":3522010,"id":"Q3522010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$87BCC71E-7604-4159-8631-3DF8D2894B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f497a094cae9f220fe8ee16ff975c47f7e7dca6a","datavalue":{"value":{"entity-type":"item","numeric-id":3664457,"id":"Q3664457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$BD41B5E0-959D-43BE-9F2E-DF573B08CEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6668db57bb0152828329198a0e28c75cbeba99e8","datavalue":{"value":{"entity-type":"item","numeric-id":2848034,"id":"Q2848034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$B77FCA15-C08B-4556-A4E7-F6B206F66BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94fed659cbf2447d4be483452e8b4b6cc03b57c2","datavalue":{"value":{"entity-type":"item","numeric-id":5464794,"id":"Q5464794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$D3E0BD1A-E95E-4967-A9EF-AD05DE4730DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$9B3B9B0D-A471-4CC8-BC24-ACD6561076F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$2A51BFD9-94F8-4463-8620-5680AEDC38C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$09D7B344-3128-436D-81D3-44D95F96790B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa59beb40aa7d3a2b734c89736dae1963e615db6","datavalue":{"value":{"entity-type":"item","numeric-id":1007641,"id":"Q1007641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$0B430724-7734-4092-8B4A-150974C910CE","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":"Q3184784$C22FA6C8-BB0E-4BF8-892F-A4BEC49849E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56213f215f8589cb5b9b607fe971b63f08690128","datavalue":{"value":{"entity-type":"item","numeric-id":293167,"id":"Q293167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$4F2962D2-AB3C-4953-A132-B5F3B89E2C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2613520dd94bccb06517a96e46dc00cc2cb71a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$E20CC25F-6EEA-489D-B45E-D2A1BD2A3071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184784$BB2CD27C-0397-43AE-B5F3-B38F34126644","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9254ebf2b3d73b9a225532b178c259270211758","datavalue":{"value":{"entity-type":"item","numeric-id":462493,"id":"Q462493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006b2a8f3eb025ec455a4be3627720a1238a6379","datavalue":{"value":{"amount":"+0.8539228439331055","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":"Q3184784$FF9B8FEB-84D7-40AF-84C1-E12F412073CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642d20d887e57be463882944b311c1bd0a4c049b","datavalue":{"value":{"entity-type":"item","numeric-id":6485983,"id":"Q6485983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aecd47b766e4d36628df981e2cabe2a86a2770da","datavalue":{"value":{"amount":"+0.8097066879272461","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":"Q3184784$916A53C5-3D12-4F9B-BD33-9E83F9BFC66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"382d2900936b9b3ca544171bb8e6913029b82d3e","datavalue":{"value":{"entity-type":"item","numeric-id":860906,"id":"Q860906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cda0fd38746f974097972672e9165c0c5a7100","datavalue":{"value":{"amount":"+0.789630651473999","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":"Q3184784$EC9D922C-5F82-40CB-99E2-C14C5749E535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7202c1b0fb8535be4ceaad98280d6791c0941a7","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187671ad95a4411e159625288fe58b011ff0f974","datavalue":{"value":{"amount":"+0.7770017385482788","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":"Q3184784$A5FBC603-7222-4A2D-B0C1-0AD5EC8C4048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37606ff70932a9570760ab69cba902c0d3f1ea31","datavalue":{"value":{"entity-type":"item","numeric-id":2482449,"id":"Q2482449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a304babb6fda1902df74237da3a55ed4d7d9ad2a","datavalue":{"value":{"amount":"+0.7585451602935791","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":"Q3184784$9D6BDD31-B76E-4A7D-948D-004CBD4723CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Maude-NPA:_Cryptographic_Protocol_Analysis_Modulo_Equational_Properties"}}}}}