{"entities":{"Q3525004":{"pageid":5554908,"ns":120,"title":"Item:Q3525004","lastrevid":90252851,"modified":"2026-06-04T19:41:18Z","type":"item","id":"Q3525004","labels":{"en":{"language":"en","value":"Combining Algorithms for Deciding Knowledge in Security Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344249"}},"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":"Q3525004$E094FDB9-7DF6-44E5-96D7-75AA440BAA20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cc0232623058239adc80834fb741dbf7c85a432","datavalue":{"value":{"text":"Combining Algorithms for Deciding Knowledge in Security Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525004$3283950D-0867-4DB2-8B02-16F6B6189544","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4145526f0f9521cb7af9c3d7c4408cc06511ec0","datavalue":{"value":"1148.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525004$E1771101-22F3-4A1C-A880-95AE497026A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07c776acdec982893e5c87be37cd65f4a6b1a64a","datavalue":{"value":"10.1007/978-3-540-74621-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525004$D46486A3-79F6-43AD-AEDD-891C614F1D97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3bdef414d2520e32c75285ccd6ddbc995bba4af","datavalue":{"value":{"entity-type":"item","numeric-id":462482,"id":"Q462482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525004$6F168502-5574-4EA0-973F-0253A4EF5858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525004$63599159-E4E8-4FD7-A99E-B33881776581","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":"Q3525004$9BBA751E-A807-41FE-B782-EAE99B30087F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525004$0D414279-2C95-40F4-93BB-E41F8DE5D10D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525004$7ED7501E-272D-495B-8C19-2ABA6F2DB552","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525004$7B466FA2-63C3-4850-9B85-4A1D18173684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525004$75578E7B-E064-4178-B625-778AF96AF71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525004$149F4505-A645-45C9-A74A-874F050A251D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7a6cba53618dbd8344eb97e6b8dda3b9a9b9c2a","datavalue":{"value":"5344249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525004$C61C8A4E-5952-409F-A016-FE547FCB3AB9","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":"Q3525004$15AEFA06-89A1-42F6-BFDA-15B29C8C6E87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"974d2db0ab21ed966618089280daed9067cb618b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74621-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525004$E2534B1B-1D1E-4B88-8E04-316043C6C834","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d3151914ed966020b8bacf13f99a25eb5595bc7","datavalue":{"value":"W1810931524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525004$456FD53D-FF33-487C-B5C6-D9B9637BAC0E","rank":"normal"}],"P1643":[{"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":"88a2f6dfa5ccca01a8f2e53c6576b42fd20bb926","datavalue":{"value":{"amount":"+0.91228646","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":"Q3525004$4DAF8AB8-32EA-4D66-834F-95A1BDA50B94","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":"d4068234228a66c28ce11c2c2db1dbf9d97fb379","datavalue":{"value":{"amount":"+0.871906","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":"Q3525004$40D4536E-B6BC-4929-B0D6-EBF397EF64A9","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":"dceefe88d0ea086f36affdc9e04e4cd403830fb0","datavalue":{"value":{"amount":"+0.8719059","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":"Q3525004$30E0C7D4-8A22-410B-B68A-34AF478966BA","rank":"normal"},{"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":"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":"Q3525004$87E0C863-F8F4-44DB-8009-F7402D2A8E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e21e7af7804b7fb462f9ecd0c0c55ddd08c303","datavalue":{"value":{"entity-type":"item","numeric-id":5191113,"id":"Q5191113"},"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":"Q3525004$30EC836B-F957-46F2-B514-60001AA6989D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c796f287c2e98e236feb5c9b52513459838f76c","datavalue":{"value":{"entity-type":"item","numeric-id":3095038,"id":"Q3095038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98634c1abc55b4ba2ec8f4cf2d6d6b6b9059a16","datavalue":{"value":{"amount":"+0.85410434","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":"Q3525004$5945E286-E7A0-4DE9-B9D2-D0DE59B9BCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e732a40c53536162117d0d3d0e2e1cedf78fd94e","datavalue":{"value":{"entity-type":"item","numeric-id":2841219,"id":"Q2841219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f303c53f6058c6db3de6fd1a2bf4a2844938d0d","datavalue":{"value":{"amount":"+0.85360557","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":"Q3525004$2F90BC0D-6056-420D-8FE0-16B42D1BA96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0dc97a7aa2c14a656f1307c103ef3c2d811bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3789477,"id":"Q3789477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"981e5178a6dadcc4071007bdca3f00c9765313f8","datavalue":{"value":{"amount":"+0.84914076","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":"Q3525004$F63A864C-5AF5-4724-968B-780706EE69A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f63fa9eb9081b8fdd7f12029e0efee7ce3f5006","datavalue":{"value":{"entity-type":"item","numeric-id":4673388,"id":"Q4673388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08be05a4414d7e0e144ea9549b0f277553cb079","datavalue":{"value":{"amount":"+0.8432079","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":"Q3525004$AB613189-7C00-41A7-BD3D-5CFFC63E7773","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining Algorithms for Deciding Knowledge in Security Protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_Algorithms_for_Deciding_Knowledge_in_Security_Protocols"}}}}}