{"entities":{"Q3460863":{"pageid":5240263,"ns":120,"title":"Item:Q3460863","lastrevid":52429964,"modified":"2026-01-22T15:23:46Z","type":"item","id":"Q3460863","labels":{"en":{"language":"en","value":"Alice and Bob: reconciling formal models and implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527832"}},"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":"Q3460863$9D131C8B-1E8E-4822-B0F7-A9F6A2C6B160","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"677afed5218ee34454d97bbc7e9e09d616168883","datavalue":{"value":{"text":"Alice and Bob: Reconciling Formal Models and Implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460863$FD7A3C3A-E6A9-443F-9929-31C271736DAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"695560c287ff50bda2118febb0ea6e7baef40528","datavalue":{"value":"1434.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460863$F9108139-B6E5-486A-99F1-AE6E3A02BB4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2bd28b1df8bc02605f2d1d9ecfa0d2c59f76531","datavalue":{"value":"10.1007/978-3-319-25527-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460863$C9C273AA-5780-40B6-8FE7-53796238B224","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6225ca77c89e4aaea49a6758f26eb69d140bf24","datavalue":{"value":{"entity-type":"item","numeric-id":2165455,"id":"Q2165455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$1EA159FE-4A1D-4CFE-9A09-B7918C16C251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"839e3775cac5c6f20a175f289a705420733ecb14","datavalue":{"value":{"entity-type":"item","numeric-id":2154013,"id":"Q2154013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$7EE1BB52-CA4F-4002-AFC0-878A7883ED52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$7DA29FBB-82C0-4079-9518-5D68B62E2AE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"230a3c844c1293bf0d2be6b72e34eb37f9ffb929","datavalue":{"value":{"entity-type":"item","numeric-id":3460853,"id":"Q3460853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$DA17D9ED-967F-4C1C-8B27-ACA86B552980","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460863$64DEEB88-1E2F-4704-BFC2-986784BF71C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460863$EB6008AB-66EA-45FD-ACAF-0D2105F3D00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460863$20AB64E9-6152-4F6A-BF2C-1CA793EC1E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460863$FC09F97F-A1A5-43C4-9253-71ABB22F96C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4aa35aeb457d541599a1a9588371f89677e332c1","datavalue":{"value":"6527832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460863$ED894C40-B1B5-453B-9F73-7920983731C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$B57FD903-5FB0-4EC5-91E2-CC814C775652","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":"Q3460863$F033A189-040E-4A90-B33F-54F53C517429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0c8a650f5b4c84deaaf44111c1bdeb66ab2105b","datavalue":{"value":{"entity-type":"item","numeric-id":39489,"id":"Q39489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$8B34AFD0-FAFD-447F-87DE-1AD269086C5B","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":"Q3460863$E335EF0C-4251-425D-BE9B-27C5DFA6BE37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf8c655ff2cff034790b84445f4cfecae1f7c2b3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-25527-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460863$169C4A9C-64D6-4B00-85F5-FE007056428D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15dcd224e3a52aac2b264e5f73b76602f669ef83","datavalue":{"value":"W2296575472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460863$C65F8643-FD8C-4E05-A61C-1F8BD75E5C9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$B1E91FDF-48D4-4A8B-AEF3-CF94E7BA63CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$20B63B85-2670-4D53-9925-C8C29F4DEB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88f4538012cf3c7996fa1d3df7499536a45a4fd","datavalue":{"value":{"entity-type":"item","numeric-id":3460863,"id":"Q3460863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$C595CC25-A3AE-457E-BC9C-3950684B6A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01dd4d0374294e637aa4b0eaca40fa6560f0a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2945705,"id":"Q2945705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$76A5E65C-CEB1-4793-8187-6BCF2D06E92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6027468ee6b0aca44d81edc7a0ca83c91789f5","datavalue":{"value":{"entity-type":"item","numeric-id":5447364,"id":"Q5447364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$BAD56CA4-10B5-4AE0-BD30-5175B03F35E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a13c2348d7410cd3fd5e2ff270902fb9165ddc","datavalue":{"value":{"entity-type":"item","numeric-id":2463562,"id":"Q2463562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$59FACACF-811B-4A28-A7B1-9E0269C29592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a006baf1520208419db070ead8cdf5de188e60c5","datavalue":{"value":{"entity-type":"item","numeric-id":860900,"id":"Q860900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$C38FB0AA-7069-4B8E-949D-AD1B2702FA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071541525a03ecfa18975e7362b5f803c162dec3","datavalue":{"value":{"entity-type":"item","numeric-id":990127,"id":"Q990127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$A9EA6188-9944-4756-9315-11DFB008643D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822a596fbfc3a97a60d23e4f2069a139f2e245bf","datavalue":{"value":{"entity-type":"item","numeric-id":610283,"id":"Q610283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$242C8721-3B28-4EAC-8B2D-064B3DD1EBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbc703228a035d147d0db52ae748cbc53607ca0","datavalue":{"value":{"entity-type":"item","numeric-id":2767013,"id":"Q2767013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460863$2ABE9D6B-7FA0-4DF4-BA00-12B5F5441DE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216a200bf58fa871c113084c9c69aab426b1cb58","datavalue":{"value":{"entity-type":"item","numeric-id":2848475,"id":"Q2848475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e104d07c7b71a2bfb0cb736fdd1ff07183af0b","datavalue":{"value":{"amount":"+0.8371506929397583","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":"Q3460863$3BF61035-29C7-4937-9775-6EE5C115AD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc262574b5a5390f3c2a77b509c2ec76df191718","datavalue":{"value":{"entity-type":"item","numeric-id":860900,"id":"Q860900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc31544e84defb09bdcf075c99f2167b03c61802","datavalue":{"value":{"amount":"+0.8193252682685852","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":"Q3460863$C475E19A-74BD-462F-ACF5-15434CC870E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8fecb10504c3b0395db0e3a6c731436ef91967","datavalue":{"value":{"entity-type":"item","numeric-id":2945705,"id":"Q2945705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00689dd86307b5cde3628d787af44913e3be05a8","datavalue":{"value":{"amount":"+0.8110087513923645","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":"Q3460863$7278EE4B-BAC8-42DF-A0C3-E8B0367247A5","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":"3993b483314b19e81b456ea74c99363005f7c18a","datavalue":{"value":{"amount":"+0.7409766912460327","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":"Q3460863$243278EA-9E80-4015-9657-BD0B9C331155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178f0e9612362a7d6846057332ff78767b57026f","datavalue":{"value":{"entity-type":"item","numeric-id":2463562,"id":"Q2463562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4c17e7e49caabaa8f6d8900826cc2b5f76deec","datavalue":{"value":{"amount":"+0.7386171817779541","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":"Q3460863$D030EE51-3B97-4E07-87B3-0AFF5D0ECCA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460863"}}}}}