{"entities":{"Q5857801":{"pageid":7887352,"ns":120,"title":"Item:Q5857801","lastrevid":93243983,"modified":"2026-06-05T04:02:54Z","type":"item","id":"Q5857801","labels":{"en":{"language":"en","value":"Separating the specification and implementation phases in cryptology (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7331396"}},"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":"Q5857801$8CDE6B73-8952-40DC-B586-56A37CF8B9F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bfb16e823ac302d2540c1a5e1d09780fd1259e4","datavalue":{"value":{"text":"Separating the specification and implementation phases in cryptology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5857801$E5718127-FC0B-48C0-AD03-9045C9FE4C73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f32cf92bffd11164fba80d4b1767a9f8b9ae6ee","datavalue":{"value":"1457.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5857801$ACE1DC49-7945-481D-A500-6269B7A74E2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2341e5426fa1629b1ce91ce140064feef18ebacd","datavalue":{"value":{"entity-type":"item","numeric-id":3211247,"id":"Q3211247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5857801$E0B7680F-286E-4C62-964E-21D247BB49E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a454f5945aac95f69d0fc61766a46ba70c05ad09","datavalue":{"value":{"entity-type":"item","numeric-id":5857797,"id":"Q5857797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5857801$39A49B33-5E36-4DE8-BD30-1F2A096064B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d00bdcd19b4845662efa642e1e79b87a36e3395","datavalue":{"value":{"time":"+2021-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5857801$D024C990-B52E-4AFD-B080-ABAE2E8411D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5857801$231F6AE5-6D11-43A3-AA66-562CFC5CF4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5857801$DF7FFE64-3FCB-43C9-945F-FFF6D361D1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5857801$E673187A-726A-473C-A279-9B3C7FF4B82C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acd49153360b8158f92c2694839d3e45f7b57858","datavalue":{"value":"7331396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5857801$84365370-349A-4B63-BF54-8C4FED1F7879","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea47c6fd624caef33a7341c43ca3518721899139","datavalue":{"value":"cryptology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5857801$B9D72E45-32C9-44F8-9C08-D8F1527ADCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5857801$0515243B-C283-4806-8332-1E5F86BF63D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f93c6caef986b21f94fd941149b5d6249ceb752","datavalue":{"value":"cryptographic protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5857801$41183C6C-EA04-45AC-B05B-FADE960DBC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5857801$DA1A5D1C-E4BB-4EEE-B9FA-EC249452B362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39dc0ad3d5af7d6b198f0bd6e63e84bf93a9fba4","datavalue":{"value":"knowledge state","type":"string"},"datatype":"string"},"type":"statement","id":"Q5857801$EC69D1AE-15E6-4C91-B1A4-A447B4E67285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67783b670d7960608f5729f7ebbabc2709e1205b","datavalue":{"value":"protocol execution tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5857801$3BF56366-003D-44B1-BA26-7BBB96EC7E7D","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":"Q5857801$9AADEDEC-1E4A-4714-8A47-B57978BD3CCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4451a9e10b23c194202bf1b5306370888a1a20d3","datavalue":{"value":"10.1007/BFB0013893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5857801$44FE19EC-0E88-42B8-AD8E-BAA5113E6A31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d457209a09985489ab96bb24b4900cf97b9ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb63547c0d2a50c10fcf55784b4ebd92d8ef873","datavalue":{"value":{"amount":"+0.7297934889793396","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":"Q5857801$A38F1FF7-F13E-4C54-A48C-352DA32B5455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac66808a3dd3163d6bac7d40284249429ec871","datavalue":{"value":{"entity-type":"item","numeric-id":4341785,"id":"Q4341785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb63547c0d2a50c10fcf55784b4ebd92d8ef873","datavalue":{"value":{"amount":"+0.7297934889793396","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":"Q5857801$987123B1-E622-4574-AA91-55515B788844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d2f420951e1f81d2a2339d8bcebba082270950","datavalue":{"value":{"entity-type":"item","numeric-id":4417879,"id":"Q4417879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539b99463620c1b18c5447d20e8a6aa7e113551f","datavalue":{"value":{"amount":"+0.7265795469284058","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":"Q5857801$96B16CF3-4F2C-49B9-8ED5-2F260941959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbb70c2764bc98f95bfb4eb3ca38221a3564a571","datavalue":{"value":{"entity-type":"item","numeric-id":3734302,"id":"Q3734302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd605fd90114e8183ddf6693d984e160930857e","datavalue":{"value":{"amount":"+0.725258469581604","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":"Q5857801$1DD13576-CA2E-4927-838B-7A94A6FB6632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b6a782de78bf3237146a88591e709b94690591","datavalue":{"value":{"entity-type":"item","numeric-id":4808837,"id":"Q4808837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150ba83451696d4025e2cc282514d2dd7925259c","datavalue":{"value":{"amount":"+0.7224539518356323","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":"Q5857801$1E396ECE-8315-4D11-AA23-52E60380454C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separating the specification and implementation phases in cryptology (extended abstract)","badges":[]}}}}}