{"entities":{"Q5445502":{"pageid":7475061,"ns":120,"title":"Item:Q5445502","lastrevid":50294438,"modified":"2026-01-13T18:46:19Z","type":"item","id":"Q5445502","labels":{"en":{"language":"en","value":"The Layered Games Framework for Specifications and Analysis of Security Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5242851"}},"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":"Q5445502$0E2189DF-5B15-456A-A441-66EA11DB86CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b08d56359be71e48957c31396efcb6b0fdbc92d","datavalue":{"value":{"text":"The Layered Games Framework for Specifications and Analysis of Security Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5445502$05315E09-01FF-461F-AA51-68EA6D3BC2EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d23faa1117f5211837d4f64317a04f92e15f6a47","datavalue":{"value":"1162.94368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445502$AF28C3B9-D5C1-413F-801E-0E189272EE75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ec2dd5718776139848545046a261ef69607a9a7","datavalue":{"value":"10.1007/978-3-540-78524-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445502$5C282677-BCB4-48FB-A4F6-D2A98ADCE2D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa1e68cdd7ba313bb6a430343fc1c75841122749","datavalue":{"value":{"entity-type":"item","numeric-id":1001684,"id":"Q1001684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$A0AC14A3-06B4-4C07-BE18-55938E2AF484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad0c9aee44aed33738c451a2264e11500c6f997","datavalue":{"value":{"entity-type":"item","numeric-id":1001685,"id":"Q1001685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$97D2E337-966E-4923-B5BA-E2BBC3832CBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68112eaa93e12413c3143a6d55dee273a898891e","datavalue":{"value":{"entity-type":"item","numeric-id":2796114,"id":"Q2796114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$5F2FA88D-8B45-4521-B5F0-50CC7513699F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"320775bc8330b9df723b904d964cd89baad4e710","datavalue":{"value":{"time":"+2008-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5445502$4942E29E-B429-4DF9-9148-AA50AECFC1A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445502$5BB588A2-7D0C-404A-990D-ED45CCAA7ADE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"768aea82470f804ead6832a190d66b10442bf203","datavalue":{"value":"5242851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445502$8780D277-331D-49B5-A231-3D9D850B13F7","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":"Q5445502$B565B60B-4EF2-4BB4-915B-01C42E16807B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0a083b76c247d20646be95ca01216d5434405af","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78524-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5445502$CE77CC54-3BF7-4358-AFD7-53B3EF8F68A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"397a85b4571d1f0659ad03725e902194ac282d10","datavalue":{"value":"W1520461456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445502$928D3FB6-2319-4A00-AD53-7B93EC273330","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb649047d8af54739f248f01cac42e5a1915d422","datavalue":{"value":{"entity-type":"item","numeric-id":1601823,"id":"Q1601823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$73593EAB-33CE-4FB7-8E54-00E293CC8FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d04d0c80b8c408bd2b69f41178c3a3ad5b53c23","datavalue":{"value":{"entity-type":"item","numeric-id":860896,"id":"Q860896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$DF55C62D-68A0-41A5-8D22-7F9BEEF63387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"743ceb863d0b254d39c50d558c9d4b16bdd9abfc","datavalue":{"value":{"entity-type":"item","numeric-id":5862529,"id":"Q5862529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$E9118E88-1E81-439C-96BD-D2B2EB1E0134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c990015ceac3495cf18dba1e5ef3b6015c35a4","datavalue":{"value":{"entity-type":"item","numeric-id":5901780,"id":"Q5901780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$9734E06A-9E78-45DD-A878-8959316D66AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e3b4249b8398eaf62ca99e3ad99ebe270af8ed","datavalue":{"value":{"entity-type":"item","numeric-id":3593109,"id":"Q3593109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$8C943E43-9667-4FDE-B96A-BC98F277A8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130d8cee0cbafd6c2682e405b6406225714b70b5","datavalue":{"value":{"entity-type":"item","numeric-id":2499272,"id":"Q2499272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$1A3111C9-D344-4D2E-8430-8D7A443ECCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235f143b67236a4c018e8d7a877e21a311768c43","datavalue":{"value":{"entity-type":"item","numeric-id":1976007,"id":"Q1976007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$2EE5E751-80E7-46E5-9D49-8EBD04AFEEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0ce442b35dbcc1ee36bc549c0d130af91bd5a8","datavalue":{"value":{"entity-type":"item","numeric-id":4783717,"id":"Q4783717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$A31D4274-F4F4-404F-A34C-2BFD12FC3096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31bab77ca488f8e706b58bae1d9e7cfe987996c7","datavalue":{"value":{"entity-type":"item","numeric-id":3524308,"id":"Q3524308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$3C8F66D4-9DEF-4FBA-AB29-3D43C0A86875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2e73fe6a151d88d584472b7b88f172ddbe8ec9","datavalue":{"value":{"entity-type":"item","numeric-id":5898364,"id":"Q5898364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$8C0772CE-4D93-4E50-A1C3-D4295AB89E12","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":"Q5445502$551C4E24-3E06-47CF-96FF-EAD364FD89C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"560f1b91e63b5320a10b8e544f9dff86c4dcc552","datavalue":{"value":{"entity-type":"item","numeric-id":3729902,"id":"Q3729902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$149EBB4F-338A-4223-8DA4-0554861229C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2bc624d2d515bbf74c23dc1a8e9515b97b9309","datavalue":{"value":{"entity-type":"item","numeric-id":4826097,"id":"Q4826097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$C766D482-403D-4B3E-AD17-53DE36461405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbfd7ad7652adeca57bebb1faf8fdc0dde6cba77","datavalue":{"value":{"entity-type":"item","numeric-id":5445502,"id":"Q5445502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$F7423A66-A76E-4E9B-AEF7-450A2FB2A7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7feb0d5e48c90a39016a0fb2a3093b09eb1694","datavalue":{"value":{"entity-type":"item","numeric-id":3541883,"id":"Q3541883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445502$1FF2E480-993F-4E3E-8ABE-3783DCACD19E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2121d09da79304284cb417be0b8257f30277c76","datavalue":{"value":{"entity-type":"item","numeric-id":1001686,"id":"Q1001686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e555d4ba17e37aa10572f73f5e48b0587d30cd","datavalue":{"value":{"amount":"+0.9040163159370422","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":"Q5445502$AD030146-D284-4897-B167-BA74BF82BF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a579d74b5901b8fc4e64efe00fdd6b157b92156d","datavalue":{"value":{"entity-type":"item","numeric-id":607405,"id":"Q607405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae27701957b0d93affa356c04c6fc3bf772d76c","datavalue":{"value":{"amount":"+0.7524366974830627","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":"Q5445502$DCD095F7-7A0A-46BF-9126-1E83928D199D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa5304097119d1ad0c42900d8f23198f43c11565","datavalue":{"value":{"entity-type":"item","numeric-id":5066937,"id":"Q5066937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b8b25dfc2f5d566fc2e79d68a932c720f73340","datavalue":{"value":{"amount":"+0.7150972485542297","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":"Q5445502$9F42839C-6166-4E35-B092-92F3017EBB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b738480b735cc8187c46fed095102824b05c6805","datavalue":{"value":{"entity-type":"item","numeric-id":3092371,"id":"Q3092371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5316bac34b9449438cbf8cce58a422d5407a3c4","datavalue":{"value":{"amount":"+0.7014716267585754","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":"Q5445502$D722823A-BF77-46D8-8BC4-F2949B5EF770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800756ad3e18b47cdd36589fe9e6293f6036035a","datavalue":{"value":{"entity-type":"item","numeric-id":2175214,"id":"Q2175214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b28eec8afdbcce0582bf7f2e858797178b0c7c4","datavalue":{"value":{"amount":"+0.687321662902832","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":"Q5445502$9C42298C-55FC-42B2-AD11-91B28C5097D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5445502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5445502"}}}}}