{"entities":{"Q5041108":{"pageid":7070685,"ns":120,"title":"Item:Q5041108","lastrevid":56701401,"modified":"2026-03-19T00:22:42Z","type":"item","id":"Q5041108","labels":{"en":{"language":"en","value":"RustHorn: CHC-based verification for Rust programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600940"}},"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":"Q5041108$644458A7-DCBA-4A94-9895-C84C5C099B5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"360c82bcf3300eb50c5aebd8ef08d13c70f156f3","datavalue":{"value":{"text":"RustHorn: CHC-Based Verification for Rust Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5041108$849AFA16-42C6-491D-93FF-82B9A80D143A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7495b90acb0d1cf1f62e67f1f65898d30aaeebd7","datavalue":{"value":"10.1007/978-3-030-44914-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041108$5908BDE4-1594-4B06-8BE7-7887F498CAAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d41101ac67129692d1c219a744dc5a9f12ee566","datavalue":{"value":{"entity-type":"item","numeric-id":5041107,"id":"Q5041107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$A1FD1C7E-8DC2-44DD-A803-025DAE930FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$C2384384-9AF0-4BE4-AF8E-2574EC0BD3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$EBD9F238-7D41-49AA-BF42-B064DD6CAFA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$FD76ED0F-64E8-45E1-86E5-A10A6A1AE283","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5041108$49D8A046-BE1F-4861-B6A4-D4A6BD476439","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbc1a8b06fe70d4f2b60eb2d6067705e39148531","datavalue":{"value":"https://arxiv.org/abs/2002.09002","type":"string"},"datatype":"url"},"type":"statement","id":"Q5041108$3A26A1E5-6970-4426-BCAC-2B80B35EE2FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041108$6A7AEB6C-B7CF-417E-940E-F04B24CD9C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041108$91F4F14C-86CC-47A8-9D0E-B797D42D5150","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18f932f670c09590e2c085194844ebc17957e0ce","datavalue":{"value":"7600940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041108$E1722A32-681F-4C34-9382-D15B4EE8C249","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c48993fbd85f379ae45effaa429a7f913736c21f","datavalue":{"value":{"entity-type":"item","numeric-id":33285,"id":"Q33285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$846EDED9-4B77-43FB-8409-0A8ECF0D7B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35dea11f7340d96d415fe1f2b140031e290aa926","datavalue":{"value":{"entity-type":"item","numeric-id":21672,"id":"Q21672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$5EFC9686-4F74-4721-A549-F754E9A77515","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":"Q5041108$18E01834-31EE-4EF0-81A2-DDA785709361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7de3809e549ab622397ccc7caf8aa4227aa8390","datavalue":{"value":{"entity-type":"item","numeric-id":40151,"id":"Q40151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$A8DC3A25-DB39-4A66-A2D8-D994792FE1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"680e59220dfe1fcd219f2cf87836af5e1d29e43f","datavalue":{"value":{"entity-type":"item","numeric-id":5974505,"id":"Q5974505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$6BA0C2D7-B7A7-43C6-96BE-820B2B8E0719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"549148d32f0439e7b014790e18353e555528aa0a","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$7BAEEE10-3FF8-487B-9610-3223D6EEBAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b9afd1e8fc349d198c89a22f85926ff81edbd463","datavalue":{"value":{"entity-type":"item","numeric-id":26932,"id":"Q26932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$03041519-C446-4CC0-828D-ED36BC981AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"adfcc2a6183abba0e1b1009eddc472286ea82f45","datavalue":{"value":{"entity-type":"item","numeric-id":46052,"id":"Q46052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$DABF9B7D-F8F4-4379-9E07-52994999ED85","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":"Q5041108$7D653195-797E-45DA-9890-EEA5984702BC","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":"Q5041108$EBC71E4E-0DB1-4208-802F-2546840DB877","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":"Q5041108$F7C5EB62-FA3C-4930-9AD1-57800ADCC27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61fade3ca2a812fe89379f101f81d6f3b1f2db1d","datavalue":{"value":{"entity-type":"item","numeric-id":46050,"id":"Q46050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$CAB67DA6-D56C-4346-9943-A9F896B64B73","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":"Q5041108$375181BB-3BDF-40E7-ACDF-3215824D22D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$F4A2788F-30AC-4BF8-BA6D-A819A6DB5E73","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":"Q5041108$8B50A9BB-00D9-4C1D-ADC0-66ABD1071A44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0d187cab446a4dc469aa96e06dc0e09c7afa47e","datavalue":{"value":"W3100536147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041108$36611890-F834-4FB0-B5F0-E7638F77BF62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$546747BD-1890-4F75-9967-432095387099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a257ff0958ba2ab18651e0ae0e647b82a1a678f","datavalue":{"value":{"entity-type":"item","numeric-id":2891439,"id":"Q2891439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$6B9D8D2A-B3DC-4C78-A81C-2716018964A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3dcc8ae19d6eeaf5ac3a19ecb80a9bbb3547439","datavalue":{"value":{"entity-type":"item","numeric-id":495431,"id":"Q495431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$C0DB60F3-C31D-454B-A2B3-20D9DA3D5F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$4015E85B-1EFC-4B78-8096-EB2327CB4715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$B7801531-37C4-4BDD-9649-086966CEF3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$C2CB9329-FC9C-4240-8C16-6FC977400284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc85e7648787a5ed94053adc1ecf581a9fa4439a","datavalue":{"value":{"entity-type":"item","numeric-id":5919615,"id":"Q5919615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$5216BB74-9EEE-4849-B8D0-A090036D3BC8","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":"Q5041108$4D17C61A-3E48-418F-8861-5B60F27F2A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8b0aabdaee6861cd9aace54e883283e49bb2d7","datavalue":{"value":{"entity-type":"item","numeric-id":4250669,"id":"Q4250669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$C373D114-887A-42A1-B774-0D127211D9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$385236B5-00C7-4F10-A02F-47348FA6C3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4cf2cc00850270a28614888dcd0fd49d3c89ac","datavalue":{"value":{"entity-type":"item","numeric-id":2225478,"id":"Q2225478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$F81B76D6-A03B-4C33-AB68-BC058F4256AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1894ba86f4a0bfc6950aa633dc13cd4683f3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5276149,"id":"Q5276149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$450D50B6-9918-4E60-BD93-AA88026AD048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51bbb96625374ba0527eef6fa500f596e78094","datavalue":{"value":{"entity-type":"item","numeric-id":6109591,"id":"Q6109591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$F150B7AE-9C4D-4892-8447-B7DF2F17D5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82398bbb3b4a1cdbf6ee9d069fe8d47d8819b557","datavalue":{"value":{"entity-type":"item","numeric-id":5370882,"id":"Q5370882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$BB665EAA-143A-4022-86D3-0FD114373B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$9C24B992-4A7B-4C3B-8D82-851300BAD264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$5BBCBB29-ED16-4818-B1F7-83C544CFFF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$93EE25CC-C975-4ACC-B50F-4056F06CF6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc3d259cc7fac0e3bc3d0b896617a58bb7c7d08","datavalue":{"value":{"entity-type":"item","numeric-id":4645747,"id":"Q4645747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$0CE6F86D-78B3-4437-AC47-97022FD5E154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$063844FB-0CFC-4A97-8428-655D497C2F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14495826aa264560d537df53aac6867722fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$67EC1F6C-65F5-4250-B592-72F98FAB000E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d61f1cc163df368e527ff1cea9aba9714c3536","datavalue":{"value":{"entity-type":"item","numeric-id":1787214,"id":"Q1787214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$FE080B26-0B7D-46E4-B8B1-241EF986FC00","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":"Q5041108$93AA07E2-405B-4022-89F5-B45FF8AB7EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422aaa623eb5f87aeca9f244e6f007c7eb8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":2796035,"id":"Q2796035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$7D94F142-6F37-4C7C-996C-2CFDDFDD92A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1ababec7ad08320487551d5fd7dcd8e4e6cb2e","datavalue":{"value":{"entity-type":"item","numeric-id":5233234,"id":"Q5233234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ea750f45bb0c11b1bb1d5394e48f124f7cb53a","datavalue":{"value":{"amount":"+0.7557395696640015","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":"Q5041108$EB034BDE-4702-42B1-AC53-161AD630A678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d029eaa256dcadd504eff29734e46b2e1f7a941","datavalue":{"value":{"entity-type":"item","numeric-id":1664383,"id":"Q1664383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706a3c7ed7e0b627bea979c60ff372398a559cf7","datavalue":{"value":{"amount":"+0.7355964779853821","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":"Q5041108$437A6B36-6A59-45D0-976A-B57E29C4456D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f99f5038c2994757504732f87e7e7cf296885a","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d703bdc97e4c95eaca6044e9f3279635ab88a05","datavalue":{"value":{"amount":"+0.728183925151825","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":"Q5041108$31493503-42DF-4E89-BB14-8A5D1E042820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea93506793d7ae3e9f100eda6c9ed8d96448d9b1","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67454dd147664fb936d207ac959ef9de2586392e","datavalue":{"value":{"amount":"+0.7257880568504333","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":"Q5041108$15957A08-2F0E-48EF-9B36-0549709C12D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75868a3bf204a6bf4c593cce4cab82fe98820348","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c892ecad8be274af879e7cbf42ef81c4fe7544","datavalue":{"value":{"amount":"+0.7182698249816895","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":"Q5041108$72D89EA4-C57D-4D5A-B311-37989728B1D6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041108$DE7822EE-2990-4063-A0C9-EF2D970DD2D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5041108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5041108"}}}}}