{"entities":{"Q2464141":{"pageid":2474884,"ns":120,"title":"Item:Q2464141","lastrevid":50231393,"modified":"2026-01-13T14:31:29Z","type":"item","id":"Q2464141","labels":{"en":{"language":"en","value":"Transducer-based analysis of cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5219076"}},"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":"Q2464141$F05A6C80-9028-4F0E-A420-6403DDE8249F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd0ea8e9fdd45d90b324dfe5010ff67982f05e69","datavalue":{"value":{"text":"Transducer-based analysis of cryptographic protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464141$CF05C1CF-5A62-48B4-9869-6015EEE424D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bcb425459766218b9812c59a3af8097e80564e2","datavalue":{"value":"1132.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464141$06EADA2D-4D54-4B59-A2D6-5D94866216D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0737ca502857607b669ec6afb967ab7ce60981","datavalue":{"value":{"entity-type":"item","numeric-id":196898,"id":"Q196898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$B5020E5B-58EF-4550-A3F6-7393FB00B24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$9D109AE6-93C8-48A7-AFAB-9AAB4D8CDF2F","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":"Q2464141$4B6B673B-8A6E-4A28-9D92-7E8D3E410BA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faa4e2db889e78b8ad508b312ddd6133608474a0","datavalue":{"value":{"time":"+2007-12-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":"Q2464141$59C80581-27E3-4AEB-8D32-DDA26D7690D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464141$92215A7A-BC09-4CCB-A874-B8BD447763D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffb568b08f49f3f34f5cf77216833b5ec2853a97","datavalue":{"value":"5219076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464141$49DA3738-8A63-4E2A-966D-E9021FD66805","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464141$C5EACE32-BFE3-461D-86AB-6D7FAA910BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72677197119fc19b24d494dca7ac30fa6e7ff5f","datavalue":{"value":"automatic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464141$278AC32B-7DBB-478E-8D0D-C980EBC5473C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464141$66523843-1A3C-42A1-B332-F811A22D7D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b960583538d59069a8653c1bd9432554833c09a4","datavalue":{"value":"transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464141$E6F303A9-442B-4637-B9AC-9910411B0ED2","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":"Q2464141$BFD0B8D4-BE45-476C-BEEF-A6FA2A2C0B6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ec2e72bd71ec2378c6cbc3d23df771e461c54d1","datavalue":{"value":"https://doi.org/10.1016/j.ic.2007.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464141$14598900-74FE-4008-97CB-C21379FF1563","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e110c583970574ddbaf747eb0ee86132984681a","datavalue":{"value":"W2005317419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464141$8DF19E2D-F692-4EB6-9E88-CC74A6E8151C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a58478cb23d130ea8d44c11dfbd7b525c2bc27","datavalue":{"value":{"entity-type":"item","numeric-id":1401966,"id":"Q1401966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$E8A672B5-366D-411D-A4DA-0AE3B1EDD8C5","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":"Q2464141$8E7EA46A-854F-4463-8F0C-93260450E468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30310a45e21be380e8867993af0c4aadfbee3a1b","datavalue":{"value":{"entity-type":"item","numeric-id":4234051,"id":"Q4234051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$6CD6CBF3-9AD6-41FE-B8AA-69B5F893295D","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":"Q2464141$E5686E8F-3E5C-4269-8902-F4DE8E9A13CE","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":"Q2464141$715CD684-2EB3-40A5-A251-1C4EBA4D6DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d69af03ee4c43d6c01a82d5a153d541726cc26b","datavalue":{"value":{"entity-type":"item","numeric-id":2848035,"id":"Q2848035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$3EB73C66-6ABE-4F6C-899D-1F6F8CE389DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a36cb944c08f94b6b89ba8b39e20dba78080a3","datavalue":{"value":{"entity-type":"item","numeric-id":4535056,"id":"Q4535056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$53BEF007-77B6-4B0C-AB27-54DD1C55203E","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":"Q2464141$0671E802-8ABA-4867-BEB8-8E7FBF9D81AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a18c8ab6e2d2a9acc4d84df0c9eccee124cc9dd","datavalue":{"value":{"entity-type":"item","numeric-id":4747534,"id":"Q4747534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$8C36594C-F3EC-48D0-980D-BA0FDDE21465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890390b7c0f8ed661b7084e98573fc0b11a27b52","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$0114B143-C7F6-4388-AFF5-95FE469581A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ec65e1653887006cf0321041ea2e9f40544562","datavalue":{"value":{"entity-type":"item","numeric-id":4484508,"id":"Q4484508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$8254AD24-3941-4F80-B599-2B1034E36E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450a8b0c92c9dce6fc14bc9b012b549a36d4a792","datavalue":{"value":{"entity-type":"item","numeric-id":3590969,"id":"Q3590969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$5E363DD7-474B-4624-A80B-27ED7051BD7B","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":"Q2464141$9F69E038-C017-4360-AB34-668E05FDF3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$3E5F17A3-DC86-4E0E-A17B-8488078542C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec8c401681294a7756f4ddb27badbe03824b9d0","datavalue":{"value":{"entity-type":"item","numeric-id":4494379,"id":"Q4494379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$B1E98ABA-FA33-42EA-AE4F-45D20540F82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7636dbb3c75ee2b9209628fd8c22e23e8ac89e5","datavalue":{"value":{"entity-type":"item","numeric-id":4779173,"id":"Q4779173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$170FB778-7EDA-4DA1-B49C-8D8AFD4EF94C","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":"Q2464141$9065B160-ABAB-4644-AFC3-2BA82CDDD405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bbd3ff0e6402348b490ebdaf9fd860aa3f7a57","datavalue":{"value":{"entity-type":"item","numeric-id":1336737,"id":"Q1336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$747716FB-0971-4449-9824-54AA2483CA9C","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":"Q2464141$9CB8D241-5FCD-49B8-9855-1B3F8CE28B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a64604364cc0a7fd5b27872ffb55ff5cf11024d","datavalue":{"value":{"entity-type":"item","numeric-id":5394626,"id":"Q5394626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$38E27E54-69EB-4316-A3C7-7ADA965D412E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c31094c3c487532eb77ff8f97d35e08821f6d77","datavalue":{"value":{"entity-type":"item","numeric-id":5897485,"id":"Q5897485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464141$A1688A7E-C9D6-4ADE-80F5-3A4513053F35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a599422936c140421cd300f39cdec1910773de4f","datavalue":{"value":"10.1016/J.IC.2007.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464141$5BE80B8A-233D-4C03-B205-F3746F495F16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b78a29b45d92670f4be6d17fa67c9f5bf3db7e","datavalue":{"value":{"entity-type":"item","numeric-id":5309716,"id":"Q5309716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9cd55828ff9af7d57f17e1ae0703a582ec4353","datavalue":{"value":{"amount":"+0.953337550163269","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":"Q2464141$E31E93EE-938F-4D23-8069-46CA8144B14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b411fd1bad62179680754d72224adf838ef59be","datavalue":{"value":{"entity-type":"item","numeric-id":4484508,"id":"Q4484508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3eda92a473cdb0c216f427a02dd7baeae34627","datavalue":{"value":{"amount":"+0.8292133212089539","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":"Q2464141$8C29DF2B-4E74-4A7E-85DD-CD0554FD61E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd3aa44409d07b2319122952af2e5595175adda","datavalue":{"value":{"entity-type":"item","numeric-id":5897485,"id":"Q5897485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8881f73359b5a52e0fb73f43ea5094a618af26","datavalue":{"value":{"amount":"+0.8236585259437561","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":"Q2464141$63DDD3C4-1E91-4B7A-BB85-4D91C3605928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63524b67ceaef76c4968f1a64aeadec6e8818160","datavalue":{"value":{"entity-type":"item","numeric-id":5200014,"id":"Q5200014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea28519a535d4afb2a2263caef0e62dabb1a9dc","datavalue":{"value":{"amount":"+0.8015109896659851","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":"Q2464141$6495564F-E54E-4082-8D24-8D65EBEE8430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedd0051c9ad7964d7b4d129737bb77ebd01ce0c","datavalue":{"value":{"entity-type":"item","numeric-id":3590969,"id":"Q3590969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9771a8dcf787dd25c6ffa62ef7c34a7a28e88497","datavalue":{"value":{"amount":"+0.7938255667686462","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":"Q2464141$BC1CA8C1-0B19-4B8F-A7A7-D9088BD5DE6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2464141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2464141"}}}}}