{"entities":{"Q860899":{"pageid":862747,"ns":120,"title":"Item:Q860899","lastrevid":64900185,"modified":"2026-04-11T22:58:35Z","type":"item","id":"Q860899","labels":{"en":{"language":"en","value":"Formal analysis of Kerberos 5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083534"}},"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":"Q860899$B27B248E-82B0-46A5-A37C-C3C6413BCC93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ad876f2d2f9adc4b1044032c26b1d4d0a177b47","datavalue":{"value":{"text":"Formal analysis of Kerberos 5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860899$EEA6C9FA-59E7-479D-A75F-156BBB70EE4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e2df393dccbce852e569f7b46a7ea7ce136e4d2","datavalue":{"value":"1153.94448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860899$021394C4-3E8F-4625-AAF7-75E24B93F0AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8510f67ded829d050fa65f426831813f9a22d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":860897,"id":"Q860897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$0B9FC46B-EEBB-46C1-89A1-1B876D76A578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1d041eba03fa13635f61e040bc5645d8fe81661","datavalue":{"value":{"entity-type":"item","numeric-id":731894,"id":"Q731894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$6C556B61-A6F5-4F7D-8183-6EA7D9AF023B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573842ba165dd66dbd6a65b4e800709a19a3a070","datavalue":{"value":{"entity-type":"item","numeric-id":372987,"id":"Q372987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$02469643-6871-4EAF-BDB9-C61B7A7E39F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfe0665bc5a5d7beddbfdd3b1ba5b536520e65e3","datavalue":{"value":{"entity-type":"item","numeric-id":860898,"id":"Q860898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$DAA7B817-A069-4394-964D-86FEDC25BDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$158301F9-CF76-40FF-B308-4D0887A92330","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$84DEF2D5-7449-4B58-8733-D937F5A979BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860899$DD0D8D46-8442-42B6-B3C9-BF5615EA5837","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860899$AB28FB93-E55D-4086-AA2B-62A6E2F5E511","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb1bb43cf8d6ac5c347c8d7db5af7cf241517797","datavalue":{"value":"5083534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860899$734D03A5-7929-4454-8C73-85E2F837F765","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30f05d2cfaad8f9daab4830a92001afdcbcf2024","datavalue":{"value":"security protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q860899$F52E1B13-CB22-4863-B18A-1309CC2292E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q860899$FC8D5553-94DA-46E7-A855-174F973A6148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37b329dac4af0abebc08e972d5404403dd9c2ea","datavalue":{"value":"Kerberos protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q860899$3D07349B-E77F-4E8F-990D-3F299BDADBA9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$002FB10F-C14F-4BC8-97D3-C461593E6182","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":"Q860899$965B21EA-030C-4A25-BAF8-61D1C5C597A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ba92dd5892cca36b83566c1bd5dcb740fbccd2b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.08.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q860899$B946AD8D-B343-41C3-A9EA-755F358B591F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1308375158e1e9c81e25762d29697741e010909b","datavalue":{"value":"W2118377274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860899$E76AF21F-05DA-40F0-B7CE-C6F1BA5EBD03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3a6e17ff0920e4418b5060610a8d9ce6814491","datavalue":{"value":{"entity-type":"item","numeric-id":4341751,"id":"Q4341751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$2F754987-66D9-47D4-BF9A-F0C1DEA7931A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6749097b3d24a4cc9ba62580498b90d1488191f9","datavalue":{"value":{"entity-type":"item","numeric-id":860899,"id":"Q860899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$0A7D45BC-5508-427C-ABF5-7040ED877786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8a3ac4639dd4b337d27b26782bc37c2b08b219","datavalue":{"value":{"entity-type":"item","numeric-id":4530846,"id":"Q4530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$3726AE34-6C74-4F5A-AE3E-3AE5EDA0C676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af330b30e73821cee4ac9b8648af5b85f9296fd","datavalue":{"value":{"entity-type":"item","numeric-id":2849864,"id":"Q2849864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$AB33A628-3176-4968-9157-08755591F6E4","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":"Q860899$BF9D0A67-7B31-4A0F-B1BA-93B30D4A0F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac6c90a7893cffa4f5166bb76fa157e7e77f482","datavalue":{"value":{"entity-type":"item","numeric-id":2708624,"id":"Q2708624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$ECF6744D-A998-42EB-834D-99C181B1E2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$C91DAAF8-BCE0-4201-8BD1-BED6360F65F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860899$28F0B673-B18C-4488-80DD-BDD08C40D4A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6131d0512772a6f2d434503eb67182b91fdddcb","datavalue":{"value":"10.1016/J.TCS.2006.08.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860899$2BEDF6B2-8EA0-499F-B67A-815D11964A4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52938173d04932b3988662935c6e5dacbef6dac5","datavalue":{"value":{"entity-type":"item","numeric-id":5862527,"id":"Q5862527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed788a7c2d13fd74200ba74148dba5b316f0fe2b","datavalue":{"value":{"amount":"+0.8406198620796204","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":"Q860899$93FA6518-4190-4B49-BFAC-7FE9C148E5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92b608a2de3d64b223b9e82023cd9f85e04fc8d","datavalue":{"value":{"entity-type":"item","numeric-id":4520535,"id":"Q4520535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ee77f2606ff32a9aa0f8f422960370163d55e6","datavalue":{"value":{"amount":"+0.8391770720481873","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":"Q860899$7D0F439B-0C62-491A-BCA8-1F589443D273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623ddf7ff8621804385746dde25768156f6ca4d4","datavalue":{"value":{"entity-type":"item","numeric-id":2482453,"id":"Q2482453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f951162e8da39560c39b9136ed1ae4c96f509830","datavalue":{"value":{"amount":"+0.8285288214683533","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":"Q860899$27C74AB7-21F7-4344-96BB-FDA2FBA5F0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47e7ec1e5a30b1ac2c484285f50241b6069b7ac3","datavalue":{"value":{"entity-type":"item","numeric-id":869815,"id":"Q869815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad6d4efa7b9ac041646d414b800e9e7b341e3eb","datavalue":{"value":{"amount":"+0.787743866443634","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":"Q860899$BC6941AF-C6EA-437A-A30D-91D502AE159B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4637d75fbbf0a991e29498ec0a5a2f1d55089a","datavalue":{"value":{"entity-type":"item","numeric-id":3521245,"id":"Q3521245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03a11f19f61d2ad594354fd030ea345e6672970","datavalue":{"value":{"amount":"+0.7611416578292847","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":"Q860899$D9135338-74B3-4038-AA90-0E04DCE645B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal analysis of Kerberos 5","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_analysis_of_Kerberos_5"}}}}}