{"entities":{"Q2208307":{"pageid":2219050,"ns":120,"title":"Item:Q2208307","lastrevid":57781902,"modified":"2026-04-02T12:26:42Z","type":"item","id":"Q2208307","labels":{"en":{"language":"en","value":"A learning-based approach to synthesizing invariants for incomplete verification engines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268912"}},"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":"Q2208307$41475ADE-8BB4-40C5-9061-BBC0EDF8153E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82bb7e1ababaec449ca656026887348a33a6da7d","datavalue":{"value":{"text":"A learning-based approach to synthesizing invariants for incomplete verification engines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2208307$CBD6C9EB-81FE-4D29-82B6-CAD28BA8AC1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53ef3ab2ab3b5d7b804eeef0ca453b9df9084b9e","datavalue":{"value":"1468.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208307$0C950A3B-9AF4-409C-A44D-4B647A2AB91C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$A17FAC8C-5881-49BB-88D3-FA665E7FCE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$FEDE27B2-6CE8-4413-90E8-4E5A7BAC2B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08dea09d468230ac7ef2543a9211289760c3589b","datavalue":{"value":{"entity-type":"item","numeric-id":2208305,"id":"Q2208305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$46D2A18F-7809-4E69-8D90-FB8779432857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7db51a0f04b9f0d6e4008fbb01a7a758126343","datavalue":{"value":{"entity-type":"item","numeric-id":746777,"id":"Q746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$7D65229A-3B27-48AE-8C35-57073C05C7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83585fffae78269342e077d3b8e3dda2879f1b18","datavalue":{"value":{"entity-type":"item","numeric-id":2208306,"id":"Q2208306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$CD56427A-D365-409A-9C23-93112D30A42F","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":"Q2208307$CF732570-F4E5-4995-A197-31C3F65C72E1","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":"Q2208307$8F460C43-0C8F-44E3-874C-478723043E0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8aede64b89df31b6884e1de18dc8116fdfb049b6","datavalue":{"value":"https://arxiv.org/abs/1712.05581","type":"string"},"datatype":"url"},"type":"statement","id":"Q2208307$C2EF785D-F3DC-46A5-B2EC-7A3C06448C7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208307$63AA79AC-5D84-4CB8-9744-D1DB5BD70E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208307$0D595ADA-8A66-42D5-8311-F43C6A01CA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208307$3689C73B-BA77-4F80-A8FD-510A5DBD34C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208307$671BDCBB-C8AE-4C21-983A-88F688E23968","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c32c157b8cfa31f4fb0e365c837942dead389cad","datavalue":{"value":"7268912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208307$9432E181-A8E7-4833-BE53-1A4B0A0BDAFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2208307$3661E525-C1BE-47ED-862E-9314025322C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"535f65541f41a57140701ba196c6989224dff34b","datavalue":{"value":"invariant synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2208307$1AB77826-3293-43AE-A56A-C2FDAE8A25A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1288bd4f3d84d526b4303bdd434c009832b834ac","datavalue":{"value":"undecidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2208307$AB8C3355-D4DC-473E-A216-2728E53835EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7892bd869b682ff30a5be353ea3ee4faccdecc8","datavalue":{"value":"incomplete decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2208307$3B7831A5-8CDB-4E47-B557-849CBC983E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2208307$C0A1B29F-F99A-459C-9F98-69B001FB7B96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$B1F9132E-ED3D-44C7-8252-13D8403BA647","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":"Q2208307$EB21F841-9B72-4F09-BA7E-530478E46ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14bcb78167ecbe13d976fd586e0b21100a3bf946","datavalue":{"value":{"entity-type":"item","numeric-id":31317,"id":"Q31317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$62F0D901-D6D9-48E3-8F25-66064DD2FD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39f845fecb27dca4d042d6ff50d6e8774b88438a","datavalue":{"value":{"entity-type":"item","numeric-id":5972585,"id":"Q5972585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$76040C3B-E89C-4AAC-A3DC-C1A02798F014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$1D0C914B-6147-43EE-95B9-2CBA4A969D7A","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":"Q2208307$63213282-0C10-48AC-BA39-92466B74F961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8eb406da0bebd03f9ecb41f74e5badb7396eef3","datavalue":{"value":{"entity-type":"item","numeric-id":23206,"id":"Q23206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$049DB872-1872-4288-BD9D-C64E2F871080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33734e36764580044df2d1101af853dac96392fb","datavalue":{"value":{"entity-type":"item","numeric-id":21759,"id":"Q21759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$B8ACFE9F-7590-4B7E-9A15-92C4C5C8A001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$F2E8D0E5-B4AD-4DF4-AC30-66833E843444","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":"Q2208307$9EE35CBE-D40C-42FA-95C3-F7E7FD90167E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$42A74D13-3596-4259-BD9F-ECBDA9812707","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":"Q2208307$78E7351E-D51D-4F9D-B9C2-27075F1DE39C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d96a89c078f57a34956b5f27f5a50663cf38988b","datavalue":{"value":"W3043358392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208307$4BC63EB1-0DFF-45DA-B63B-231B4F3AF0B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a8b428ad5625dd7f1177de32005dc73363f025","datavalue":{"value":{"entity-type":"item","numeric-id":2802459,"id":"Q2802459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$74DE852C-B1A6-497B-82D9-C9828B49C8DD","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":"Q2208307$1D24D469-DCC5-427B-996D-17D53D7BED95","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":"Q2208307$E47EEE8F-F698-4CC7-9A92-1B97374B2B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$B763DF14-8968-451E-B5BE-8124F94E87FD","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":"Q2208307$24F45A1A-60EB-428A-A7E7-5C0097D9808D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d0e546f584fff0965159489d2fe578acb6ad4","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$3D60BC3A-AF5B-4AE9-AC12-6EC7AF3D4EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$308B1EB9-8850-40A3-AA9E-A19B03781103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$B12210FD-B5D8-4003-8846-A69825F09FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$CEDAC282-01E7-4CB2-9A0A-B26AD11D3DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a4e09d6cbdccb0a6a97551bee24c6efb9d080","datavalue":{"value":{"entity-type":"item","numeric-id":5326338,"id":"Q5326338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$A9DF190B-A881-4249-AE9D-80626C070B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$00772AAC-3838-4CD2-97FC-8973EDE1ED60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$026B5A1F-C526-46C6-AD5F-205389F915C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$B8BE6F23-FF6A-4781-85F5-C37C604DF767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$47BFF8E0-B822-4B63-AFAB-CE0E4FE1C52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7dd0892c14507a8ebfe27b348bce87a4fc4a48e","datavalue":{"value":{"entity-type":"item","numeric-id":1702932,"id":"Q1702932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$FE95DB26-694F-40D8-8A67-8804C73EC96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$F4D20287-D1E9-4B39-B1EF-145E52A3DF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$4197D7E7-3D77-4959-8167-9B304B2B08AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba089f9433ceda1f0b3df955a6d5984fb8f80e5e","datavalue":{"value":{"entity-type":"item","numeric-id":2324217,"id":"Q2324217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208307$6A5A28D6-401A-4387-9987-22F9C7400532","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":"Q2208307$B71EBAA7-1F00-4642-80E5-0B621E8DD086","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":"Q2208307$8A1EC7CF-B251-40FF-8BCF-A06E4DFB5CC6","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":"Q2208307$34CA3A64-88BA-4CAE-AF36-680480EB54EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c30c40019fafa139f0cdfb989d9522e22df82834","datavalue":{"value":"10.1007/S10817-020-09570-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208307$39F354C1-AEA4-457E-B855-A73A3EA77254","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01e1205fb80aeea482a21388c62865ac9d418be","datavalue":{"value":{"entity-type":"item","numeric-id":2324217,"id":"Q2324217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82799a510a8315642ff4c7c84eadcd8e281a784e","datavalue":{"value":{"amount":"+0.9411742","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":"Q2208307$FF1710E1-F81B-4C08-99A6-11B329470BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df382d8d1b86451a6937787c5c53ef4f54c6c488","datavalue":{"value":{"entity-type":"item","numeric-id":2842643,"id":"Q2842643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11beeba6591f0944649d04d1eb01a6189e41441","datavalue":{"value":{"amount":"+0.88810074","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":"Q2208307$E4A4FE4A-3434-4407-8204-2EA3B9B26B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce5c28261f75cd791191b31e4b7191fad7c51b0","datavalue":{"value":{"entity-type":"item","numeric-id":4994694,"id":"Q4994694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47be0324bdaafb5a0e39df19b77863099e5a6be","datavalue":{"value":{"amount":"+0.8696189","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":"Q2208307$3936884E-63B7-48B2-8C4B-27F3520B9A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ccf01c3cd45ed8bf1bca0a82ed9e2b50eaa148","datavalue":{"value":{"entity-type":"item","numeric-id":4723280,"id":"Q4723280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c3ff5a166226d02fc4336bb9921ad2728307d3","datavalue":{"value":{"amount":"+0.8657889","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":"Q2208307$21C4997D-F683-4DB2-A21B-A47157415D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4713b22089dcfb39aba365f723e953560ed05b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0111617b94fa0b8f1292db3e68ae4c654c7e75e","datavalue":{"value":{"amount":"+0.8644254","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":"Q2208307$3D83CB66-C451-4DFA-953C-52DE13B02B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725bb17ca3657881f0a98dc3d779187baeabced2","datavalue":{"value":{"entity-type":"item","numeric-id":3656883,"id":"Q3656883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f48f31d6f562ac8c73b956d94b5e9aedf3c972","datavalue":{"value":{"amount":"+0.8637614","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":"Q2208307$4C804660-2932-4D62-BB11-839B8A5AD891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60c2ca313a6cb60ede3bb494700554a7ac10a51","datavalue":{"value":{"entity-type":"item","numeric-id":934713,"id":"Q934713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59df94a73db595e64dd18071d85386d781d1afd","datavalue":{"value":{"amount":"+0.86256516","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":"Q2208307$EF8014BD-EFD7-4F3F-99E7-AC67DEC23529","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":"Q2208307$9AE43A34-4B7B-44B0-987D-DC1AC2256E37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2208307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2208307"}}}}}