{"entities":{"Q5191113":{"pageid":7220685,"ns":120,"title":"Item:Q5191113","lastrevid":41678142,"modified":"2025-05-07T03:07:24Z","type":"item","id":"Q5191113","labels":{"en":{"language":"en","value":"Computing Knowledge in Security Protocols under Convergent Equational Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587950"}},"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":"Q5191113$6C776C8D-062B-43DE-80CA-B233F3C8C7E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"199ca85fa27bac082d28cc2feca1b7c42f26cb63","datavalue":{"value":{"text":"Computing Knowledge in Security Protocols under Convergent Equational Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191113$B55DC963-1595-4E9B-96C5-E827C466857A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca7a5bdbec732fc79090986da45809a8a08943f7","datavalue":{"value":"1250.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191113$F52AE365-C2BE-4B78-8085-95877775A49E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd14142478b1dca66d275c9f811d24c9ef53a19e","datavalue":{"value":"10.1007/978-3-642-02959-2_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191113$CF89DA06-4FB5-42B1-BC52-BF9A9D46D16C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81586982d17a5065a8b3d9d0e0dbbd008e2a773f","datavalue":{"value":{"entity-type":"item","numeric-id":437032,"id":"Q437032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191113$E9784A5A-2603-49CB-91E7-12CA791E4494","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":"Q5191113$24E6EB99-B5FC-429D-BA43-AAE19DB0FE1F","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":"Q5191113$D2027D50-0FAB-4D6A-B9B1-29A700D4D0EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc7799424afce15eb24475c2c343f54bb5498c25","datavalue":{"value":{"entity-type":"item","numeric-id":5191093,"id":"Q5191093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191113$54077AD5-42B3-4D6F-8255-BB15CC4EA497","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5191113$EA1718A0-C5E0-499A-873F-D4727E4BD10E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72364ae18547e675c825e6945b1507e9898620fb","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.6345","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191113$FA3C8155-1F0B-48AB-B8CD-D6734AC3C966","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191113$B8473EF4-FE20-403B-9D65-335AD3A103DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191113$477A669C-4370-4853-9EBF-03FEDA4BBA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191113$F27439A8-B612-4A3E-987A-FDA12C141698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191113$BB71BD86-871B-44DC-B091-03B40AB7CAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191113$2D8F0B6B-C5C7-477D-9070-4FAF77A96515","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6655bc95f2cb5cd1498da275269ae9a81b6ee114","datavalue":{"value":"5587950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191113$AB7E46DE-8DD9-4CC4-99D0-D1ED78ADBA16","rank":"normal"}],"P1463":[{"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":"Q5191113$5420CB7A-835A-457B-903D-7DB115BD743A","rank":"normal"},{"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":"Q5191113$DDD69AF7-D727-4D05-8B52-C247CC18BF9A","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":"Q5191113$C060A4BE-2B99-4E8D-BEF7-8B5A5F8A1A28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3225af348d0997ed8297350958e0a63c6de2312","datavalue":{"value":"W1619779852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191113$CD5D6243-2497-41E8-9529-299D96D403CA","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":"Q5191113$8C7E94C5-C5E7-4DC6-B17C-EC5A7F3828AC","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":"Q5191113$ECB3E02A-DE88-4226-B2DF-614514C56483","rank":"normal"},{"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":"Q5191113$9AA88D31-6613-4DF0-8D14-A4AA78F29653","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":"Q5191113$004D37C6-9BDC-4E81-8180-BD51EEAC8B8C","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":"Q5191113$F0CF3E3E-739E-4E50-90AB-2D14037FD878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5c3063e91e866916b79f392a20b10dc9a6aa45","datavalue":{"value":{"entity-type":"item","numeric-id":437033,"id":"Q437033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191113$8B761DAE-BB55-4EDF-ADBD-2B5E115DA33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2a66adde1572dd62844706f77b656f9ab64e2d","datavalue":{"value":{"entity-type":"item","numeric-id":2849571,"id":"Q2849571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191113$63BE16ED-F4FF-4D6D-9A37-DC2829935667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b6a15ea7bd47f8d587d7880f317f8dc8a225e8","datavalue":{"value":{"entity-type":"item","numeric-id":3498466,"id":"Q3498466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191113$72AEF9EE-8FFD-4A8C-858A-942D01CFC79A","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":"Q5191113$F5248811-A721-44C2-9982-BC5CFFFD9C3C","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":"Q5191113$B6432425-E2D6-4FB5-A3E6-C2385D030B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff290a68e80e1682162b02ac94c491ec5588f7a5","datavalue":{"value":{"entity-type":"item","numeric-id":4387311,"id":"Q4387311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191113$DA43399C-8386-48A4-9398-A1F2F9284D35","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":"Q5191113$645410A1-9BFC-4E80-A24E-10FAD4FC37F8","rank":"normal"}],"P1643":[{"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":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5191113$E19C3472-35B6-4F2B-936D-E804E43240C7","rank":"normal"},{"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":"b79133658ce7b229340ed8e7dee30fa58da9654c","datavalue":{"value":{"amount":"+0.95108163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5191113$BBE1D387-9B81-45AC-8586-08AF8281D38F","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":"b79133658ce7b229340ed8e7dee30fa58da9654c","datavalue":{"value":{"amount":"+0.95108163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5191113$EBBC38E3-7206-4F25-84FC-982C3DB172A3","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":"876744fcb4d094dcf42a39e12521f6b4e94bcfd8","datavalue":{"value":{"amount":"+0.91928816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5191113$DB655C9B-71C3-4DFF-B79A-7E13CBD3347F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ea685219c6a275572422972071ffe53e0175ce","datavalue":{"value":{"entity-type":"item","numeric-id":437043,"id":"Q437043"},"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":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5191113$F638EBBC-63FD-4293-B672-392B3F7C59D3","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":"9bef0ac2601b4561dfb241c43bfca74bfe059ff7","datavalue":{"value":{"amount":"+0.87480515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5191113$EF75FC28-DD4C-4C89-ADC6-8534B29A9EBB","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":"aba9afc865e648ca8cfca1bcce6828d00ce5a641","datavalue":{"value":{"amount":"+0.8709544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5191113$936C1F18-6245-4D5B-AC57-437ADEE00DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3622f32b04cbb8feb46ca3a97b5b0b7547ea01b","datavalue":{"value":{"entity-type":"item","numeric-id":625717,"id":"Q625717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d4c5734f1d03db25877f047cfb1c260db0b675","datavalue":{"value":{"amount":"+0.8674101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5191113$CD74CC46-AE80-4F04-8FDD-4B682E092783","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":"b493b4f8c8a3d5754c03bac1798c1e413b9ad171","datavalue":{"value":{"amount":"+0.86351013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5191113$71425B1E-7A41-4151-811D-6282E525FB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"200f6dc40a86127e57f36047e1c7794473480e59","datavalue":{"value":{"entity-type":"item","numeric-id":2311544,"id":"Q2311544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b27984a2d78ed50d16853b5c3755d9fe03770a9","datavalue":{"value":{"amount":"+0.86158115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5191113$83249CCC-B3B7-4FDD-BC28-282A5864236F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5191113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5191113"}}}}}