{"entities":{"Q2849863":{"pageid":2860583,"ns":120,"title":"Item:Q2849863","lastrevid":51828491,"modified":"2026-01-20T06:08:57Z","type":"item","id":"Q2849863","labels":{"en":{"language":"en","value":"Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6209896"}},"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":"Q2849863$8B04AB60-175D-4560-9CE1-EDF6071F96A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e577b9255faa6e40750f791c7e03840c14bf327c","datavalue":{"value":"1272.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849863$465E0E9B-819D-4AAC-981F-6188D5B88DA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849863$12165EA7-EA35-4DB0-9A7B-A53BA02FC777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a21a699a0a68aecb14fb3639a56cdde4b7cfada","datavalue":{"value":{"entity-type":"item","numeric-id":860884,"id":"Q860884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849863$597CF0CA-52C0-41AC-A238-F940AA3A55AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849863$BE0B3200-A43A-40D7-B3E7-51E5ADBEB4C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"638032f2f820418962a6257c2d7808723f4e1ff6","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104052995","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849863$9E60F5A7-A7F6-4B67-87B9-781AE217CF14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849863$8FB160FF-0528-479E-A1CD-A28B415289DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849863$94195DB9-EF4D-4FDF-B656-39AB6E74963F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849863$D8E1C513-7458-40DF-8291-F96FA27C754D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01a3cb62f5957c4a5494e63e9d7be3b8a3c84c26","datavalue":{"value":"6209896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849863$024E9CCA-6814-4E31-AE0A-A698BBBFCC15","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":"Q2849863$DD52423B-17F4-4943-A9FC-E22B562EFB97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36261a88a490d6559e860fd76a66c3fee92daf2c","datavalue":{"value":{"text":"Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849863$41959980-1E97-4678-8684-D9E16A95094D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9153dc947fe448f781510dde0c48ae2bd944238","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00daa4b59072c02ff637d9dd291d93c05e2a9645","datavalue":{"value":{"amount":"+0.9993730187416076","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":"Q2849863$593B2D52-89B2-4F46-87BF-7CF7BC3B2803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c445258b911802bb3431fbaf0b8b45ce915f165","datavalue":{"value":{"entity-type":"item","numeric-id":2873786,"id":"Q2873786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a62d48d346a8e1c32367d964bb638b0658c1bc","datavalue":{"value":{"amount":"+0.8780263066291809","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":"Q2849863$F5A345DF-EF10-42D8-9009-929B58B80742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18232826ca113b0e1b038f48f7e5b5851600007","datavalue":{"value":{"entity-type":"item","numeric-id":2915104,"id":"Q2915104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96059e91bccf3cdc6e9edab938ad74fbd3c3408a","datavalue":{"value":{"amount":"+0.852157711982727","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":"Q2849863$5588CA22-1E72-46D7-9368-431743FDF9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78085207cf686163660e80e680bb10af9a32fec0","datavalue":{"value":{"entity-type":"item","numeric-id":5492833,"id":"Q5492833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f44045fce01fbcd96ab2c28cbbe95b9e4246fc","datavalue":{"value":{"amount":"+0.8407993912696838","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":"Q2849863$DD9E9F9B-FA03-4CDB-B69B-A030D64795C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c92ae53005a5d61974c6566ef8b91007845e730","datavalue":{"value":{"entity-type":"item","numeric-id":5179131,"id":"Q5179131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4de67062cd1d37cc9ded4eb9d0db8ab8584f483","datavalue":{"value":{"amount":"+0.8405473232269287","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":"Q2849863$AD76DC2F-0C6D-4583-8F16-97281D80DC7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849863"}}}}}