{"entities":{"Q2894316":{"pageid":2905041,"ns":120,"title":"Item:Q2894316","lastrevid":79533110,"modified":"2026-05-06T14:08:11Z","type":"item","id":"Q2894316","labels":{"en":{"language":"en","value":"Verification of security protocols with lists: from length one to unbounded length"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051135"}},"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":"Q2894316$C418BCA7-EE30-4E5C-A2F2-4D470EE483AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a8352275c88c4dcd6e3f11f0b7bc86d315920b6","datavalue":{"value":{"text":"Verification of Security Protocols with Lists: From Length One to Unbounded Length","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894316$FA54E868-0473-4BCA-96C9-CA1DED0F2D23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"583fed1b3951dd4c8d1b5b421e94505024e89691","datavalue":{"value":"1353.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894316$DADFF7A2-2B7F-4906-914A-D347A0B6E1F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ec81175dd1a375f200df2a3f1c164f9e0e2c2bc","datavalue":{"value":"10.1007/978-3-642-28641-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894316$117E6937-E4A6-4038-B810-977CB308F4AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"595755f6e67022ec3a7532b3da6e55f999a53e6f","datavalue":{"value":{"entity-type":"item","numeric-id":2894315,"id":"Q2894315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894316$C1B31D33-B636-45B1-93A5-28A13270086A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5fa1ce06089524f81c4bc61a5f677242e6f668","datavalue":{"value":{"entity-type":"item","numeric-id":1041814,"id":"Q1041814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894316$A1C982FC-4F1F-43C1-B44B-E9E9CB38B9ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894316$CCBC3647-5006-4563-82EE-72EDCC0449A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894316$DD1C144A-0D7E-4154-A8AE-AE7063D22D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894316$ADDAC209-DDF5-45E1-A4C4-BFE7DA87DDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894316$EDA2D1B3-C55E-455B-B4EB-9B2BC5D943A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894316$AE957C86-CD3D-4678-B32F-99CC65698281","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d462f4c470469a467ba4cdf3f0b5497b079a9e5","datavalue":{"value":"6051135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894316$E7D1429C-0967-4C5D-B712-279E8FD4E888","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894316$2CD3FE56-E9A3-4A2C-B65B-427649783785","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":"Q2894316$E7B1FED2-5B26-4EC2-9313-504430E322DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12315d1357bbc16114a118396f79944cf03ca59e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28641-4_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894316$84D97881-B2E2-4990-8E9B-25BF646A6832","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e3310d38c718b93e1f0e1bdb81b48c961faa013","datavalue":{"value":"W120328900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894316$6F5EFFA7-7F0E-4F94-90B1-2967757FC5A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09da22a5e9d36dc473c65f2b481878f0117512b8","datavalue":{"value":{"entity-type":"item","numeric-id":4804905,"id":"Q4804905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989a512361f755794fa7f78cf1a51bbd0ff80e8d","datavalue":{"value":{"amount":"+0.7803968191146851","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":"Q2894316$0502DA01-06D2-4EA5-AFA3-720C13B8E6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83584459d55b152bc79ffd6b95eda2bfd2e79109","datavalue":{"value":{"entity-type":"item","numeric-id":476179,"id":"Q476179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4105dc73f034504b6c40044658f41c37f08bbb78","datavalue":{"value":{"amount":"+0.7728593349456787","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":"Q2894316$607990E9-AF4E-4841-9FC7-B1764A220E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4b3f3c5186a94d9d1506d81d9269420ae7c1a4","datavalue":{"value":{"entity-type":"item","numeric-id":3541693,"id":"Q3541693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1226a28d80825102146b4a23afdb71259c56380e","datavalue":{"value":{"amount":"+0.7546883821487427","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":"Q2894316$8E7DA054-21D6-4849-B698-5A42C3724E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d16fae76134ed98db17fb13d0a9777f13eaf36f","datavalue":{"value":{"entity-type":"item","numeric-id":4411970,"id":"Q4411970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2336f8dee9492f8f0957cfe64a54998eaf970ef5","datavalue":{"value":{"amount":"+0.7537972331047058","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":"Q2894316$1FEDDC09-760F-4648-95A4-C67B3EB88DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92d4df92d0f92c2d8429cf253458396a9f96ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5458850,"id":"Q5458850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a5c3b8e8130c983be2bd83d56b9e9e89c00f8a","datavalue":{"value":{"amount":"+0.7468382120132446","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":"Q2894316$CF2504C7-AC56-4C34-8200-E3F6823FB82F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of security protocols with lists: from length one to unbounded length","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_security_protocols_with_lists:_from_length_one_to_unbounded_length"}}}}}