{"entities":{"Q2482450":{"pageid":2493193,"ns":120,"title":"Item:Q2482450","lastrevid":50338505,"modified":"2026-01-13T20:41:14Z","type":"item","id":"Q2482450","labels":{"en":{"language":"en","value":"Hierarchical combination of intruder theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5264855"}},"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":"Q2482450$907ED0C9-07FB-4038-9C5F-59E987502AB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a0cbd54dd2583be23a6ee98e7878a28ab7a32a4","datavalue":{"value":{"text":"Hierarchical combination of intruder theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2482450$57459842-F771-4688-B7D1-8020EDE3F8AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39910100aa197eb654b3263072f17c8a4cdbaca3","datavalue":{"value":"1147.68396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482450$ECAD898F-0A45-4619-BA97-EFD8DE9437B0","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":"Q2482450$402F856B-C4B0-4A53-8C06-32FD83974ECB","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":"Q2482450$BAD49706-546A-49B4-BAA4-B3545492D3FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482450$EFB7F837-27E4-49E8-A46B-ACFCA05C48CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a5658e642f3500324f78b23f55b5ff809190c23","datavalue":{"value":{"time":"+2008-04-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":"Q2482450$4DCDA089-61DB-4EA4-B964-A09BC05D9C71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482450$3072404D-39C5-4E1A-A815-8CE1B8F35099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482450$423FA6ED-676B-4214-B43B-74DFFAF2F46C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46ed9d94c7c75ff8f85d493e7fc520388fc8693b","datavalue":{"value":"5264855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482450$FDABFAA1-887C-4542-BDAB-3BE1FC7D42D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482450$73B18202-56A0-46C8-8F1D-03AE5C1E94DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2419bbf400c9bf07b96d67985a35dd35d96fb60e","datavalue":{"value":"Dolev-Yao intruder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482450$90CEACBD-BF23-4316-A314-CB45826001E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54cf8fa123c6bbc47c2a8bf587de44aa13d8672c","datavalue":{"value":"combination of decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482450$5EDB5393-6C45-47C0-A098-E10A48919AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482450$BA2F8D24-5352-4CC5-A834-6E4B103BD803","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":"Q2482450$FD6428B4-1A20-419B-AAEA-66E47EB0F287","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":"Q2482450$00749149-0C8A-4115-ABA6-5A4BEFE5587A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c6ef1d2a3e1b6a51a9147a60c5540ea01003903","datavalue":{"value":"https://doi.org/10.1016/j.ic.2007.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2482450$4CDA25D6-CB1B-4ED8-AEEC-7C2DA32191A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90b2aa5784339761963ace9d5d72e50a388e458d","datavalue":{"value":"W2071174211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482450$547D2F59-69A2-45EA-93B7-2372AFD47DA2","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":"Q2482450$0852B641-2071-4941-B95D-F2A61A74F7E2","rank":"normal"},{"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":"Q2482450$609CED33-E733-4189-B95A-68E0DD1A65C0","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":"Q2482450$6D4A79A5-178D-4056-A4AC-00167EB4A819","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":"Q2482450$425078C9-8FC3-4602-8385-CE3954A57030","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":"Q2482450$A0178600-ADF3-40C5-9F46-5A39F0CB303E","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":"Q2482450$937683B8-4B8F-4B53-9B85-0E8951EF23ED","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":"Q2482450$D0CBF90C-1F7D-4985-9465-2CCD4EE9CB7B","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":"Q2482450$20B8C85D-9985-4825-BB10-525C7EA5E8CC","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":"Q2482450$0591C11A-7B93-4223-BE1E-DC6D96049BB5","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":"Q2482450$2E6C9545-C7CB-402C-99E4-314C26B65646","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":"Q2482450$7E497A82-45F8-4335-B22A-D15559933DCD","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":"Q2482450$7CAD536B-EBC3-45AD-8B04-23B266045EC6","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":"Q2482450$2A6C7B1F-7CE5-4BB7-AD0C-F0B4554D70F4","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":"Q2482450$207438E4-3D37-4633-AF95-01D0EF6A855F","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":"Q2482450$05BE8EE7-BC7C-45A6-9FEC-A7ED6365DBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa504e0f08fb80deb55e9670109c1f4ade70333c","datavalue":{"value":{"entity-type":"item","numeric-id":5286164,"id":"Q5286164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482450$699C42AD-9308-4714-BF72-469B1C42CF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01da25e464c0aff317b994d1238b1479d2a74b38","datavalue":{"value":{"entity-type":"item","numeric-id":4447232,"id":"Q4447232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482450$B1E1429A-7554-4914-970F-57882680BEE0","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":"Q2482450$17FCECB4-2172-426D-BBC5-12D67660C76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c1aa602e2ab6867eb09c994970bc604aacfee","datavalue":{"value":{"entity-type":"item","numeric-id":4718481,"id":"Q4718481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482450$5DBC075E-CCE4-48CE-BA5A-35F6C34EAF8C","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":"Q2482450$BB22E718-ED05-435F-A432-12D4494E5A17","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":"Q2482450$FC1261F3-5DB9-40FB-8EF4-95D1ED28E542","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":"Q2482450$06426299-670F-4018-9069-00E480E97534","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29b4ff522304f7da6a756dbf99f87621d3b9869a","datavalue":{"value":"10.1016/J.IC.2007.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482450$AF318F2E-3266-4C73-B750-96672AEC0E3C","rank":"normal"}],"P1643":[{"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":"1cb9cd5365efb2d13bd5271cff910d72da698e7b","datavalue":{"value":{"amount":"+0.9933393001556396","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":"Q2482450$F9C5B892-3EFE-4BC1-BC32-6FCC57E9774F","rank":"normal"},{"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":"9e45c5d42c13b09678c862e15b3d61513e4837b0","datavalue":{"value":{"amount":"+0.8672556281089783","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":"Q2482450$728F3433-BCE9-41F4-8E5D-627C5252B5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3636626b40b876c246b33493d777fa8a11894f4c","datavalue":{"value":{"entity-type":"item","numeric-id":5703858,"id":"Q5703858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71e323d945a35dbc662d7ece52614d1e1d90330","datavalue":{"value":{"amount":"+0.8328807353973389","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":"Q2482450$76D2A02C-01D6-4E3A-A064-68B4325F0063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd988471b88f04073dfc06db5a937b528bf1a48c","datavalue":{"value":{"entity-type":"item","numeric-id":2268100,"id":"Q2268100"},"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":"Q2482450$243566E1-0E61-4D94-966D-7D6BAF8E7E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d561c31ef58d5a8f7573ee94598d2d324ee800","datavalue":{"value":{"entity-type":"item","numeric-id":5890483,"id":"Q5890483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09305a4b165520774856e03704d96e6e06dd2c32","datavalue":{"value":{"amount":"+0.8115547895431519","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":"Q2482450$4B7E1E3A-0B01-4064-8921-9BDE52394B7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2482450","badges":[]}}}}}