{"entities":{"Q2457802":{"pageid":2468545,"ns":120,"title":"Item:Q2457802","lastrevid":44127156,"modified":"2025-11-20T05:16:19Z","type":"item","id":"Q2457802","labels":{"en":{"language":"en","value":"An approach to automatic deductive synthesis of functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5204110"}},"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":"Q2457802$C4FE4EFB-C16E-4646-8003-5F54232C0477","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"951d749f5cf90c6d9cf286c4a32ad83467acce54","datavalue":{"value":{"text":"An approach to automatic deductive synthesis of functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2457802$06D2B7B3-A142-4F25-B7DA-9B43DF00403A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8d3c996e0171a310c484a15cf2a809497a9d7b6","datavalue":{"value":"1125.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457802$5DE0840B-8F34-4C58-90A1-0F8DB4BEF486","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fe5f63258a18443c9eec1fb93f6fd41138b2da5","datavalue":{"value":{"entity-type":"item","numeric-id":2457801,"id":"Q2457801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$348C9EED-5D58-48C1-82BB-0A2F727D2A9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$44652957-FF63-4551-882C-31BD21E762AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92f17929f5a72155ae3100d6d6310726eec0e95","datavalue":{"value":{"time":"+2007-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2457802$AC4D1338-847D-4DA3-A505-D8E1D3900FD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457802$D3273FB3-13C1-43E1-8124-FBB510E5122F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457802$70924216-5660-425B-8C9B-48A83579CECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457802$6CE6BD04-84CB-4083-ADD8-76A002F80BAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47db63b5d6c72ef147a69235f0aa66ddc7846b3d","datavalue":{"value":"5204110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457802$4F07CF5F-EAC6-4F51-B45A-3CF20717C7E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b059126299f68ab85fef5cc524fcfe9badc52811","datavalue":{"value":"Deductive program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457802$B2EACCA5-2731-447E-A99E-0099BBDBE2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3971ee52cc98a88e4d13233657f8338e7e6b622d","datavalue":{"value":"Automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457802$DA6FB51F-9A80-467F-AFC6-F91D1D5D6130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba0fc3eaadf0873a6eae7abc5b28303437cc501d","datavalue":{"value":"Proof planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457802$D78C33BE-3133-473C-972E-841EA354DB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0471f43422811109c12d38db0ea94d9808cee37","datavalue":{"value":"Rippling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457802$36191093-10C9-40B5-B335-91485983F33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cfb3d22d67766ea6c2f6e0e3a2d53b2fca96619","datavalue":{"value":"Induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457802$7C214BEF-D636-4ED3-BC8F-FF5061E3FF23","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$67EC6119-0024-42D0-B9A7-6BC7A42CD791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$92CB849A-B56D-4175-A5C7-C7C8709ADA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$C632A944-7B86-4840-A6A0-12376C7F0955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51dec823a666188db424cceb64553de72ed9ba7d","datavalue":{"value":{"entity-type":"item","numeric-id":15565,"id":"Q15565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$B4B11FA6-A57E-438F-82E4-352FDF128672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a49c6eab3f20625da110b159712fcc58d765d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":31454,"id":"Q31454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$3A91C874-BEA8-40B7-87BF-F78E505C9F74","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":"Q2457802$98FD365B-F423-46EF-A2EE-1BE89577ED16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0c5bfc66a5d206b62171ee676b6da9f8377af57","datavalue":{"value":"https://doi.org/10.1007/s10472-007-9079-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2457802$14E0E0D3-6C0D-4E7F-B928-EBC8E116434F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f68750427f2b9e2bef7a32c2c3fadb2166c64cb8","datavalue":{"value":"W2042550236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457802$D7D49C53-3E64-4B5A-B632-6890FED4661D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ffa3aa855218485f520288b2b97c06203f36434","datavalue":{"value":{"entity-type":"item","numeric-id":5938542,"id":"Q5938542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$015E994E-F7C6-48F8-B1A8-4E8094BF7BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6145ee3ad7ead0384969628693267a5884274057","datavalue":{"value":{"entity-type":"item","numeric-id":1915137,"id":"Q1915137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$C75F30CA-E787-404E-9DB9-F06BC5BDAAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$2C618762-0A6E-4619-9C5F-A97D8465288A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635d658e492778c40a0dc6463613126938b64c17","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$10E4F71D-C0BA-42F7-8A3D-1D5349FFCAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a42635e354ed5a90dff7abb6b01b6c7ff160dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$5E61C1D2-C8CA-40B0-A9B9-04E4DE44A29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$50CCF94E-6BD1-42B7-8315-1F2211DC05ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ceb28bb4c6d355783334e1ae2916b20c8aa5033","datavalue":{"value":{"entity-type":"item","numeric-id":3093353,"id":"Q3093353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$C894E6D5-2193-449E-AC0F-B5DC72A10E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1f65752f3456f6a8005ae067b33615b9f26f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3533135,"id":"Q3533135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$3C19022E-1534-4D18-8746-63AF2168EF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe67b65727389c17ae1cf9ee01424d6547a522d","datavalue":{"value":{"entity-type":"item","numeric-id":1915136,"id":"Q1915136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$86CC9256-C28B-4CCC-B419-3962E1D06441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d24892d871ceaa1ea557f44b46e8e5184a00927","datavalue":{"value":{"entity-type":"item","numeric-id":4404413,"id":"Q4404413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$A47771F5-6329-41BA-B033-5809F6451B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$6F97F48E-B34D-4AF4-8A4A-B256AC71B605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$158040BE-3397-43E8-8C85-963D4BC0078E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399a4a28ec6e2736431a5a96979b52f23d8afbad","datavalue":{"value":{"entity-type":"item","numeric-id":4934147,"id":"Q4934147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$86A13CD2-4396-4F21-B6DE-ECE72539EF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb1b34a87f56f6704057ec21d7f650f504e9312","datavalue":{"value":{"entity-type":"item","numeric-id":5720483,"id":"Q5720483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$C7330D47-0808-4EDC-8167-06935194BE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288101ca16719641b6d826c50f535fd8613a7b93","datavalue":{"value":{"entity-type":"item","numeric-id":1822927,"id":"Q1822927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457802$C687EF8B-9222-4F91-9648-4C1A812C9497","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60efeb5cbf7a682f806c5fecc34afb20db1682a7","datavalue":{"value":"10.1007/S10472-007-9079-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457802$0777E2AF-FD2A-4BB9-96F9-1230226EAFCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71453e33b80d7a06f62e5f0a260a43a89a2dcf05","datavalue":{"value":{"entity-type":"item","numeric-id":4808703,"id":"Q4808703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2c16f8946ec699b2080765d401b662b9398c39","datavalue":{"value":{"amount":"+0.9340344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2457802$A0DC9F7B-72C1-4558-B298-04434C75A416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d83ae6af30de4ba23305007d2d3314e09b9e62","datavalue":{"value":{"entity-type":"item","numeric-id":6166148,"id":"Q6166148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5bdd74801fbe685fde9ca4f753e51a638c5bb3","datavalue":{"value":{"amount":"+0.9286222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2457802$5CD516F0-9E92-4F7D-8704-190609E4CCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a6177aa920b46e67711b0d857846df95488667","datavalue":{"value":{"entity-type":"item","numeric-id":3093353,"id":"Q3093353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c1aac314e9cef5c2a90338b4b84109e0a549e2","datavalue":{"value":{"amount":"+0.90820324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2457802$08A0133C-9495-4B05-ADC5-C930319A1159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c3243e05fe0fd1aebb4021426442c3380da6c2a","datavalue":{"value":{"entity-type":"item","numeric-id":5369477,"id":"Q5369477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46baf3df4ad368847419b232bb0309c4e089c23","datavalue":{"value":{"amount":"+0.90313053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2457802$4EDCF1B5-10B6-4CA9-9793-FC73990EF544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"833eeebd747502bd4108e2c26c7c3c27ee00f97a","datavalue":{"value":{"entity-type":"item","numeric-id":1183740,"id":"Q1183740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb16abdbe32a29f9fb346195ab2f407ee524670","datavalue":{"value":{"amount":"+0.899797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2457802$03662E7C-CBFA-47FC-BE74-9A422DA25396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2ef1dfb8450e1a64b77276d877120e7c94cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9dddc1a1b0b9ada277db1f9d714071ccb6abc1d","datavalue":{"value":{"amount":"+0.89819837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2457802$9F1B2126-E499-4A13-B8EE-64AA0E9566C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1375df40880817b74ea1f45ffc442d465c6f52e8","datavalue":{"value":{"entity-type":"item","numeric-id":4729320,"id":"Q4729320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ddaf384e9f85b91fa081361bf92f6b50cb77b5","datavalue":{"value":{"amount":"+0.89723265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2457802$9B2B2173-5E77-45B8-AF2E-B86418790D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f771d314ab1ec9fcbe1922c03fffe3a90b845345","datavalue":{"value":{"amount":"+0.896408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2457802$008E54AE-B6E5-4FA8-A707-E7D0E4D2E420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230230e0736c19317f4348a58bfd10a4b70ac15f","datavalue":{"value":{"entity-type":"item","numeric-id":4471989,"id":"Q4471989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5bba2a5cbe974c07414d2c088addadb345c110","datavalue":{"value":{"amount":"+0.89518034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2457802$F6065CF3-BCA5-4347-91BA-2B6C79969302","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2457802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2457802"}}}}}