{"entities":{"Q860894":{"pageid":862742,"ns":120,"title":"Item:Q860894","lastrevid":64900140,"modified":"2026-04-11T22:58:35Z","type":"item","id":"Q860894","labels":{"en":{"language":"en","value":"Deciding knowledge in security protocols under equational theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083532"}},"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":"Q860894$1D55054C-EAED-40E0-A074-7CBFA2E03278","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc1d355a1f35e0c7e162bdaef1b5820ba2ac17a6","datavalue":{"value":{"text":"Deciding knowledge in security protocols under equational theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860894$BBC562C0-1CCA-46E9-B184-47AC0045D273","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5543efbf9fafd078e1f201323bf1693b7c113a6","datavalue":{"value":"1153.94339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860894$58B81CE3-C152-494E-A3EE-793C9B11718D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7720f013cde2512621480147576e51273a4c701","datavalue":{"value":{"entity-type":"item","numeric-id":265786,"id":"Q265786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$36FC7EF5-7A36-45CA-A9AF-4577F62F6CBB","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":"Q860894$E4A405ED-63DD-470E-8F59-32010781A9DA","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":"Q860894$738733C1-BE3B-48B8-BFA0-3196E1B006B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860894$0D41E024-D2CD-4360-9EFE-6E61CC20F385","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860894$12E1E491-915E-4F29-A297-B209EAA19303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860894$AFFE6882-69DA-4B5E-AFC9-CDD30A15D1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860894$420FB3CA-D0D4-4839-BD8F-41A14CCCDE21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73db3eb244c93ecad39e095c6e9498e60ab614ee","datavalue":{"value":"5083532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860894$48B939E7-A5E3-4250-8066-BA9DE8AB5A59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54d97c9d74a7974164bd27bc3725f50a6bd71c8","datavalue":{"value":"cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q860894$3733CCCC-B1EA-4208-9F0F-ECB7FEC3BEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q860894$46C102DE-2520-486A-B09F-3B5044D3DB58","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0c0ccbb9c675d384e7645c415b8bf75fe0d2ab3a","datavalue":{"value":"Q115036558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860894$9FC29B52-15BB-448F-B933-F3D17BD41E71","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":"Q860894$F6157536-5B30-4E8F-BBA3-DB1267EC73B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26c87cb454da188ce5997b0928ff41d1c6d1c651","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.08.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q860894$9DA9E30B-A09C-4070-86A5-BAF5CE69DBB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43fef2431b8875a00bbdb57b849d4895410dc818","datavalue":{"value":"W2060349224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860894$64219E54-5BAE-4F15-ABCF-8970E264CEB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d86573fcd63512252090cdc77433782143369e","datavalue":{"value":{"entity-type":"item","numeric-id":5466517,"id":"Q5466517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$69AA86B9-B8FF-4039-B067-E9AF5305EE54","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":"Q860894$ED67958F-C817-4DEF-AD9C-E85DB8AA7451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$A9A29C69-6F15-435E-9B14-FA7CD8920083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$46CC7C88-105D-4359-807E-2E271A455E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff40562f6ba4de9c0bd73f0c4895d734ceeea24","datavalue":{"value":{"entity-type":"item","numeric-id":5716816,"id":"Q5716816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$0A8F3E91-DF66-483F-8AE9-A40E55609D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c74a330b5c89ffa6afb6b93e78391cfa3ed028","datavalue":{"value":{"entity-type":"item","numeric-id":4411970,"id":"Q4411970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$3E39C6F5-74C4-4916-BE81-175FE2DB7AB6","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":"Q860894$750E37C1-FF70-4985-90A1-2864C4F2D689","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":"Q860894$7D519D62-1EB3-4948-9B3E-E284B9053158","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":"Q860894$85BADC3E-DD4A-4CC2-A54B-F6D8402A5B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878fe154984b011925cae52ab7eecc92a4aefeb4","datavalue":{"value":{"entity-type":"item","numeric-id":5716815,"id":"Q5716815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$287F28C7-F05D-47B6-A83C-46E89C553562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969744e1c3d201c081e4d8f651e4fcd3b1fcd298","datavalue":{"value":{"entity-type":"item","numeric-id":5308437,"id":"Q5308437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$126F01D8-78E3-45D5-8154-41EB4B35684D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4654966811e7c3e2be77b22c29c73834fc1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":5305643,"id":"Q5305643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$1060F1D4-1E5A-4E26-83DF-8B4BF7BEF3EC","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":"Q860894$BF5E855C-69C7-4764-B85D-46D87CB4BC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b548fb76f8ef8a56f9223030f407f1a96f0c7ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1057832,"id":"Q1057832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$F82BA734-6976-4959-88ED-3D7C218B979F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d71a27202baa0ed69d2b59af2ce9512b037b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$A548FECD-17C6-4347-A4E6-38C1E2B14145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f619adea6db0ab75b9bc69654a89af3583c163f","datavalue":{"value":{"entity-type":"item","numeric-id":5316564,"id":"Q5316564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$15BAD7F4-557A-4FDA-BF13-1CE7078DBBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc3dc957309bb9042121e42e12f8ed44caf1ebd","datavalue":{"value":{"entity-type":"item","numeric-id":5703858,"id":"Q5703858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$EFE3F70F-F477-4F53-92B7-C371A9328772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad8401dbfe3592b50558e3ce369d5b05f5dce16","datavalue":{"value":{"entity-type":"item","numeric-id":5618446,"id":"Q5618446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860894$AE6D6386-44CC-4A49-9801-CDF10FBEBFEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"357ec7bf3bec932946e7ffa8a3f904db0bc3ac08","datavalue":{"value":"10.1016/J.TCS.2006.08.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860894$9FF0199E-35CD-49F5-B5BA-5EABEB3DEBD5","rank":"normal"}],"P1643":[{"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":"433238c324609abe764193e9fae4455fd613b7e8","datavalue":{"value":{"amount":"+0.9755864143371582","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":"Q860894$CACFF830-B161-4402-A07C-1134AAAA3AD8","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":"b5f567403896f285d77b20277fe2160bfcdffa70","datavalue":{"value":{"amount":"+0.9122997522354126","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":"Q860894$C72A3513-A87A-4E3D-B4D0-6435E29032EF","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":"662ecf3c6ba7f6c6469e7b598571e97a459a546b","datavalue":{"value":{"amount":"+0.9033603668212892","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":"Q860894$5440DDBF-3BD2-47F3-9D40-5DE6F51D7DB6","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":"c0d0bfdc524131f2b281f7d00225ee0702f20be4","datavalue":{"value":{"amount":"+0.8800688982009888","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":"Q860894$2F5820E1-513A-41AE-B674-9E28D57BF859","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":"00008d5eca327dbdb1e63b4cf0188e29e81aab7a","datavalue":{"value":{"amount":"+0.8757416009902954","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":"Q860894$E18CE2D8-C1E6-4FB3-A03A-0EE869D8BC19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding knowledge in security protocols under equational theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_knowledge_in_security_protocols_under_equational_theories"}}}}}