{"entities":{"Q3304811":{"pageid":3315519,"ns":120,"title":"Item:Q3304811","lastrevid":46185808,"modified":"2025-12-24T00:12:07Z","type":"item","id":"Q3304811","labels":{"en":{"language":"en","value":"Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7227100"}},"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":"Q3304811$41B0AC79-C9DA-4184-B8AC-0F77EBA22F92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b203d61a8ed6e38cdaac2f3e4540d1079c8d67be","datavalue":{"value":{"text":"Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3304811$C4696620-E9EE-47C8-9D34-E1AE4B4A9571","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f860e2ef33e2acbda652355e6f0299eb2d769923","datavalue":{"value":"1444.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304811$B88B0E22-F776-4461-ADB4-C1762C97CA29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10321bf1e53961f19e9abcabce58a95b2ce3fb9a","datavalue":{"value":"10.1007/978-3-662-54455-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304811$71AA31E6-250B-4A35-A557-998226CC07A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80048a52914dcabeca08def1a1a28a681f268248","datavalue":{"value":{"entity-type":"item","numeric-id":896920,"id":"Q896920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$4186CA98-5412-461D-85EA-F0612F2D1D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb0167fd65fb24668a10ff852054f99f388a5cbc","datavalue":{"value":{"entity-type":"item","numeric-id":3304810,"id":"Q3304810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$0C957052-D68C-4412-ACC0-38C409BA1B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b9545c86dcecbba882f43703ca686b323cf501e","datavalue":{"value":{"entity-type":"item","numeric-id":437023,"id":"Q437023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$C00CABAA-A1D1-4860-84F2-545DCF2A114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa22db60fe052097937d0d11058ce80280a94fb","datavalue":{"value":{"entity-type":"item","numeric-id":1931908,"id":"Q1931908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$795289F2-9D3A-4740-BDD1-A39AEB6B6E91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$CEB2FF6B-2B40-495C-B675-9A6D169DA56F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"469d299b05f6ef0db902802d19518b8f861cc702","datavalue":{"value":{"time":"+2020-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3304811$25A90734-790E-4080-8D0F-EA463CCC39BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"060ed6f62c9c1d21407dadb34e3709c2e6f733fb","datavalue":{"value":"https://hal.inria.fr/hal-01430490/file/techreport.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3304811$83BD0590-3F97-4D64-9033-0438F68B0A4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304811$409D13E9-0C69-43F8-9A6B-E87ED913A375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304811$1735A01C-1FA9-4B95-AF7D-5623D60BAA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304811$07B2DD86-184A-4B6A-84C6-5DE5969EB5EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37cf448bc0ccf0bb9def78adedb1c8a7d5d34cb8","datavalue":{"value":"7227100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304811$5963FBD4-C84D-4404-B027-0504D87E88A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b55dcf2f772e2d41cb1d457864b54fdee4322e","datavalue":{"value":"dependency graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304811$C8534212-3FD3-43B4-814C-821D656B7242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304811$D829C6FD-A71E-44F4-9D1E-D3F2AEA208DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458f08019b4254be79f5f9af10e35e8abe82f7c6","datavalue":{"value":"blind signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304811$8635F9A6-9CE5-4976-B9D3-C4D7F0E75782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f3e5337a6c7e14a18ddde54804627527b602df1","datavalue":{"value":"bilinear pairing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304811$C040D206-3BD7-436E-BF55-64F992367E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a30e7ea346628a8aac2f33577ae730589e0bee4b","datavalue":{"value":"construction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304811$1C46EEC6-990C-4588-92A0-AB543DC3E8DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb98786abf31f77bc4a017db36bf2b58585d1ed3","datavalue":{"value":{"entity-type":"item","numeric-id":32423,"id":"Q32423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$036D47C1-E410-417C-AA62-E256E214402A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75f74c9401d9077620cbd440c52f59039172b94f","datavalue":{"value":{"entity-type":"item","numeric-id":46150,"id":"Q46150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$2501C84D-358A-43E0-8E1F-397D5A660CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc51797ee59c78e22f537965877ae0b558c800cc","datavalue":{"value":{"entity-type":"item","numeric-id":51957,"id":"Q51957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$F8E160B5-62D8-4FB2-8226-08BE0AD1EEDE","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":"Q3304811$26E77E1E-5430-466A-8EF1-30125B3A21E4","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":"Q3304811$ECA8FA1D-A4D0-4E91-B7CF-2A005B06A14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9ffa40fc67c7e91bee6175e789c3c3247a988d0","datavalue":{"value":{"entity-type":"item","numeric-id":35211,"id":"Q35211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$0B70B3F6-DFE2-4928-A975-6810C9783ED6","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":"Q3304811$AC39321B-F170-46B6-9EA8-72EA921871D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3e1fde78bf208dc4ffed6f948e0887aff668e58","datavalue":{"value":"W2584482469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304811$AA58A12B-B32B-4101-AC09-291C1298B2AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"932aba30092f9fb9508892942d04273578315bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5432331,"id":"Q5432331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$878120A3-49D9-415C-BD6A-738E63130553","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":"Q3304811$95C5B64F-4510-4E99-B862-ECE60E92DA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$56F4A389-1F08-4DB0-9B6E-ADB43D71C283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8d4b01899bf050d26bf94999ee7c3edfe020b2","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$CAC83BD7-7BF2-4B92-85C8-ED7B05F6D444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe7e5d68d8d8b370a347a03cd4c6fe9df96b9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3671884,"id":"Q3671884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$AAAEC545-4369-4431-98E8-CFF872AC3D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0de528048102a53c4a18deb26d5245930dec75c","datavalue":{"value":{"entity-type":"item","numeric-id":5747780,"id":"Q5747780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$0A905FDD-EFE2-4D97-B2B0-10DB19F66E68","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":"Q3304811$DBF9B8F6-7111-4356-A5FD-6C1D54E5F904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1f5eae3bb683afc8101fa8eddb89e73906fb54","datavalue":{"value":{"entity-type":"item","numeric-id":3569110,"id":"Q3569110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$50CA7DFB-726E-47E0-A3B0-E1229E395AFF","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":"Q3304811$BE9B1F82-A3B4-4613-9247-039151298837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$8ACB83D1-7B5B-41B1-9935-6AB9A58DA551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25daf8d15c7f307c38d437c6af367e120d5dcff0","datavalue":{"value":{"entity-type":"item","numeric-id":4341689,"id":"Q4341689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$F02091E4-9580-41F4-A83F-4977C38C5536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf1e886aff9bf5e0002fcf19a218baaa050401a","datavalue":{"value":{"entity-type":"item","numeric-id":3569101,"id":"Q3569101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304811$0D0A719B-B5F0-4A30-BDB5-B8C2008A18C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af10c3f3d620ad1acb5fcfefe12321c50d8ffb4f","datavalue":{"value":{"entity-type":"item","numeric-id":5253587,"id":"Q5253587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"344607a2c43e7941e579684497586728c83b5761","datavalue":{"value":{"amount":"+0.7471250891685486","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":"Q3304811$C738F5E6-D76D-4E65-84F9-E8E429C4E29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17eddff234d4c41a4317842c44d693129664c1a9","datavalue":{"value":{"entity-type":"item","numeric-id":5326762,"id":"Q5326762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc896943d5add1aa0e17018c3bf047afda10bcd5","datavalue":{"value":{"amount":"+0.7458664774894714","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":"Q3304811$69BB30A1-6F74-4FA6-8A51-79C145CDD88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743407c7b2f0962e85bd53f65f97eb6fc8a9b057","datavalue":{"value":{"entity-type":"item","numeric-id":6485963,"id":"Q6485963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9319963fe72cc474449cbb53e87a0db0411a3dc","datavalue":{"value":{"amount":"+0.7446508407592773","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":"Q3304811$235531B0-4FC3-4F87-867D-BA3AC4946EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683adacc26d92ccaf9aff05ee6af8e05d4fd99f","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9589737c0cb044411f05ba4a079724454661f6","datavalue":{"value":{"amount":"+0.7250134944915771","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":"Q3304811$13707190-23B8-406E-AA60-86F9725F0D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780b74536356b39033ef5155017f45ba1fda429d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac5d3f5f676c67bd9da49d100a35ade56d8358a","datavalue":{"value":{"amount":"+0.7108544707298279","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":"Q3304811$5F37EE33-A626-4766-9071-5A4A313DC32C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3304811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3304811"}}}}}