{"entities":{"Q2163157":{"pageid":2173900,"ns":120,"title":"Item:Q2163157","lastrevid":55420078,"modified":"2026-02-17T15:59:26Z","type":"item","id":"Q2163157","labels":{"en":{"language":"en","value":"Program logic for higher-order probabilistic programs in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570114"}},"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":"Q2163157$08AB94A1-7902-423D-8555-4AED542FA915","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82462c9409a67c7acfe62369e29841e7fc861f7c","datavalue":{"value":{"text":"Program logic for higher-order probabilistic programs in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2163157$09EA943C-930D-45D1-9647-FD0F67E4CE6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"186cf7292c69b814c2e1692ba70b7e0e9171e34f","datavalue":{"value":"10.1007/978-3-030-99461-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163157$902400E2-EFCC-48BE-8AC1-CA2C1D5E8880","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27dc6294dd996af0b0a154b67b9774c5589ff830","datavalue":{"value":{"entity-type":"item","numeric-id":2163156,"id":"Q2163156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$A5EC81EB-5B66-4259-9F5D-C72ED2AF08F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b65a4dbc5f37e2627023acad8d57bb8d9bb41387","datavalue":{"value":{"entity-type":"item","numeric-id":420835,"id":"Q420835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$A57C791F-7997-489D-A889-C800E9E07B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d775ab79a72fac62a16b3751c11e9f531a58bde8","datavalue":{"value":{"entity-type":"item","numeric-id":231248,"id":"Q231248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$FC500C02-5400-45CD-AF7C-BB7BF7335F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b803906f970976a55a1ec0e1b8bcb05742777ca1","datavalue":{"value":{"time":"+2022-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2163157$DA88F08F-F1CE-4DE8-91D1-788E207EB23D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163157$66BFBE41-40C5-4863-9B1E-74C7D30F7484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163157$9F0EE05D-7426-4E37-BAC2-5B5ED39B101D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e621f92e7b4530ca93c704ddbf6fffade5f803e5","datavalue":{"value":"7570114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163157$25728D31-58C2-4910-87B4-0AB63BAF7ACE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd636c8d8299161d866e3390402f2ee9681f7680","datavalue":{"value":"higher-order probabilistic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163157$48D41DBD-38C4-4C32-AE2A-E7377096710F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163157$CE8BAC08-8EB1-4B00-B71C-A51E193DC501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163157$57C45AD7-C3CF-4B89-BB96-1A5A4E0B08D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163157$0AB0BC1C-74CD-48FF-9821-81FB22C2340F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6e67cf93810dc657a210d9312434097723ef56c","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$CF23CCC9-CBC0-4867-9745-3B2B2E1558E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$3A5EF384-5672-4BFA-9CE9-58569E125D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c35911ee98ff2de6334d1e2e50eda7a0f208d4c2","datavalue":{"value":{"entity-type":"item","numeric-id":24997,"id":"Q24997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$09572672-3ECD-4379-9016-49BFF5D5CFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$21A18CEC-7059-40C6-A7EF-B622B9E377AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$B0058F94-3BAC-436C-B35B-2BD3979425CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$7F4D1B1E-52E4-41F7-8518-F3D70BCC13A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$E3A97ADA-6515-418F-8712-F686DD1B6AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b3fcb0271dd0c2c597db890e550deacab936e2b","datavalue":{"value":{"entity-type":"item","numeric-id":20942,"id":"Q20942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$75510DFC-1885-4C66-A84D-90A37B3175E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76988f8412fd167f81e11d8da983aa5a3a9673d3","datavalue":{"value":{"entity-type":"item","numeric-id":5974177,"id":"Q5974177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$6F4E8482-90C7-4876-9EDC-0376FFD38A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$37536799-74A0-4F1F-ADB9-0B454E503ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f427ab6dbbd025b0c0b66dd047be36c332e9e80","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$3956E237-7883-4C7F-BF65-FC3CDDA0EBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9fd7dbff509abaee9c64d21afb19f85055bad01","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$25812ACE-88AA-453C-B929-A388B8CA1F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$1F8F5B82-67EA-4F0A-B251-B7A347C60E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12939772fc363709f781c5699946bf5e9d5e63eb","datavalue":{"value":{"entity-type":"item","numeric-id":40373,"id":"Q40373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$465265EE-FE0C-49FD-AD92-836DD310ADE0","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":"Q2163157$51E34ECB-0B81-4BB8-961B-DB0EE9A378AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92a348973d1b17fd78e72f02cab1b824792a7489","datavalue":{"value":"https://doi.org/10.1007/978-3-030-99461-7_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2163157$B196BD01-A98B-45B5-826B-E2329654A333","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"164ae8fae164fce151bd3cbb1feaf80cf77a17bb","datavalue":{"value":"W4285158717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163157$E3B8C914-5F75-48F7-BE0B-FBAFB95644DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcbfd76296100082bca0dcf7cbf3fe7bd904bd27","datavalue":{"value":{"entity-type":"item","numeric-id":3618814,"id":"Q3618814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$E2F489A9-E6F8-4BBE-A2C5-BD0EFC1FA45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034871cb4b52e017303f46a0f0038df9cbfe5476","datavalue":{"value":{"entity-type":"item","numeric-id":774433,"id":"Q774433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$8C71F40D-8A80-4A28-8446-C5F2D35103F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30934abbc32128e5c1a91e04943aee41658d6f31","datavalue":{"value":{"entity-type":"item","numeric-id":1694568,"id":"Q1694568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$115FBA34-7F25-42D2-82CC-E4B0B518CB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$9FD7340E-70B0-4D12-ADCD-B34714662C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$16537A2F-A2E6-43CC-A31E-B11957D49EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c5f6db121a6cfd9285a3ab5f1d994402b6524d","datavalue":{"value":{"entity-type":"item","numeric-id":2802431,"id":"Q2802431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$45B9C50B-38D6-45C1-9DE6-C09EAAC0B8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$F0B17905-2403-45EF-83D8-C06BE8AE86A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$41CBC751-2653-4143-AB11-5C553B212FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$C3651886-81A0-4973-A31E-17E5569786D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485c45e451fd0f7a92a5994a15590d3cd4011eba","datavalue":{"value":{"entity-type":"item","numeric-id":5144684,"id":"Q5144684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$CE15705F-84A0-447E-80F0-C37C61C4E952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ce2556dd2c787e12076af0e059323648aa5a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1701041,"id":"Q1701041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$E75D836F-6C77-42A5-9553-A6235132CDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dd873a66486e9e38fc156a4b8aa6ba19960bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3088003,"id":"Q3088003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$F15B0962-6D27-44AC-B042-0ED53DAC7159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$7C5EA0FD-7355-4E9F-AD63-2BD2C2F14AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81309e87becee3cda8d7174d2d8b5b31baaaeac","datavalue":{"value":{"entity-type":"item","numeric-id":2576950,"id":"Q2576950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$DB4C33D1-B51F-4725-91C8-49EC2C78E0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a334f4e96bc67eac9a5d7b987fa6f5d79a92b99","datavalue":{"value":{"entity-type":"item","numeric-id":2802495,"id":"Q2802495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$FFB921B7-D71B-4B04-AA6D-BE8D60E2470A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1e49d74090d77a773896f7b2be0970d01b92ca","datavalue":{"value":{"entity-type":"item","numeric-id":5747663,"id":"Q5747663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$C745FB9E-3F93-47A9-A1F7-D5D85430013F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$99C8E468-29A4-497E-8441-F2FFA2FE117F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$8F516099-2976-4114-B772-65F7A2FBED7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163157$53DCAC56-79E3-4D8A-8BCF-0AAFA69D1A42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ffcca57f48281da24c6683f011ed3dd7bbf592","datavalue":{"value":{"entity-type":"item","numeric-id":5144684,"id":"Q5144684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0e2b3e89ed4b9d1ee7743d0b7d82a92ede21a5","datavalue":{"value":{"amount":"+0.7666696906089783","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":"Q2163157$87E9CF83-88DF-4087-BA9E-7F19B91CC34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1a6e0ccb57a35247b372319860e2afcf63f31b","datavalue":{"value":{"entity-type":"item","numeric-id":5971408,"id":"Q5971408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dadad9e1be7202fb82294c36d402d8ca693f0dbe","datavalue":{"value":{"amount":"+0.7532771229743958","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":"Q2163157$A5561753-906A-4C21-816A-2293343BC608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069e430bb430cd217bb003a396d40fed1851271a","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375566f2f8137a3e3e43978fca15a92d9f3181f0","datavalue":{"value":{"amount":"+0.7460814118385315","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":"Q2163157$C95AE69C-1EC6-4561-B4C0-A87CEEF2B22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb78fb0ce6e11fbb4974fcf12abf053d1faa2f28","datavalue":{"value":{"entity-type":"item","numeric-id":4501575,"id":"Q4501575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4180339745b2cec3f4832f838f48121fb650f9f","datavalue":{"value":{"amount":"+0.7406768798828125","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":"Q2163157$4183888E-DED0-4187-BD50-3F46CDBC2F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c2f2a7fc8474c0133780afda7d6c98adfa044d","datavalue":{"value":{"entity-type":"item","numeric-id":3316558,"id":"Q3316558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2178bba4184ae3e04be079c192606548a237eab1","datavalue":{"value":{"amount":"+0.7394764423370361","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":"Q2163157$963DCC23-A2DF-45B8-B8D7-7F6CCB1D02E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2163157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2163157"}}}}}