{"entities":{"Q2802499":{"pageid":2813237,"ns":120,"title":"Item:Q2802499","lastrevid":58003992,"modified":"2026-04-03T10:16:32Z","type":"item","id":"Q2802499","labels":{"en":{"language":"en","value":"A higher-order abstract syntax approach to verified transformations on functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573791"}},"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":"Q2802499$15AEA3AA-E723-49F7-B926-97D59C2CF752","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86d4eb5b99cd7a8a0ff21c673287949329e95ac6","datavalue":{"value":{"text":"A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802499$1D7399EA-24D6-4849-8F34-7393E832C81A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c89bfb6c1cad812fe549eba785131433e1937d52","datavalue":{"value":"1335.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802499$6D4E9B6A-C87D-406D-81C8-08BF31B2B111","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e617542495ec7272a1ae712f29690c3397dea60e","datavalue":{"value":"10.1007/978-3-662-49498-1_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802499$FA53B661-E59F-4E4D-8418-624992942CC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"347217a6cde399dc020409cdb0aa80ce3f4b1ab3","datavalue":{"value":{"entity-type":"item","numeric-id":660963,"id":"Q660963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$82E02C8B-3956-4EC7-BDF1-F33E30C9552C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ecd7a1ce09de973ac2a089dc3090ce1b049c899","datavalue":{"value":{"entity-type":"item","numeric-id":617714,"id":"Q617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$DA9A997F-43D4-402F-939D-EC1937092EBD","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":"Q2802499$E1DAD66E-69C4-499C-9034-3CB2DBB12A6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802499$BA3AE649-E1C4-4869-B932-EFA5A7659CFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed395166603f5d06fbc064ceadff5655d6578f9d","datavalue":{"value":"https://arxiv.org/abs/1509.03705","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802499$EC6F78C8-0A26-4339-A446-AEF2C24B5394","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802499$1206CFC8-698A-45DE-B5BC-16791CD3C2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802499$57A75470-475E-45BC-9CB8-844742946228","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faa08d49eba050fa0adf749f65b745c62bec61c5","datavalue":{"value":"6573791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802499$5DC9C477-465F-47DE-B3EE-4962F528E54D","rank":"normal"}],"P1463":[{"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":"Q2802499$AD0362E9-647A-4089-9955-08BE2A5C3644","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":"Q2802499$BD8C5527-1B62-4D88-8749-6D1191F04101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$14B3279E-4D58-4BF8-9AF7-B5A4C966A26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$E5653842-BA3E-481A-96A2-383C086E9ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a9ff7c29b88ecbd3bb30b10875fc8eb845d9ced","datavalue":{"value":{"entity-type":"item","numeric-id":31827,"id":"Q31827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$F92623CE-0593-46FB-9A43-F4428BA92F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$D6E09931-C407-44A8-881A-22EDF6111C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be9a1fdbfd35f7a816de32e6d9d9a2a21796c942","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$9D6581F3-590A-4D9C-BB15-9EB1C710BB77","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":"Q2802499$B148BC03-C294-4281-B8D7-EFE3DDB8D485","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27926946b1c5775633d411f6bb6a82b793ca6f48","datavalue":{"value":"W2268117882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802499$877F2A4B-A253-4FFC-AEBA-D12E1BED6111","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$E8FEC4B8-8ED2-48E5-81E5-ABC5A5CD0718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$EA435D2F-8EDE-4FAC-B289-DFB95E6C3611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57fc7b22af8e6004390bb7ebe110448fe365d81","datavalue":{"value":{"entity-type":"item","numeric-id":2986786,"id":"Q2986786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$1447195F-ADAB-402A-8438-5723040F0E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88745a0cd3171e11c93f43d8028df53fdd6dbc87","datavalue":{"value":{"entity-type":"item","numeric-id":2938052,"id":"Q2938052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$F995A05B-D3FA-4DE7-B08D-41E184537A61","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":"Q2802499$20A2621D-66F4-424A-98E7-50F57707A310","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":"Q2802499$E77263CD-D7B7-4ED3-962A-9918BA26F27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$562FEAFD-39EA-4370-B6EF-E7AF5F958F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$6E7EE027-76E4-4DC1-98B9-306AD7102F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$E0A1BA9C-4AE9-4DF2-A04A-26AF33B6A6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b33dcf28a33669ed4a37eec24215797250c5d4c","datavalue":{"value":{"entity-type":"item","numeric-id":853741,"id":"Q853741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$8FDE47EE-6876-40AD-9F2C-D563182563AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83074479990dad65c5e60818ba761a1f044aaadf","datavalue":{"value":{"entity-type":"item","numeric-id":5408538,"id":"Q5408538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$9A413BD2-1C7B-4019-BA6C-576A315E8417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$579863E0-0A7A-4DBA-93A4-513125001159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$B41459B4-8C6D-41E1-BFF4-D134D86A95FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1428c9a5a31636248fc81852945e32ffa3323d8","datavalue":{"value":{"entity-type":"item","numeric-id":5574395,"id":"Q5574395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$BF4AD703-B4DA-4181-AE7E-B458A92FF3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$3AB3DEC5-287A-44E0-8FD3-CD1A44602EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a4e2ac46cb6ad5ef3b3f7a6520d11cd08fe439","datavalue":{"value":{"entity-type":"item","numeric-id":2767057,"id":"Q2767057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$81A0119B-1DE4-4330-92C0-2D642D696777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$96F6B033-2F35-4FF6-A1A2-F173CFBE8A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$4407B118-99EB-4A44-8844-C6E2DA32FE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842f71e6b1ce86df9c77df6a6bc0e68b033a0f97","datavalue":{"value":{"entity-type":"item","numeric-id":5674962,"id":"Q5674962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$B70E9291-E5CF-4AA0-BCCC-093634B27B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$A8A54442-772D-4BA8-94AC-5AE4727820A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6de883b4095c2040a6b6dd480be2d845aa081c","datavalue":{"value":{"entity-type":"item","numeric-id":2981953,"id":"Q2981953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$5A060874-DF14-43E1-84D3-FC31582B3CF5","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":"Q2802499$8F0C1E87-ED9C-4F0C-BE6E-C1A6FF630C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$27FB38F0-3B18-43F8-8C23-63898A568B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$05177C53-0DDB-417C-87A0-4CB07A048B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ebab847b01b9bacaa8b90b8bef29f7149bd2e2","datavalue":{"value":{"entity-type":"item","numeric-id":2908525,"id":"Q2908525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802499$79EFAA20-C7EE-4A3D-AE7A-652B9484F67A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee810cd1ca3ee8d3e27add81649689a382c313e2","datavalue":{"value":{"entity-type":"item","numeric-id":5195262,"id":"Q5195262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78261d14e3f2598a5ebf2a33610ae77f87f127e6","datavalue":{"value":{"amount":"+0.8261558413505554","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":"Q2802499$247C0146-6B54-46D1-80C5-9DB94B0E71AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4c11df45cd03074ae08ce1f6ae750f42c3698f","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"736ea6c036e838f172c7af86cc353770bdb278a0","datavalue":{"value":{"amount":"+0.7808553576469421","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":"Q2802499$6B833411-7F89-452E-B718-2341669705A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf6895406f6e2d7b1d7003cb37a6848ef7c9f33","datavalue":{"value":{"entity-type":"item","numeric-id":2938052,"id":"Q2938052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1b68bd39476357cbac04966f1d355a45604653","datavalue":{"value":{"amount":"+0.7727696299552917","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":"Q2802499$E4EB14CF-1128-4CB2-BFC3-DF79F784318B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25b8f52428493ccf7994fe2ced0015cf3204118","datavalue":{"value":{"entity-type":"item","numeric-id":2866332,"id":"Q2866332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d026187592d22fae388abb76ad7927226efabb3f","datavalue":{"value":{"amount":"+0.7486476302146912","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":"Q2802499$6929EBBF-624A-4403-BDDE-6655A01F395F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c45ec0cb8bfa13179ebd7086fc58dff7f75e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3813272,"id":"Q3813272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f85144a5f5deddd50fa9bc625977c84b4dbddd","datavalue":{"value":{"amount":"+0.746202826499939","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":"Q2802499$25B8E96F-2B19-4200-96AA-0AB9873C4702","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2802499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2802499"}}}}}