{"entities":{"Q2902912":{"pageid":2913637,"ns":120,"title":"Item:Q2902912","lastrevid":44724090,"modified":"2025-11-25T11:46:25Z","type":"item","id":"Q2902912","labels":{"en":{"language":"en","value":"Union and Intersection Types for Secure Protocol Implementations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6070072"}},"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":"Q2902912$0B16D0DE-45EA-4FC3-AA9A-DF8B9FC8B0E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af0d715110ab3614d8de18fc2777204de14bfe27","datavalue":{"value":{"text":"Union and Intersection Types for Secure Protocol Implementations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2902912$8AF4C04C-6774-4282-AE44-DC25D8158EF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd07200e7828399a3db4fc73eea604d7bee5fbb2","datavalue":{"value":"1378.94020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2902912$F2992897-1E75-4473-B286-1802265E441B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"019888a309ffe70af78d36ff96a15e88889e62e4","datavalue":{"value":"10.1007/978-3-642-27375-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2902912$36E11208-F4EF-40FA-B75B-4BF0F1BB1C88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94da2d388842df4fa004fbbcc16b763ee85cf5cc","datavalue":{"value":{"entity-type":"item","numeric-id":860895,"id":"Q860895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2902912$8919359D-A793-42A7-911B-A8C8B0F74DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dca520b2b44c51b0ffb92f2dd255590e5e0e273","datavalue":{"value":{"entity-type":"item","numeric-id":2324195,"id":"Q2324195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2902912$8F30AB72-84B3-419E-A013-FD136B4404E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6264dd23125063a4d9bc0225253a351f0e000ad","datavalue":{"value":{"entity-type":"item","numeric-id":2145384,"id":"Q2145384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2902912$90C392A5-A264-47B9-BA8F-9F3B8DF8EA6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"55851d6be6bbfc6bc5237551987959f23ec16935","datavalue":{"value":{"entity-type":"item","numeric-id":2902911,"id":"Q2902911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2902912$65D36BC1-8FB6-4965-BD77-A9C9AF844A76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f4dedc39b80267dcbbeaa0c773c1f08dea2c01c","datavalue":{"value":{"time":"+2012-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2902912$691CE9DD-BE64-4BE9-AE33-067CDEDCA0B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2902912$A90CAB79-9093-4594-9D51-C9EC7B7B8325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2902912$605AA38D-97A5-4021-923F-0574BC3FBF3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41b1b0ce67f2c5802434e0280373f7c83002578d","datavalue":{"value":"6070072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2902912$A52B2A12-CAB0-4EBA-93DF-923492E1034F","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":"Q2902912$2782A4E0-9464-4FA4-8CC1-9ED9924882BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2f2c78631e4fc5d0214cdcbb6b73795c1b5873e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27375-9_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2902912$37623FBB-2145-4B6F-971D-58FCA73B353E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b2a31cd8f6e8148621dfa9138932a508966c09f","datavalue":{"value":"W2137402267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2902912$1B11D859-B974-463B-A2E3-E8D0A55F0DBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7aacd9811d2e53965c859ce9b2d636b96d6078","datavalue":{"value":{"entity-type":"item","numeric-id":5178900,"id":"Q5178900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7b13c2814999a81240f9ce1b4d337a071b2803","datavalue":{"value":{"amount":"+0.87281775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2902912$2942D2FE-F796-4DBE-896E-DB1A088B21CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d5965192a5442bcb36976825ca54ec4c60467e","datavalue":{"value":{"entity-type":"item","numeric-id":4923367,"id":"Q4923367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8362a882d58e15ccef78e58d08ada2fab9ca01cd","datavalue":{"value":{"amount":"+0.869793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2902912$E47FC2FE-A4FB-493B-B187-B7D2CB1C17A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea646adf40cc35916fb338c1fec3383ca8e66e76","datavalue":{"value":{"entity-type":"item","numeric-id":3189806,"id":"Q3189806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3c6b4e03988d194497967e69bebb66168bad2c","datavalue":{"value":{"amount":"+0.86763686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2902912$41CD0DD5-0E7A-4912-AF55-0BA4A8C0B0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8549f214ce20428586a68a10c6e2fa28ce9afc07","datavalue":{"value":{"entity-type":"item","numeric-id":4411972,"id":"Q4411972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7015a74e886fbb133c3f114f83b02347635f9a","datavalue":{"value":{"amount":"+0.865676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2902912$DE771F53-E10B-41C2-8AF2-AC8107FABD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebed8ea2be0268fcf22fe9ae3b651c515c049c4","datavalue":{"value":{"entity-type":"item","numeric-id":2165457,"id":"Q2165457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdba8a9c035ce9e78920cfb19dd931bfe15d349","datavalue":{"value":{"amount":"+0.865507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2902912$18BF3B9C-34CE-4327-BE23-47631AD3418E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879f7622f6b71d539d4539e2aecf39c1b4923fd7","datavalue":{"value":{"entity-type":"item","numeric-id":2841272,"id":"Q2841272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0beaf3b69d06095c270783676ae83ad1916cc580","datavalue":{"value":{"amount":"+0.8581746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2902912$CDC1662F-576D-4AA6-99CD-9A0C988359CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288e4801fba6133d1521284c68a72f3eb2421d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3189851,"id":"Q3189851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1681cda2f9297c50fdf47d5ede76e30ec652e2","datavalue":{"value":{"amount":"+0.8521059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2902912$E86A4025-B630-4F94-8E72-218F99D57D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434b4e9ed0c59f80b3f1944b27f059ce0d7eb6d4","datavalue":{"value":{"entity-type":"item","numeric-id":5901899,"id":"Q5901899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b66fbb830186f7e5cf471aa3cc7791d326e1ab2","datavalue":{"value":{"amount":"+0.85140264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2902912$59FE9EB5-191D-4B8B-B974-F73970F852D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983697de21a8fc3493122f8b9247f883177d4ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5492942,"id":"Q5492942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9fee47a4bd80d41de3de83454484b8121c0569e","datavalue":{"value":{"amount":"+0.8494884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2902912$7B0A5352-0210-4676-90A8-EE6D4D3D37AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2902912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2902912"}}}}}