{"entities":{"Q557799":{"pageid":559566,"ns":120,"title":"Item:Q557799","lastrevid":48508054,"modified":"2026-01-05T01:26:50Z","type":"item","id":"Q557799","labels":{"en":{"language":"en","value":"An NP decision procedure for protocol insecurity with XOR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184041"}},"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":"Q557799$D6C708D5-90B1-45F0-9D23-34BDF9F96D3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1de43fea3082ffcc127cf0efbd871defa2a362d","datavalue":{"value":{"text":"An NP decision procedure for protocol insecurity with XOR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557799$DD293D12-DAF7-42F8-9448-528E3AE4D94D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a29a25befe08975b3e48b9849fc9bd1904c7f4ae","datavalue":{"value":"1068.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557799$F29D3940-E184-4EDB-AF7B-49C47EFBB65C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3be771d01fbe526b5c76e8fa4a0f32fad7031aa","datavalue":{"value":{"entity-type":"item","numeric-id":437029,"id":"Q437029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$7CCF2026-AD38-4793-B4E9-CF9E2D780CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0737ca502857607b669ec6afb967ab7ce60981","datavalue":{"value":{"entity-type":"item","numeric-id":196898,"id":"Q196898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$559427E8-AF9B-42DD-9CE8-27BC22D9E44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$0038028E-CAF3-47C5-BB11-9F6A3BD71B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16ef045480748e3614e1b5878bf1fcba81019b64","datavalue":{"value":{"entity-type":"item","numeric-id":507347,"id":"Q507347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$1461CDBF-E519-4566-996F-5C5B6AC2A4DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$4A9DD371-AD07-49D1-970F-B550D162A132","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557799$E7E3CA29-6888-4D16-80BA-BD328BFD629D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e515766880e21c1e9fc6805c001f7492d2b3a3c1","datavalue":{"value":"https://hal.inria.fr/inria-00071889","type":"string"},"datatype":"url"},"type":"statement","id":"Q557799$1A201367-5181-47D7-A304-08F25385F85A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557799$F5CA5B06-6E53-47B3-8ECC-FC64FD8D3352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557799$C184C382-4AAC-4784-A1DA-B33120C75D78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5583327d83ffcac3a871de47f200e24b0bbbc8c","datavalue":{"value":"2184041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557799$1DE7D184-0F3B-4D2D-98AF-B342C06A1E53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q557799$FB7DD6E3-0C59-4462-8E8B-BE5A9F0B3AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa1f6f843ba14417e1abcbc99a189d59339bdba","datavalue":{"value":"Security","type":"string"},"datatype":"string"},"type":"statement","id":"Q557799$B50F2315-BD63-447F-B240-CE6CCC4D4CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd00383260dfa97876251d90227e490636e38179","datavalue":{"value":"XOR","type":"string"},"datatype":"string"},"type":"statement","id":"Q557799$580AB024-4342-4A8B-9346-70EEA9491ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"172427e9a9b9c14d4ac732ea4690e520a05b9ab8","datavalue":{"value":"Protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q557799$EF2B6D55-EF0A-4054-B260-0909131CB764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5206d4dce6a163eafa029a63a1fb2a44925dc13","datavalue":{"value":"Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q557799$34A85284-281D-4C40-95E1-F81812C41011","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":"Q557799$E1857FB8-D468-46B2-BC90-546840C497A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e45bd9e6d2339fd1206e4162e7e9a730366c457","datavalue":{"value":"W2013689938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557799$E5345B74-B4B8-4B90-86BF-38FF75BF2BAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88841c928c327a6860d292686b79d9d48a1bdc75","datavalue":{"value":{"entity-type":"item","numeric-id":4484507,"id":"Q4484507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$D6D996AC-F22A-43C6-BF67-9AF8CC35BCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$1EDCDC6F-EEFA-4EBB-8591-80E084056CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ed076b922bab4526d2e55f06121ec4c2de885","datavalue":{"value":{"entity-type":"item","numeric-id":4535055,"id":"Q4535055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$5811D4D8-BD70-459D-AC55-6A0ED0DF4F06","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":"Q557799$B7991DFE-CC5D-4E4F-88C3-3247AD9912CD","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":"Q557799$4AD7FF80-49C6-4E27-BB5F-3E3734DED729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d69af03ee4c43d6c01a82d5a153d541726cc26b","datavalue":{"value":{"entity-type":"item","numeric-id":2848035,"id":"Q2848035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$417E8316-EDC5-43FD-9AE1-2D3B7E3C3F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae05df22266c751ca129e105f1a7db0dffd3800","datavalue":{"value":{"entity-type":"item","numeric-id":4804905,"id":"Q4804905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$1FC35550-E21A-4DEA-A069-5DA5CCE94818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a36cb944c08f94b6b89ba8b39e20dba78080a3","datavalue":{"value":{"entity-type":"item","numeric-id":4535056,"id":"Q4535056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$5BA4CB1E-505A-4BC9-81CF-428324C38593","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":"Q557799$47845B9C-71ED-4358-B493-50868E3D451C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$F42EED32-74F5-4363-A622-6C0C561FD0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01da25e464c0aff317b994d1238b1479d2a74b38","datavalue":{"value":{"entity-type":"item","numeric-id":4447232,"id":"Q4447232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$CCC2E755-5F34-484F-B85B-7AD74234259C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ec65e1653887006cf0321041ea2e9f40544562","datavalue":{"value":{"entity-type":"item","numeric-id":4484508,"id":"Q4484508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$8F508987-8CC9-4523-A916-05CDDB97348D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$6D733B23-69D0-4902-BF86-416736A04561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557799$D12B06FD-6895-4C5D-8C30-8AE5949CC45D","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":"Q557799$4279D08F-8D94-4074-9530-70CFCC03D2A6","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":"Q557799$440235BE-A4EA-469F-BB40-58C556A5D263","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b723b0948d5a2929a75969131db04142e2303cfb","datavalue":{"value":"10.1016/J.TCS.2005.01.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557799$CE08D6B2-10BC-40F7-B089-F17E0B75F6A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc5fb4c70405369a825c60203f9ed01ab03baa6","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe846d32b97c93c9310bdfe02c9aa41a0963ffb","datavalue":{"value":{"amount":"+0.8189557790756226","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":"Q557799$9D6DA752-A96B-4790-8A5E-4240743AB1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedd0051c9ad7964d7b4d129737bb77ebd01ce0c","datavalue":{"value":{"entity-type":"item","numeric-id":3590969,"id":"Q3590969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4890f94e3f063ece16dae87de83041f1fd4d2ee","datavalue":{"value":{"amount":"+0.803808331489563","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":"Q557799$8D5D0D43-5B53-4EB9-82A3-51C204C22777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fa6af5f8f27e3c7d3c5a7753445e18c50dbff3","datavalue":{"value":{"entity-type":"item","numeric-id":540685,"id":"Q540685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72913135dda3d95991a4e525d2121b0201597518","datavalue":{"value":{"amount":"+0.799782931804657","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":"Q557799$A61E87D1-9A5E-4E22-A0EE-11CDFAAAC601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e7f743bcca1b007e42a470db5a301ec2950b1a","datavalue":{"value":{"entity-type":"item","numeric-id":3591419,"id":"Q3591419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2a284d1eeb22fcf7900d2acd3019c5b251f8ef","datavalue":{"value":{"amount":"+0.7908964157104492","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":"Q557799$76DE8241-3342-41C1-93A1-CC288D56091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54323aa033699f30fffea99baabbaeefe528081","datavalue":{"value":{"entity-type":"item","numeric-id":5758129,"id":"Q5758129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"249f3d47e039c58686a937611f332285ddf1e348","datavalue":{"value":{"amount":"+0.7897202372550964","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":"Q557799$7A451BED-3FAC-42C7-A610-7DDDF4101C72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:557799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:557799"}}}}}