{"entities":{"Q5423888":{"pageid":7453462,"ns":120,"title":"Item:Q5423888","lastrevid":50202071,"modified":"2026-01-13T12:29:25Z","type":"item","id":"Q5423888","labels":{"en":{"language":"en","value":"SAT-Based Verification of Security Protocols Via Translation to Networks of Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5207680"}},"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":"Q5423888$31C3F864-BF19-45F9-97A7-EFFDED99595F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9185b82b345847bd84d4732377135a96ea4b7e4","datavalue":{"value":{"text":"SAT-Based Verification of Security Protocols Via Translation to Networks of Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5423888$A7F6E559-1403-433A-908D-5C148E606A97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f8c07c2048c39be15d2b57c71bfa72ca7810370","datavalue":{"value":"1196.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423888$7D7C3C6C-AAB1-4B23-BC03-F1FABEEE7E2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57327fe9adf26950e6aa3b48f91eb387f3771853","datavalue":{"value":"10.1007/978-3-540-74128-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423888$FD6A1E77-61A7-4B08-9B51-D755860F45D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e94a3bfcb7060bedfdffd65ed1424b52603946","datavalue":{"value":{"entity-type":"item","numeric-id":2201274,"id":"Q2201274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423888$6DF6CD62-24EE-45BB-8B96-486519ABED4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423888$B8333D77-D042-414C-87D6-5973B02A8AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423888$F8B1C93E-1B19-4B1B-AF68-AE9657B9CE19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e30f5c42aad001db063f687525b9c7c698118a50","datavalue":{"value":{"entity-type":"item","numeric-id":3003423,"id":"Q3003423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423888$21ABEEB9-473C-441C-A619-497F37184B78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87a96649daacfeeba0041267c016b2297b06f3bc","datavalue":{"value":{"time":"+2007-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5423888$99BEEDDE-E26B-4192-982C-B758D3D9A397","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423888$E655128F-6946-4558-A55A-FD69D3781709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423888$77E9AB01-272F-44F8-A0AC-B362CBD8156E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423888$86F5B8EA-B87D-4E5B-88CB-62FC1CC19813","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9f948b2879947e2f921d48b69298e6acc4ad199","datavalue":{"value":"5207680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423888$7FBE893B-C4BE-4A00-A3A7-8C86C38C2A07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423888$5628E05E-C2E3-4617-AA14-7701C1BD72DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423888$95877D8A-89B0-4725-9C60-FCAFCED656B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0143d2a1dc41fa935e59c3be31e1263c6255764","datavalue":{"value":"authentication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423888$ABC2AA60-0482-45AF-85D7-999E1794B9F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c5be43f59b23822927adea1d3ffb50f3bc628ec","datavalue":{"value":{"entity-type":"item","numeric-id":14788,"id":"Q14788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423888$2419FFB6-2919-4BCB-8C1F-B0BAE8F4FD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423888$B84265BC-8471-4451-A9F0-225A75149930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423888$C22B6338-B63E-4FAB-A9EB-20F893298474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423888$DFDEB3FA-6D2E-4A48-BA6F-FB66D7B376A0","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":"Q5423888$A5F17D06-114B-4431-BDE9-E03B5A5647A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79267f433a8ef8b613a5ab64180033c7dffc626f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74128-2_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5423888$210C456E-58F0-4330-9069-652282B5FA49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7773458aa9f6f920506495dcc936275358bd41c5","datavalue":{"value":"W2123023809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423888$D5C5ACDD-2A11-4CAB-8ED9-0A428ADDD4BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f67717d1ff5ca60a3a7267d3106d3b5356e1b60","datavalue":{"value":{"entity-type":"item","numeric-id":5422290,"id":"Q5422290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665ac2c2b1f0fac1fa637f64228a3746392d7d92","datavalue":{"value":{"amount":"+0.9564267992973328","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":"Q5423888$F6032739-279A-4386-90BE-A5F371198A7F","rank":"normal"},{"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":"8d7ef13f9b7dacd42ba91e137c9de908049ed8ea","datavalue":{"value":{"amount":"+0.8015854358673096","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":"Q5423888$CE806A93-7BF1-47A4-844E-12B72A80A0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5549dc8080b9d24517b6c5e99008b305ba2035a","datavalue":{"value":{"entity-type":"item","numeric-id":5192937,"id":"Q5192937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83aed4d4834c0c4e239d45c44178f9485c3e1cef","datavalue":{"value":{"amount":"+0.7949851155281067","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":"Q5423888$2E9F7551-EE42-438C-888A-1F5FF7B13A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2446463377b2281655c26d09793e95b7e9382d","datavalue":{"value":{"entity-type":"item","numeric-id":5325866,"id":"Q5325866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06d1af1ff1998920a9231758bb035a2f44424aa","datavalue":{"value":{"amount":"+0.7938190698623657","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":"Q5423888$181C0391-CCBF-4C2E-86A0-320A2E1C8F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7c9c48f6bd116c71c4eb2fb6361f19c294c7b0","datavalue":{"value":{"entity-type":"item","numeric-id":4422080,"id":"Q4422080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363726e74c179cc3decdce75b1c0c5273c8268df","datavalue":{"value":{"amount":"+0.7823509573936462","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":"Q5423888$E756ED4F-4F5F-4CFC-A6C5-50A025F880E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5423888","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5423888"}}}}}