{"entities":{"Q2268100":{"pageid":2278843,"ns":120,"title":"Item:Q2268100","lastrevid":50924981,"modified":"2026-01-15T18:56:30Z","type":"item","id":"Q2268100","labels":{"en":{"language":"en","value":"Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5679440"}},"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":"Q2268100$A5083883-0BCE-4A04-BBBA-6C77F786B467","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f94b16fd4eff621079315c1b5b0c42776c401550","datavalue":{"value":{"text":"Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2268100$C701A104-12C0-4679-B1E1-A50671A03151","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b1071b5aeb2fe4f377ef59ea84393bd4f292e73","datavalue":{"value":"1187.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268100$451C9BBC-1A2E-4153-8800-5CE987271A09","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":"Q2268100$313A8484-26B2-40E0-9FF9-9E78F9D13500","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":"Q2268100$10D4B492-F5EC-4F67-B3CC-54E272B2CEA1","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":"Q2268100$4C48C7A4-7815-4825-AAF0-D32D9ECB71EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bab9c77774bae4661721487f1fc699428504882","datavalue":{"value":{"time":"+2010-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2268100$6AD461B7-B9CE-40B4-A5A7-72BFA006C9E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268100$9D503C20-8F9D-46E9-9B0B-BFDA551F1224","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f887218cfeb18c640bc4be48fc0045bb0fc3c863","datavalue":{"value":"5679440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268100$FC816808-00B2-4074-8DA2-225613CAD914","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268100$4A1F669B-D14A-4269-A090-0A810B91F86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2419bbf400c9bf07b96d67985a35dd35d96fb60e","datavalue":{"value":"Dolev-Yao intruder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268100$7DA2E30C-ED82-4321-818E-C5A4D2E7BA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54cf8fa123c6bbc47c2a8bf587de44aa13d8672c","datavalue":{"value":"combination of decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268100$81055443-3AD0-4760-AC95-54BC41E96100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268100$927AB14C-9BB8-4E38-92E2-DFC0AA9399C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb9415da33ef4439e31401604aca35afdaf65bf","datavalue":{"value":{"entity-type":"item","numeric-id":24089,"id":"Q24089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$46199FA5-641D-4348-8584-DECA15D21844","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":"Q2268100$9675116F-C3E3-42F3-9BDA-A518FC0F8F39","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":"Q2268100$F7BEF734-EA7A-4A67-B746-6ADA18B7B8CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6eecee43c524b5b0989c901815c5e512be1867ac","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.10.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q2268100$69526148-AC96-47BB-8E60-B15AE3807A05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eac6547010cd0f065b46f0f830bb96a47fcfcd91","datavalue":{"value":"W2086814760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268100$B3EE6AD2-CFA3-4134-947F-E8EEDB6A39EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2359ea34b4e7685569c1fcc0ec424abb83c93aa","datavalue":{"value":{"entity-type":"item","numeric-id":1853612,"id":"Q1853612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$F25918C6-045D-48A7-A5FD-5FFA69A3A552","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":"Q2268100$2C4354EF-6178-472B-8D51-C657F5E49DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25341c3b4355b451c97bb1b33e8bdb2573e44c9e","datavalue":{"value":{"entity-type":"item","numeric-id":5309716,"id":"Q5309716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$55A5AFCE-0BD2-4D61-96EA-0EAEBA52CC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17611ad257b61ab782adab4b003d5c18136092d4","datavalue":{"value":{"entity-type":"item","numeric-id":4411969,"id":"Q4411969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$35012992-DE76-48B3-B6E9-0F04863AED6D","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":"Q2268100$FD886223-9121-4D28-85B4-3EB8A09A8EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59751135ba1636fed6ef473f7c76aa8795602d0f","datavalue":{"value":{"entity-type":"item","numeric-id":5308708,"id":"Q5308708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$58D77754-1B65-434D-AB61-0EE2EA9E9185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa59beb40aa7d3a2b734c89736dae1963e615db6","datavalue":{"value":{"entity-type":"item","numeric-id":1007641,"id":"Q1007641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$8470DF00-5B37-4D1C-AA4B-4E3926616F32","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":"Q2268100$F780A9D1-2050-4BC1-AF86-3DF96014BB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$E145A0F6-4E93-490E-8F41-F7666C2466C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25c898898b618a08f301331a46c4d1e466a4aef","datavalue":{"value":{"entity-type":"item","numeric-id":582270,"id":"Q582270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$5E817387-2718-4A55-A0F5-BF9689D14770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc97f546228c5c4ad050bfe934a2da9822d01f2","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$6D299E09-C250-4634-B989-27A5ED6F8FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fd8cd0b8b52c17d28b6adee5281ff5984f2c33","datavalue":{"value":{"entity-type":"item","numeric-id":5431313,"id":"Q5431313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$88289569-D2CB-4C2A-AD46-F4A1F199EF48","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":"Q2268100$83CE53F2-7348-4FEC-BE7B-159656F93278","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":"Q2268100$A5D10827-B84F-4EBD-8164-3E5F32DF3B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b9e8fec29b4866af88e22e240c709faf2edb39","datavalue":{"value":{"entity-type":"item","numeric-id":5308709,"id":"Q5308709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$7320FCA4-5354-4B01-9CAA-C14D1669B6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$CAE7DD90-2D7A-4274-A0F0-1182280FA207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$21BB07B4-0DE8-4ABE-99DF-FFB509A0BA4A","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":"Q2268100$B0FA7E57-6ED7-4E0E-8369-8BFFD4DA2D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cddc6672e2d09984ac7bef87746f5c93a936a63","datavalue":{"value":{"entity-type":"item","numeric-id":1854363,"id":"Q1854363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268100$F2B5495E-D8A4-4F81-8F1A-AA68F22912D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e49d3e64f37341e13a031aa3e56f0bb75c2ad335","datavalue":{"value":"10.1016/J.TCS.2009.10.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268100$AD45837E-8E2E-4489-8531-949036BE03E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1a56570cd0c242749bdcb3ec929fc5653ced2b","datavalue":{"value":{"entity-type":"item","numeric-id":5716815,"id":"Q5716815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61d76482fc095c7c14a4152035ce93da1e9949d5","datavalue":{"value":{"amount":"+0.959481418132782","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":"Q2268100$F1E799BA-CD51-4761-81DF-2E5A88778356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91556c4310be4307fbe7dabae3bb64fc8d0cdc7e","datavalue":{"value":{"entity-type":"item","numeric-id":3527287,"id":"Q3527287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac479b5a6caa2c7990c562e2e0e99fcd616a2b64","datavalue":{"value":{"amount":"+0.8261948823928833","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":"Q2268100$0E32AF22-07B3-470E-94FC-605D221D2F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb56be7382103860bb69df2741a9734467be881","datavalue":{"value":{"entity-type":"item","numeric-id":2482450,"id":"Q2482450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519ec0e60827d337b6838a397d837614afab3acf","datavalue":{"value":{"amount":"+0.8243275880813599","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":"Q2268100$C3C0C65B-D7BF-4332-9B24-F5CA3CA6CEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd416ff278c1f65eb4fc3475ce4889ec6d4f458","datavalue":{"value":{"entity-type":"item","numeric-id":5387865,"id":"Q5387865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2489535eaca7ff73cdb15c55b2e93ffd7b631bc","datavalue":{"value":{"amount":"+0.8045764565467834","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":"Q2268100$67300BC0-BD3A-40BD-91FA-7448BBFF7784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee9fa22fef036a9ec5d24ed2fd065ec736af9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3636823,"id":"Q3636823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b729794cb5dbf120f0caf7b473a38f87dba23334","datavalue":{"value":{"amount":"+0.7911336421966553","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":"Q2268100$C545BCF4-F230-474D-B3B6-36EE9C609819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2268100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2268100"}}}}}