{"entities":{"Q5919002":{"pageid":8050185,"ns":120,"title":"Item:Q5919002","lastrevid":53860826,"modified":"2026-01-25T20:26:37Z","type":"item","id":"Q5919002","labels":{"en":{"language":"en","value":"ICE-based refinement type discovery for higher-order functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268908"}},"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":"Q5919002$AA17D26E-8CEC-4E2C-AD57-6D23A6D05BDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39898a63a47ab68a7ee6327935a22b2091e65cf7","datavalue":{"value":{"text":"ICE-based refinement type discovery for higher-order functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5919002$86064BBF-6D92-4FA3-8F6F-289438FBE1E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ded897ac667c7959eed38985eb095afc9acd073f","datavalue":{"value":"1468.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919002$12F60ECB-1314-46C5-B82E-E3F0517140B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47938d453a4a1b431374d331201754b751d6c8be","datavalue":{"value":{"entity-type":"item","numeric-id":2208297,"id":"Q2208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$71B1BFF6-D6F7-4CE1-936D-FF91D3D5A579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc84d947eb7fe32351460ac2688d0cac4e4fecd","datavalue":{"value":{"entity-type":"item","numeric-id":2208298,"id":"Q2208298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$946F105D-81DC-42D8-AC95-C15EECB7F504","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":"Q5919002$021E9DC8-D4F1-4441-94A6-494689E83FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"265a8705f244c9d097de3e98c6937abd8a7b8993","datavalue":{"value":{"entity-type":"item","numeric-id":365066,"id":"Q365066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$A9717019-D9AC-430C-983A-E604CD50740A","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":"Q5919002$01A6892B-A7C5-4385-873B-601C902877B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5919002$4E559F5F-0B73-450F-A624-A1FC258A5B92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919002$B4C8E78C-CD1B-4E51-A9E3-FB9FD8670DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919002$9C4A72E1-932D-47CE-A0D2-94DD5B34BF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919002$42B72FEC-3595-4521-B63F-DD463704C3F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e3e0ab2fb8f7253c1b787a3c94ab989724fdf8d","datavalue":{"value":"7268908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919002$BCCE1C92-114B-4A1B-B860-EB531797044B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a00b33c7b81485b24b4569f2fd8823a2e92dd4","datavalue":{"value":"higher-order program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919002$98FDAF3B-F609-448D-B8EA-C03AAF4BDEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919002$DE1DD6CC-571C-478D-8865-2B966DCA2AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919002$FF295E41-250E-41AD-97C1-D26F7D78D518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919002$5C3A64EB-1416-4382-8604-01D6BD91D196","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fedb99aafb4892a69662c5ebaffc64ecb6451370","datavalue":{"value":{"entity-type":"item","numeric-id":16326,"id":"Q16326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$BDB2A6A7-FFE2-4274-B8A0-CEEFB653C973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"109e91091708f7142f2c9a4ce67011a990daf85c","datavalue":{"value":{"entity-type":"item","numeric-id":31315,"id":"Q31315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$75C981C3-B435-49CF-99B4-C2D9D20D4ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7c9f5eed0f349f139cff26a79e9b6872daabaf4","datavalue":{"value":{"entity-type":"item","numeric-id":32841,"id":"Q32841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$E821FE53-37A3-4740-AF0B-95A049CD6A74","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":"Q5919002$70C60264-F485-481D-B81F-D25AEDD066B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5c3d77af61a9360368d702ca8667959237a71f9e","datavalue":{"value":{"entity-type":"item","numeric-id":21727,"id":"Q21727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$025B5CCD-591D-4EA6-A22C-1DDCF8B0D3F0","rank":"normal"},{"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":"Q5919002$A6181F64-A0E1-4CDF-BF9F-876775CA57D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b194bd31d37c1243d7e8c5eddae754651b6b0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18941,"id":"Q18941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$2346C68D-A631-4FA8-914B-8B38401B3891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9571a980e5821fda7407e6c3a929e1cfdaec4d40","datavalue":{"value":{"entity-type":"item","numeric-id":21846,"id":"Q21846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$5D031FA7-DBD0-4EAB-A039-0BC84D07769F","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":"Q5919002$09CA5F06-23A3-4CB0-8B0A-0DCEBED7846E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d61bc2a9038da3729c0af2dd455f277c30e4cead","datavalue":{"value":"https://doi.org/10.1007/s10817-020-09571-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q5919002$A4B373B6-641A-449C-A1E1-B925158D1832","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffc492146e68d94b492d6f8197f6e2ec91d82404","datavalue":{"value":"W3046473740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919002$0589297D-39D4-4EE7-9C85-319A86D0DAB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$EF7A3C6B-211E-477C-A34E-C5C332448FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$DE61CD08-F7A8-4DF3-9212-697AC2A79489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddcc641ff7e57a4e6017578f7e30b24f5a72870b","datavalue":{"value":{"entity-type":"item","numeric-id":766306,"id":"Q766306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$1A429412-BEC6-4518-BBE6-2041A63B2A8A","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":"Q5919002$2DEB0569-2C41-4F35-A51A-D7115C4493E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$69A5A067-0C7C-4C93-A7FD-2D6937CA8BB9","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":"Q5919002$92D4A48A-58D1-455E-8DE2-043D3A6CD4B8","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":"Q5919002$B4AFE2B8-ACDE-4484-9324-53E2D63D10E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b579707a4306c9f6e0814fff83d8fe01dadba181","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$71F517BF-CC91-435B-8C6C-D6A55358899D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$0D366A53-AD7B-4417-A0D8-9CC8D458C81F","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":"Q5919002$CB66F70C-565F-41CF-92EA-6473804FDB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba554edda49550d189780f0d698446ece61df57","datavalue":{"value":{"entity-type":"item","numeric-id":5410711,"id":"Q5410711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$3562EBFA-84BF-4CD6-A9BE-2EBCDF38C427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$5BF8266D-86F0-458A-B2E5-16400D7CC4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5409abedbfbfe0ac74339d53e3b1f28883312661","datavalue":{"value":{"entity-type":"item","numeric-id":5255068,"id":"Q5255068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$C164CE35-1CCB-4A36-81AC-EE8CAED6BCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707165a093156462bd4a3f8762120c7cb6201ae5","datavalue":{"value":{"entity-type":"item","numeric-id":518404,"id":"Q518404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$AF53288D-827E-43E0-8A8A-B62FB29112CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5543be9943ed5afa4e775fa2b368abaa7788d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5326308,"id":"Q5326308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$07753C09-43A4-4E7B-97BC-39CD82770DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8d9876fc4b1bc762aaa2e76ab4503f7e596a90","datavalue":{"value":{"entity-type":"item","numeric-id":5255067,"id":"Q5255067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$85D88CC3-589C-444C-9F24-437D1EDBCE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44133b9bfa2aad984355aaf2ce1066824a22a8ee","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$047F9955-D701-476B-A744-5BDD841F402C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb216eaea9ef5909bc774221bd6070ac3f48525","datavalue":{"value":{"entity-type":"item","numeric-id":2926649,"id":"Q2926649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$0C65038F-2299-4B7F-A65A-5AE8200EBCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff39f37e1d15545c9716f15220e5c0328b9bc76a","datavalue":{"value":{"entity-type":"item","numeric-id":5172655,"id":"Q5172655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$59F8ECF2-93FE-4AB5-8698-80E684E3E4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abee67a4a5c18c8985c4b59db7ff0c63c1633c05","datavalue":{"value":{"entity-type":"item","numeric-id":2981992,"id":"Q2981992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919002$541FBDBE-CF74-44AC-B2F0-2A0E0F47DF3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d49430c021a03eee805dc5b9331a9edd9c6e9be","datavalue":{"value":"10.1007/S10817-020-09571-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919002$2EE95E63-EFC7-4738-BC92-7D71C4DABC30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536657ca3f5e324f4bc84b487b87341d2f4e18fb","datavalue":{"value":{"entity-type":"item","numeric-id":5919615,"id":"Q5919615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dff9c15ff6c19c0e12d4ec134e5e1d55eb43f4d","datavalue":{"value":{"amount":"+0.9960647821426392","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":"Q5919002$9524CF43-4DF4-474B-8D6D-BD33CF21358E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5beeeb746c06a546ebe62c80e7841455a54bbb6","datavalue":{"value":{"entity-type":"item","numeric-id":2981992,"id":"Q2981992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32fa405abfed5ad0579e7b41f5a52641decbe555","datavalue":{"value":{"amount":"+0.7839802503585815","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":"Q5919002$ECF4279B-6D5F-4FF8-BEA4-828A0A1B497F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb749952a68c5b82e606596cc60d6f39df18bd79","datavalue":{"value":{"entity-type":"item","numeric-id":5030192,"id":"Q5030192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c4170e185cbf9ca2a984a615c95855d6b3909c","datavalue":{"value":{"amount":"+0.7168163061141968","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":"Q5919002$A6D23BA5-B1BB-4BEE-BE73-20632416EAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbaafc7ab4be82fbef5a7586e0d9634c0f5f977","datavalue":{"value":{"entity-type":"item","numeric-id":5756517,"id":"Q5756517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b1085cfdc597b6f0a492b8c1cf8cbdb96b6d432","datavalue":{"value":{"amount":"+0.7059382200241089","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":"Q5919002$3A469876-48E8-4CB9-9F5A-44DCD5EDFCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a58fda84ce2b1ec77c3acde53b995716dc14","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e353b0dc92df482fc25334861f5ca85575d1ae5","datavalue":{"value":{"amount":"+0.704694926738739","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":"Q5919002$F2B0CCF9-26D0-4FAA-9710-D82148C6BDB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5919002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5919002"}}}}}