{"entities":{"Q2152642":{"pageid":2163385,"ns":120,"title":"Item:Q2152642","lastrevid":57747240,"modified":"2026-04-01T06:14:31Z","type":"item","id":"Q2152642","labels":{"en":{"language":"en","value":"Loop verification with invariants and contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7554860"}},"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":"Q2152642$6DEA636A-9621-4FAF-91CC-5FB8B0AF5252","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f750938563af3c256cd1d8caa05531d89e2f85cd","datavalue":{"value":{"text":"Loop verification with invariants and contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2152642$01601605-ED16-4FC7-A673-36BC864DAB31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a27ca3e776dead6a55946d9325e02060fae0565e","datavalue":{"value":"1498.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152642$81857E5E-5DA0-4BA1-950C-AB9061AAA4AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b89663038176eb3c439e386bb3d373c533a1ea7","datavalue":{"value":"10.1007/978-3-030-94583-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152642$9BC7497F-06DC-444B-907E-53A5EC46BBCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7516b2d7041865d357795becaaf644e1bfab9ce5","datavalue":{"value":{"entity-type":"item","numeric-id":1798667,"id":"Q1798667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$A4A72ABC-0E95-4222-AEDF-352EC4994E08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f271a816850f44e4911f5762419f83fae54908","datavalue":{"value":{"time":"+2022-07-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":"Q2152642$CBF4A8A7-31EA-4479-8F00-35A1E323DF3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99606e75716ad5e176184acaf6e4d6b520a0a520","datavalue":{"value":"https://arxiv.org/abs/2010.05812","type":"string"},"datatype":"url"},"type":"statement","id":"Q2152642$7D7DB104-084F-45E6-861C-D20429B0CCA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152642$AC2057BE-AA64-42CF-922A-EA0431E968D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152642$CBF58CE2-A6DD-408E-A9EE-AF8DB399DB02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd76513e0e91701b174357664baa4cc09377b249","datavalue":{"value":"7554860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152642$3C299434-F5C6-42DD-9A36-4AC71C4E440F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152642$596845E0-997C-46BF-957A-BAC5C87CADDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b069937643b327914e4906ee5a83ccdb9325465","datavalue":{"value":"loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152642$EC25D4AE-F3D0-4F74-9B2C-8FFFCAFB8B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152642$73388FC6-07CC-492C-B866-FFD55C1EAABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6839e7a5bf845c5aa2d2c6fcdf96d0d9976a520","datavalue":{"value":"contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152642$02346EFA-2688-4F5F-9D2D-5B07BD8B8A7E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70715ad4b471641d961c8e900f03d66fa5d52a03","datavalue":{"value":{"entity-type":"item","numeric-id":5974985,"id":"Q5974985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$23A460D0-8D8A-4B7A-90E8-ED6861DA989A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e022583ed74f81554a39976429e547bb532293f0","datavalue":{"value":{"entity-type":"item","numeric-id":25978,"id":"Q25978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$CAA280E2-065D-4C88-87F5-83679788E73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69f362165978cbf04e5b5460992bc38f4ae05985","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$CABF0A58-3279-4BD4-A5EF-150222B4C654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4b6f4b7a48cdf456c9938aef3c0d6283e57bf6f","datavalue":{"value":{"entity-type":"item","numeric-id":25828,"id":"Q25828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$143918F0-805B-4BCE-B1DD-2667013EBCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$4C18D40D-F3DF-421E-B9A8-88C749578939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$F6A9B740-2752-4C9A-A647-20E659358467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"94a83aebbff287adfc2566cf5a58d543fa9638cc","datavalue":{"value":{"entity-type":"item","numeric-id":21152,"id":"Q21152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$3C1DC90F-E221-46FE-B4C3-55700DBBE4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$121C5508-93D3-4CEE-860D-0FC38775A5F9","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":"Q2152642$03EEF3E4-5A53-4037-9906-696F70D48BC6","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":"Q2152642$9129245C-F962-42E0-9344-46EC2B080738","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"500038258c99897d73de89c97078907cc5733745","datavalue":{"value":"W4205272345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152642$1E3CAA66-1D32-40D6-9C06-4FDFC89C0ADA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc25af5045c856aadb22057606de79dc70eaee2","datavalue":{"value":{"entity-type":"item","numeric-id":1703012,"id":"Q1703012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$13A6D824-67D3-4F26-8289-C3EABB8F9A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$DDFE5E58-3F19-4E06-BE22-C0785D33CE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a9b3d53cb20f9ef6dfea384829aec60775e1916","datavalue":{"value":{"entity-type":"item","numeric-id":607408,"id":"Q607408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$A81B6A22-7E6A-4E9A-A5EB-78A5F8FE9AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$2D667C9B-BD61-42F5-BA65-963E13D7E8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df2553495bc38f714aaa2197b34e11b69c06ef","datavalue":{"value":{"entity-type":"item","numeric-id":5674963,"id":"Q5674963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$6274D47C-94DE-45AE-8E44-4C6D4162CBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229fdcdf833f89bed9b165165cd53a3183da7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":6166141,"id":"Q6166141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$8D77E839-D1B3-423B-AB52-0B0703C866A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292d5c006305603ea251952b72b3907af5565470","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$E7723E8C-ED03-4E4E-89D7-360D9755E45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb428341d22c0499418920e0179d03dbc6ef797b","datavalue":{"value":{"entity-type":"item","numeric-id":2938066,"id":"Q2938066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$C8C6C058-154D-4F7C-BF98-C1E6FB2F77A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4079be32b0d120cadac73eddeda20cd9afa6c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3095238,"id":"Q3095238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$E148C98B-043E-4492-A717-0435F2CE0A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774e07bf0cdbe35003eaaf8e3d497ff9f1ce6b06","datavalue":{"value":{"entity-type":"item","numeric-id":6194577,"id":"Q6194577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$04631921-2EA9-4287-B1AE-2AC2CCACEBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76248490dd08a9de4ee50f264042883612e607b","datavalue":{"value":{"entity-type":"item","numeric-id":5176169,"id":"Q5176169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$78B218F5-9371-4F53-8B08-256BA049C132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f642ff66e8539d846927a8f5618916606bbf48fb","datavalue":{"value":{"entity-type":"item","numeric-id":3586008,"id":"Q3586008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$087AFF52-7AC7-4033-A8F9-E048BF541DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa12f97db44d0a3112edf67288fb4f359bbd6f7","datavalue":{"value":{"entity-type":"item","numeric-id":4493907,"id":"Q4493907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$6816026A-B85D-40FA-98F4-3389E3FF9125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde43aadb68c83ae4d51574dcef8cc0958b2d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$42E92091-ECD0-4E92-9A82-6D49314BD594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$A81AE96F-E7C1-4527-8650-2B01E05EECC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6e5869280da5429c936628f0da2ed487716379","datavalue":{"value":{"entity-type":"item","numeric-id":4943357,"id":"Q4943357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$5916316C-5D9A-4C2C-8F9F-C679FC211F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$32EC2AA6-6960-407A-94C5-C601D5C6AEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ef2f776d9c2908d988052cc9607ef648ca5b56","datavalue":{"value":{"entity-type":"item","numeric-id":2038040,"id":"Q2038040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$A29D70F3-CAE0-47ED-B6D4-2293E8B12AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$1990B2FC-C0D9-439D-87D8-259D597865D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$9DB0D0C9-A9AF-49AB-8FCA-0225E108C7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d7ecce912cc5f4fa85ef8ac5c3fc2ce5a5f7fd4","datavalue":{"value":{"entity-type":"item","numeric-id":5179363,"id":"Q5179363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$FFB4F216-0C30-43F7-84DF-E2CD10F7921F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975193bacb8a76ff06ca8120b2a0330b2e6ef627","datavalue":{"value":{"entity-type":"item","numeric-id":5919010,"id":"Q5919010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$F3F3F250-C1D3-4CCB-839B-073806F3A2D7","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":"Q2152642$21F2EC74-0CC1-49C4-9AF9-A78FB341FF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a2f99768ff1da949299cef13b498d5a9c3a16a","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$49F21B4B-311E-4E15-A415-C6E2847535E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b52d32cf493a9d30541eb43bfe81d2683002f7f","datavalue":{"value":{"entity-type":"item","numeric-id":2251128,"id":"Q2251128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$8C25E192-A19E-4FDF-BE3C-6A6D5DB0508F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583c2af6114a325d3ba9d32333a59af45d2f625","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$D1951984-6F5E-4291-9EFC-126125CC08C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849f31ca775bb9f4bae5905d144cdcf9bb147671","datavalue":{"value":{"entity-type":"item","numeric-id":5326333,"id":"Q5326333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152642$DC2D2433-E25E-46E8-A9E5-F391A6254A01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0605ef596d929245fcfc8a407c55f9f17fb78984","datavalue":{"value":{"entity-type":"item","numeric-id":3586008,"id":"Q3586008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5bd6a9de90f0d5555cc668911ee39995be27628","datavalue":{"value":{"amount":"+0.7559797167778015","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":"Q2152642$0630BE29-5A69-4F44-8D89-9EE73F1FA0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba91a2fa8a38f05d02fe6a811450a3326020603","datavalue":{"value":{"entity-type":"item","numeric-id":5176169,"id":"Q5176169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec906c569fc80ef060516f2135eeb2280a56a17d","datavalue":{"value":{"amount":"+0.7478369474411011","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":"Q2152642$51558A11-0D96-4502-995E-11B5A1C2FE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f464b64c5ce744bcc9e044bb866ec7efefd38317","datavalue":{"value":{"entity-type":"item","numeric-id":604381,"id":"Q604381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44c4044c0041894c556df81ffefd454d628e7e1","datavalue":{"value":{"amount":"+0.7330543398857117","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":"Q2152642$A12D7116-B602-44D4-AB4D-2FB83F2B060C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d15a4143f1d4649ec9a4d200a83aa195298d12","datavalue":{"value":{"entity-type":"item","numeric-id":1322851,"id":"Q1322851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e7a21a2286393e8e60531012c68714e21fc4b3","datavalue":{"value":{"amount":"+0.7200912237167358","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":"Q2152642$326971EE-9C3B-400A-8651-024EDAF30C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4996f585c5b323696483697215460e207517fc","datavalue":{"value":{"entity-type":"item","numeric-id":2512818,"id":"Q2512818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd142f07ed069361ce803b337e6f32a7819506a2","datavalue":{"value":{"amount":"+0.7185728549957275","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":"Q2152642$D9C0A146-FC47-4F4A-BF15-5B7026F9299E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2152642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2152642"}}}}}