{"entities":{"Q2231698":{"pageid":2242441,"ns":120,"title":"Item:Q2231698","lastrevid":55389949,"modified":"2026-02-17T15:17:43Z","type":"item","id":"Q2231698","labels":{"en":{"language":"en","value":"A coinductive approach to proof search through typed lambda-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7404818"}},"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":"Q2231698$7B2960E0-76B1-487F-8C86-07E3081FC4D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8163802ea22b75312d613cc285e3b19722d6174","datavalue":{"value":{"text":"A coinductive approach to proof search through typed lambda-calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2231698$412A5567-081A-4E61-BD1A-FA5201284F8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$9BED370E-601A-494F-A0E5-2C0DFA832AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$080BECAF-88F8-46B1-BAF3-5CA1BE3E779B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$AB8DDE13-DCFD-4BD5-BA19-BC20D1D0ECBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$51EC4935-A5F7-4C8F-9308-937402E436A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1506349fe5b846d0a7f2cc7f39e04da28b9b4a6c","datavalue":{"value":{"time":"+2021-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2231698$DFE60C1D-F544-46DE-A34A-879D6D47232A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98f525da57b31f4502d3cb23058e4d02306f11fd","datavalue":{"value":"https://arxiv.org/abs/1602.04382","type":"string"},"datatype":"url"},"type":"statement","id":"Q2231698$BDC8D09C-2EA0-47B0-AC5F-716C8E22AF1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2231698$24924C29-EE4A-4215-B97B-A3FBC63858D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2231698$180B3CD8-1180-4138-B9E0-A72F76205AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2231698$723DC4AD-D4C5-499D-B0EE-9179B061B90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2231698$ECF0992A-29ED-44B4-AF97-47373479D554","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ada623bb67b539ad79e8c1e29bbf3ba6e319274","datavalue":{"value":"7404818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2231698$36D156BB-28A3-4377-9857-0B590673BE66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2231698$AE4003B9-6E69-4A24-A0AF-CE32C81E35B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2231698$01944E32-F6CB-43B7-853C-FEE75304C8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffacd8b0198ff801d8dba735dd98a8cdb00ed9dd","datavalue":{"value":"coinductive methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2231698$66D8B912-D4E6-4E77-A2AF-144FD56F5618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4d25b855cf5432afe290264ce1a62aa2ada06c","datavalue":{"value":"solution spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2231698$8AE758A6-2950-4FF6-A4D9-C78B0D3B50E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8510cde1c8aae0f11e7e3f07edb7c4c1b96dfe0","datavalue":{"value":{"entity-type":"item","numeric-id":27977,"id":"Q27977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$50CDC926-C31B-42AA-ACE0-F34A57637177","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":"Q2231698$475F6DFD-744A-45C9-98E6-107FC73A71CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"419cf92e0a1e14eab59f04099c9943ed7535f6d0","datavalue":{"value":"W2491817307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2231698$795A9916-96D7-451B-80C5-DF229C0896F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e52cae6148e0f0c23df1633c224b5a6f19ea946","datavalue":{"value":{"entity-type":"item","numeric-id":2353633,"id":"Q2353633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$CF420B52-87A9-4AD6-BE26-56EA9F3E3213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$CF79A11F-4DB6-458C-B42B-E0F1C41E0AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d604d2bd9aeb800a9974a1a32f191487a06f67e1","datavalue":{"value":{"entity-type":"item","numeric-id":3007657,"id":"Q3007657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$1B9488DD-693C-456B-B9C9-9C251FAAF3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5d83fb5c1896876351d51b19033684002cdbe8","datavalue":{"value":{"entity-type":"item","numeric-id":3025341,"id":"Q3025341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$45B18CAD-1C7F-475D-AEA6-260BB19E12E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396079bf6c00688a3a618a05bc699938cbbf9c06","datavalue":{"value":{"entity-type":"item","numeric-id":3190172,"id":"Q3190172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$FDEF63A9-027F-4CF4-BC58-9E2F7E84F99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505eacab685ee7eca673b649524dec0e4712be7b","datavalue":{"value":{"entity-type":"item","numeric-id":1014285,"id":"Q1014285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$3ECCD763-09C6-4F98-9BE6-1B8141DC6D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd43ac4986854b99097e8636775d035d68a195f7","datavalue":{"value":{"entity-type":"item","numeric-id":5370899,"id":"Q5370899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$BA597628-3797-4EF0-90D3-899886F24776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"386a2942540989818d0e3d4524533a98b453bc14","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$299EE63F-3BBE-48AA-90B9-DD88C8735B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafd4b45b7727d46bfc34cf940db6f309ae28f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1744450,"id":"Q1744450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$9EA3E7BB-4FE5-4658-A870-CD77ACFA9564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44eeccc3cbf301bdac3c6c0d51b8f1f05d57e15","datavalue":{"value":{"entity-type":"item","numeric-id":4992896,"id":"Q4992896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$BF72A3A1-A868-4AE6-A121-FA3521B8C111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b831d8f615468d994dff405a26a149a0ce89397","datavalue":{"value":{"entity-type":"item","numeric-id":5236550,"id":"Q5236550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$C70AB312-C5EC-45DF-86B4-A5CD2030637D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8545584cb4d78f88d8cbc337cbfb827b37124c0","datavalue":{"value":{"entity-type":"item","numeric-id":5212035,"id":"Q5212035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$ADC42ADA-C50F-41B0-9CE5-116762D89AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9b5196a22fbb287ea0d893577e0a54523feae9","datavalue":{"value":{"entity-type":"item","numeric-id":2628299,"id":"Q2628299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$460D9B53-1438-4CC2-A1F4-9AB73365DCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720317f07a75a6f52d17c91804e0bddc91fd12e7","datavalue":{"value":{"entity-type":"item","numeric-id":2798268,"id":"Q2798268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$5A13E695-8359-4CBC-96FF-3CBDCDED1922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$2C34C665-8D55-481D-B107-536A60DF3974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$21AF38CC-EF50-41D1-857A-54BBEEA3D847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$2477BD2A-FDF9-4DD7-A92C-03ABB72EC583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d17349598573d1b33d3b679ef12812a7b83165","datavalue":{"value":{"entity-type":"item","numeric-id":4610326,"id":"Q4610326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$DC67A286-5122-4F43-9B3F-05A7830228F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6ddc3048ca9b0d59f5ac2d8947832396faa644","datavalue":{"value":{"entity-type":"item","numeric-id":2915694,"id":"Q2915694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$69716248-0F88-4683-ACDC-7E44A3819841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d10a72a05a7842e462d018a125a49ee0c7558b4","datavalue":{"value":{"entity-type":"item","numeric-id":5140030,"id":"Q5140030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$85E43A08-1C61-4176-915C-25FDAEAA6FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$6E4BCDCB-385C-4C7F-B92A-2955A54660E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$AD371AE0-5385-4EF5-B011-AAB5D653D0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1bd5c5ac39c39f226dc0cebd5a65603fb2903e","datavalue":{"value":{"entity-type":"item","numeric-id":2914685,"id":"Q2914685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$55CEA4BE-834D-4125-9F8B-3E2133FBA3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"096d020d9cacb718bc76ea953077420460e0299d","datavalue":{"value":{"entity-type":"item","numeric-id":4809790,"id":"Q4809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$FD1BDF07-0BE2-4747-A566-0094A94621A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9363e79fa8e536824709fd691a9d6976fe6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$575E5F9C-3912-4845-B1E5-CC193C9461D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb950b174b76cc99bead09bf993e1718e4ded7d","datavalue":{"value":{"entity-type":"item","numeric-id":5351954,"id":"Q5351954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$26698977-CBB4-4535-98E5-C2BAA0FB8261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$0C7D4382-1503-47C2-90FD-EB1817275479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae986ee19008aa7d1adfbf0f48061524c85116e2","datavalue":{"value":{"entity-type":"item","numeric-id":1917086,"id":"Q1917086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$51484A28-7A82-4781-95C3-94536D833B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$96591142-87D3-4B78-A3C3-D20B86BA8BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753dfe7aa203a67c12bf4601e79383c21a075463","datavalue":{"value":{"entity-type":"item","numeric-id":5458807,"id":"Q5458807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2231698$D740AFD9-D365-4053-B89E-F5A73C2FB0B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"839228d125c0c01e5e863abada6bf2410742f49a","datavalue":{"value":"10.1016/J.APAL.2021.103026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2231698$9AF5FBD5-8F28-4B3A-A0C2-712A13010EFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f3bd1ff5d06e991c5abb002d27b63e47835d85","datavalue":{"value":{"entity-type":"item","numeric-id":4992896,"id":"Q4992896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d716e58cb356a1bdd34e4c2a2096ef1b50b5e4b","datavalue":{"value":{"amount":"+0.9137532711029052","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":"Q2231698$1EED8599-A877-4B4D-A833-6E0495BC5AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceff7222dafdd35672ade5fa367dbdffe968032d","datavalue":{"value":{"entity-type":"item","numeric-id":1948276,"id":"Q1948276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c39317074340558fc223e517defd993a5475f3","datavalue":{"value":{"amount":"+0.7723922729492188","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":"Q2231698$61C61285-ECD7-4A8F-A40F-B5C5F57EB3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bdf3dcf99bbb982c90981d2d4af8778dfd4e454","datavalue":{"value":{"entity-type":"item","numeric-id":5712312,"id":"Q5712312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"215568ceb75eee3338f8180f0f418cb701e58249","datavalue":{"value":{"amount":"+0.7682006359100342","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":"Q2231698$12C16482-1A73-4AA6-97B1-7852A5BD3EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14727e509164381912437e4f79bedcd8cf66a0c","datavalue":{"value":{"entity-type":"item","numeric-id":5109521,"id":"Q5109521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904fd73e2ac5b7670260cd949f62d0a038e2a254","datavalue":{"value":{"amount":"+0.7591143250465393","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":"Q2231698$1DF640EB-0BF9-4222-90F9-3CD4533F1F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf35205c2a1f7e25e11d1588c1f0a098d3566768","datavalue":{"value":{"entity-type":"item","numeric-id":5236550,"id":"Q5236550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2fbe5b5b801f3b81a56502dc363f31fdcbbf06","datavalue":{"value":{"amount":"+0.7569347023963928","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":"Q2231698$2118BE4D-CF86-4B0A-AFA4-C5CC50A154F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2231698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2231698"}}}}}