{"entities":{"Q2655335":{"pageid":2666078,"ns":120,"title":"Item:Q2655335","lastrevid":50885534,"modified":"2026-01-15T14:19:34Z","type":"item","id":"Q2655335","labels":{"en":{"language":"en","value":"HOL-Boogie -- an interactive prover-backend for the verifying C compiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5662164"}},"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":"Q2655335$0C1B59BF-C0FF-4B26-915E-83483D89EE45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eba9dcb8ee583d126b4af9fa33011cd2a40af49b","datavalue":{"value":{"text":"HOL-Boogie -- an interactive prover-backend for the verifying C compiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655335$FE5C384C-7EEB-474E-B63A-E70516ACAEAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbf10676cbee66f479537f70e5eff85ff27a93d6","datavalue":{"value":"1185.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655335$2E663545-22A9-4868-AA1A-2F47C154BD52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e52ea9fecc32655489a0560f1f3a2c96d34140f0","datavalue":{"value":{"entity-type":"item","numeric-id":287336,"id":"Q287336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$FA162084-3FFA-44D3-86F6-15B0A9ED68D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8b58aa56bc8beed0a4159e66079e561cc626cb9","datavalue":{"value":{"entity-type":"item","numeric-id":2655334,"id":"Q2655334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$EC357448-B141-4FC3-A2E2-AD93BFF7ACD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13dd9647a0ef3c6e07612efd4a1e02aa8e3512aa","datavalue":{"value":{"entity-type":"item","numeric-id":973054,"id":"Q973054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$D43C465D-0BB0-4844-A7BB-31B518B49F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$F984FE78-5133-44B4-9C34-BEEA1C9B74E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$02C9B3BF-78FF-428D-A1E7-154869685687","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeda675146eaac960e312504b1b7dd784f800a08","datavalue":{"value":{"time":"+2010-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2655335$70F373B4-AF19-46D7-B17B-218EED6F0D89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655335$BCAEBA08-269A-473D-843E-AB55198BA03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655335$6232ED46-36C9-47FC-8F39-8967F1D120A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655335$CA616B27-C09B-48EC-A77A-1A2200F5532A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"905e2e89df80ff5ffd22cf51f2baf7f460800347","datavalue":{"value":"5662164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655335$39A2CF0C-3AF7-4626-92E2-5288D803F0B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655335$3F41245F-5DD9-4FD5-B4A0-73990D24C805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655335$C45D10A9-80B1-4296-B061-8B13861D05CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655335$B748DBDB-EA7F-4282-B325-33938D2D3A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a68c98cef5c6e19b7919633d94f20b3cba6f8d5","datavalue":{"value":"memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655335$32D018FC-4107-45B4-B62E-B7F6CF58C04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75d5e2477a82a8cb67fae08cd74dc17ebec7a05c","datavalue":{"value":"annotation languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655335$6BEA2861-0D93-4679-B990-7AF0B887AC0E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"74b89cbee71161cedcd8f23ceebdd99ea7b22b3f","datavalue":{"value":"Q122198171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655335$E549F1F7-15F0-4516-A742-693B6F629323","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$DBCD165D-B08E-478D-8080-9B4DE0E288F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$4D081FDF-BDEC-4C04-B5FE-9750397C5971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$89F74B87-88FD-4660-B3A4-B7E675105861","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":"Q2655335$EA9AF5F9-7A8B-421C-A895-93D41AA63B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$9211239F-47A5-4EB2-938B-3D67895BE568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$D7D92ED4-4CF2-438C-9B4D-EEA429743BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$6684EA37-03E1-4302-8430-F620B4CB4463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$C1F2984D-6AFF-49EC-A954-F5EDA03176FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$3775F8CE-AC27-4C33-AB65-1C7FE47F06CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$BEFA7FEA-3B5A-4241-99EC-00D49C80F0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09667f39c796b66d178c69cc5bd175d01d1030f0","datavalue":{"value":{"entity-type":"item","numeric-id":14178,"id":"Q14178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$C893337A-3120-4063-BB71-F888E3F5CF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$18C4B798-CDD8-47DC-8871-4DDB663158F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$E60DE18A-463A-40A5-A103-33A3F3B1E239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$F59051CC-95F0-4CBD-BE9E-24B938AC632C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$802AFD6B-E9A2-4AC3-895E-742B30DD34CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c394b74049cbdb0cef88807aac9fa3513bba728","datavalue":{"value":{"entity-type":"item","numeric-id":13169,"id":"Q13169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$B0DF27B6-829D-4614-92B5-A2524306F879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd52eea2a697b4b8d049e4bc0c35f7cd532d00ef","datavalue":{"value":{"entity-type":"item","numeric-id":13243,"id":"Q13243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$ED7E600B-D64C-4F8E-AED4-F333173F0057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$E2CB97D1-72E2-4B00-9C0C-80C6D135998E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$6258EF6C-A0D1-485A-BDFE-0626567ED390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$943BACD0-4368-4F71-BF6A-2D63E1C14D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$97ED1B04-B878-47B1-848C-53574C5FF182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93403021c48a812d9127910dbcaae98db02c160e","datavalue":{"value":{"entity-type":"item","numeric-id":33328,"id":"Q33328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$AD0FC687-DC91-4519-874D-B81BD3D5C2E0","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":"Q2655335$01E8DCEE-443E-4691-ADFE-B87BB91C63DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1a34e0b62af3d6e87d7bed7b2d5625ec2ab0d73","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9142-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655335$793874A3-C897-4858-AB9B-E224CDD30857","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b03c6703b330736b75b2eff49b71b1f51395d72","datavalue":{"value":"W2100855196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655335$155164E2-7494-46AD-A2E6-EE3099DBD83E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a574cab1020084fdb769d8615fa38a18cf329a5","datavalue":{"value":{"entity-type":"item","numeric-id":835780,"id":"Q835780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$667546C9-513F-4380-8856-7AC6CF896C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0482a84e9c0157add273943bbc51321d78bf5bd","datavalue":{"value":{"entity-type":"item","numeric-id":877156,"id":"Q877156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$8409128C-4132-490F-B77D-250CB3895CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6023aa89253bff82e01277400127991ae28741","datavalue":{"value":{"entity-type":"item","numeric-id":3543656,"id":"Q3543656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$CAEE6830-E44C-47AD-AC94-44CDE6778768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20867ae2393592f363419ab166a84996532d2c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1040775,"id":"Q1040775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$49CEA073-9D3B-4D72-9761-C6DAA7E83CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d760b6a3c40fdb1253841c608433cdd9711f243","datavalue":{"value":{"entity-type":"item","numeric-id":835766,"id":"Q835766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$79CBE157-586A-44EA-B1DB-15F19B6DE048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$D46BDB03-1964-461B-8391-DB2405BE7A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b783d0052b7f250a9573410e9be2b4624ef11e","datavalue":{"value":{"entity-type":"item","numeric-id":5899057,"id":"Q5899057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$62455DF3-DDAD-437A-A4BE-4B0AF3B9A328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$E0035030-E110-4A15-9F83-85F7396C1DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c12869f31923e79c52c725d24c081909254f4f3d","datavalue":{"value":{"entity-type":"item","numeric-id":1776586,"id":"Q1776586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$059A7434-42FA-4CFC-886E-05CB39FAB611","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":"Q2655335$18B0DCA9-CAD2-4911-903F-F78F6C7BE8AF","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":"Q2655335$E96E3DD4-1D3D-4EB1-9F2A-BA59C74B5A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$74F3F490-F293-4B1D-A678-E61593175CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$0F44E206-1F90-415C-B34F-C7ABCCC9937D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3f0c070d63cc8ade73e849526c8ff12c4b898b","datavalue":{"value":{"entity-type":"item","numeric-id":3523187,"id":"Q3523187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655335$F6CC6410-7DA3-49A4-9898-50E5B8F8ED1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b16a4b30c7a08a230ced64d3c671d23262afbddb","datavalue":{"value":"10.1007/S10817-009-9142-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655335$47C15DBA-546D-4E82-A127-FE543DA10E27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee73f31a3fd527da859fbb77428820deea8c967d","datavalue":{"value":{"entity-type":"item","numeric-id":3543656,"id":"Q3543656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb0290a6d08b80eaecc4a50da7def1627e345f6","datavalue":{"value":{"amount":"+0.9574667811393738","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":"Q2655335$C9518A76-6E96-46C2-B46A-2C25F796423D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207c31bc4ac70f3a4595fb667a52ca7b1945ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":2102933,"id":"Q2102933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68658fdc9f1cddca341f563d96196a37d19d3744","datavalue":{"value":{"amount":"+0.7697993516921997","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":"Q2655335$EAEE4823-12BA-4AB9-B154-53C8A1A2221B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2329ac48b709f66aa4e2a0cfdaaaf3d4cea285dd","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ac86ed204ab4d4aacc40d8c5d371eaf41b970b","datavalue":{"value":{"amount":"+0.7339462041854858","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":"Q2655335$569E8868-D9CC-4311-98AF-6FFBCAB210DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8b9f7343efe63e57ddd2bd2ef0ae5831271484","datavalue":{"value":{"entity-type":"item","numeric-id":2324018,"id":"Q2324018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81dabb1a1f1114313d37268e8724a50613d3095b","datavalue":{"value":{"amount":"+0.7020875215530396","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":"Q2655335$721FF871-4AE7-4C4A-92AD-74641A7B6B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e016c36edcd3a33eb45bd670c7736707a0de35","datavalue":{"value":{"entity-type":"item","numeric-id":1663238,"id":"Q1663238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f3398c21deea9ea0e8a18add8e84b44bd4f293","datavalue":{"value":{"amount":"+0.7005770802497864","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":"Q2655335$A32C3C18-BBFA-4C7B-A80B-1A2D1ADD05FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2655335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2655335"}}}}}