{"entities":{"Q5056007":{"pageid":7085584,"ns":120,"title":"Item:Q5056007","lastrevid":91921271,"modified":"2026-06-05T00:24:48Z","type":"item","id":"Q5056007","labels":{"en":{"language":"en","value":"Sharper and Simpler Nonlinear Interpolants for Program Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631466"}},"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":"Q5056007$A74FB241-E92D-41A3-BBF4-C31CA49FEF0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bd5ece5aa2dc4aff1e364d3cad8c1f26697d6a1","datavalue":{"value":{"text":"Sharper and Simpler Nonlinear Interpolants for Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5056007$C3790E4A-BCF1-4E46-AA87-3DBB69A199F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4a7fa9628a06ae130fa46749c51a6a42c9c3283","datavalue":{"value":"1503.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056007$072E698C-0CEC-4AB1-B12B-3F32CCDD7068","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d4c9a04b9a3ca5a658d5b70793c42d9977d0806","datavalue":{"value":"10.1007/978-3-319-71237-6_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056007$2C856CD8-D535-4769-A513-40AB3B2C6342","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"111da8d7b23bd522b9bd3b6f81c70f4dbe7899b6","datavalue":{"value":{"entity-type":"item","numeric-id":5039503,"id":"Q5039503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$2AFE7DCD-E9B8-41AB-9636-E81ADC319D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4dc095a9786c7b0899909d12a00c3dff85fb4e8","datavalue":{"value":{"entity-type":"item","numeric-id":2125673,"id":"Q2125673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$ADC50B08-937B-47B4-BB68-712A126DB187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0179ba61809acd8ce680c7848183f60ed14497ab","datavalue":{"value":{"entity-type":"item","numeric-id":764260,"id":"Q764260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$939596A8-A29D-4D99-8258-4FF7C7F7A001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d0424aed08dbbf639f7162eabe730fdbbec3679","datavalue":{"value":{"entity-type":"item","numeric-id":784141,"id":"Q784141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$54ACAE46-455B-4501-A68E-28786192C1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61f979c6a572e2d3e5a7b4bbf2f08fda041b6b64","datavalue":{"value":{"entity-type":"item","numeric-id":2796052,"id":"Q2796052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$8C3709C3-AC22-4B51-A950-60AD4001CA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$C568F631-9C65-4B66-A1E0-C4E1BC5E6C14","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":"Q5056007$3B8575CD-71D0-4294-BE95-9C517784EFD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5056007$DB29476E-6BFF-4283-938C-AFB2F0487B3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"378ff313923137e22dd0574ebec2a72a71314adf","datavalue":{"value":"https://arxiv.org/abs/1709.00314","type":"string"},"datatype":"url"},"type":"statement","id":"Q5056007$D3F14BE9-5F30-4880-B89F-28568743E5C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056007$1F2A03B5-E12B-4B6E-BB50-0BBD8D228946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056007$917BEEB5-8DD2-4E29-9237-01059BD136E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056007$AC88B001-F4A5-4356-BE15-6D1D5A723642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db482a841c11f0ca4464248aaa92efa1a30883e5","datavalue":{"value":"14P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056007$8FC83C1D-6F11-4F10-AB49-A8899DAFA8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056007$C2DC2389-37A9-48F7-BA39-9C5919356401","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5663d9e45f57a631b5cbf6a5a0713b4091118f8d","datavalue":{"value":"7631466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056007$8FA9515B-3510-41E5-850D-73C0AAE1D718","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056007$DCABB775-D906-46F5-9341-4FAAD4BB7B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056007$8A498BAC-EA67-4791-9740-F576F2AE583D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22ff756d8b8581b3c1e38ef15680c6f5849ea7d9","datavalue":{"value":"nonlinear interpolant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056007$391C4F19-5FED-4C31-AF47-441E96829884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d2fa24c579b2baeef4d0446de7aa9ba4289043","datavalue":{"value":"polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056007$AB2C4702-FC66-4575-8CE7-3AD197070173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"133df42a52ac6f2472cb961ec52d3071c15bd07d","datavalue":{"value":"real algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056007$4DA6D10A-4A75-4668-A6E9-49564846F2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e0b105a2b64224cff8379245634152fc9be894","datavalue":{"value":"SDP optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056007$5C008AA3-4D4E-45F1-8E47-75B24EF274F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442ac4b06fb70de50dc41043999779ab4369acf","datavalue":{"value":"numerical optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056007$3DB53366-C6D1-4F1E-973A-C9E14E3CF8AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aba38666b847b4b6791ef188ff5703b737cb3f61","datavalue":{"value":{"entity-type":"item","numeric-id":16199,"id":"Q16199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$8680DCFC-3FC2-442A-B88B-2FCC9BCAA5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f286e42dd5acd7e30396b0ec47db6604ba1103e","datavalue":{"value":{"entity-type":"item","numeric-id":17701,"id":"Q17701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$0C10D653-A913-4B7C-A66F-35996EB1FDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$9EC15F4F-E9E4-4B95-B2F7-A62B5D303089","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":"Q5056007$B41CC3C8-C7AB-41A3-B3BE-B5C8AC0243A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b020dcf8cb99ffe8bc036c4924c1274ffa98c958","datavalue":{"value":"W2962939325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056007$FCA12E12-CF6D-4C04-8BED-A3558D8B4BA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e8225b7fde56abf09e51400675a474f11c4844","datavalue":{"value":{"entity-type":"item","numeric-id":3612435,"id":"Q3612435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$2EA92BF4-B9E8-4554-B44E-83EC32C7D516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$AA2A041C-842F-42C4-8033-80AF89D8704E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$83422611-181F-46D2-8DBD-A4DC30AF8E67","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":"Q5056007$38DEB079-EDBD-439C-9B02-F592056C472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1fcf06ccee920490b3d66824e63f640f0869afd","datavalue":{"value":{"entity-type":"item","numeric-id":507352,"id":"Q507352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$6E5F6EB7-C2CD-42F4-B696-7F95BB83D3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc49d75a01dd257362f299fa6539ca5f2adc523","datavalue":{"value":{"entity-type":"item","numeric-id":2864839,"id":"Q2864839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$3FD34508-ADCE-4117-9D1E-E91369901946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d56bd0ef1ee7d97c94633b211642a8139ec2ff4","datavalue":{"value":{"entity-type":"item","numeric-id":2817919,"id":"Q2817919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$CDDE5D72-E50A-4CAE-B5DC-C5ADEA18D01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9adbf3882e4ad5c53db89712fde395f74e08d3ac","datavalue":{"value":{"entity-type":"item","numeric-id":2272929,"id":"Q2272929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$1346EC2C-6208-45EE-9F1E-F5D7E83BDEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b513e1e0c1c4b9f63c43bd67832fb6cadc5fb926","datavalue":{"value":{"entity-type":"item","numeric-id":5166692,"id":"Q5166692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$38B4174C-C17F-421C-AD50-C4E9698B4357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fb026c7f4679de1f9e698ead828cb6959dff56","datavalue":{"value":{"entity-type":"item","numeric-id":3523169,"id":"Q3523169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$2C395532-6EBB-448A-88C6-00EE2B873ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$AD99C100-05F7-46F8-8AB9-82581E23D88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af62bfd2162dabdadb1d68f1499174dc7482fad7","datavalue":{"value":{"entity-type":"item","numeric-id":5716597,"id":"Q5716597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$9EB77895-0029-4DC7-B984-B004D2A036B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$911A993A-9B66-4DA3-9436-B8B9BFD1E03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec0e5fb5466eef8d08a2b0e9196ac1c5075cb23","datavalue":{"value":{"entity-type":"item","numeric-id":5301618,"id":"Q5301618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$E6B0F36F-5B28-4208-A7D5-ECD6DF8A27B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbbaadd9aaf645e157fc7dbc1fa1fe0840f52a4","datavalue":{"value":{"entity-type":"item","numeric-id":3172854,"id":"Q3172854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$928E297E-D2D7-4B89-AD59-4855D8542FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ee6c73195ca206e6f5759063c9d1a60d447bbd","datavalue":{"value":{"entity-type":"item","numeric-id":4843175,"id":"Q4843175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$767B9520-49A4-4EF2-B341-820C00CAD8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c7331660e8b3c1c8a494e6e41fca478c249df5","datavalue":{"value":{"entity-type":"item","numeric-id":2418665,"id":"Q2418665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$26677064-92F9-4840-86D6-27B82362D46F","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":"Q5056007$60B62433-CFAB-4ED9-A975-205922B9BD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54bc0e2f92beb50e9c6902664de23aa76daffd","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$A4312365-0C41-4298-9AA1-8CD76088FDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$C74012C5-D463-4263-808C-3B78141DE356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34241628ee39539b62c51bb563a34d3a6a26fae","datavalue":{"value":{"entity-type":"item","numeric-id":5056007,"id":"Q5056007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$A7F5678B-59BA-4688-9D7A-C4CEDF7830AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df16580f6f974f881ed949b615e442cb8d0f868","datavalue":{"value":{"entity-type":"item","numeric-id":1424271,"id":"Q1424271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$B5639263-2E81-4AAB-9B81-D40A3BDD6168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201412213ac4359e61e80e45d39be29182bafcb8","datavalue":{"value":{"entity-type":"item","numeric-id":2378506,"id":"Q2378506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$6588D6AE-8E1D-46F2-90FB-F66FEB7F8794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3219ff8350953aed12855f50a7e04d28ff461e5","datavalue":{"value":{"entity-type":"item","numeric-id":5191121,"id":"Q5191121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$21E12EB5-3193-4259-A9B5-54BE3DE21C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a935eee3bf58ccd898805ad8733a27537e6981","datavalue":{"value":{"entity-type":"item","numeric-id":4285035,"id":"Q4285035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$70DCCB3A-A79C-4BFB-916D-7C397E6CAA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7074f42e503c69be9375f5bcaa19ac0407ddd12b","datavalue":{"value":{"entity-type":"item","numeric-id":5915715,"id":"Q5915715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$C0A1CD3C-3A41-4C00-9A7E-822DD8254FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf15b8407e5d75aba6434845813c7baa49e06b2","datavalue":{"value":{"entity-type":"item","numeric-id":2502318,"id":"Q2502318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$0E5498B8-DC4D-4FD3-B3F2-0E522F2D2F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0c5a805e2d83d2fc67d0e9100dbfc3999c3a60","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$D42090A8-6DA9-4C04-9D47-B0F4E7965BEF","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":"Q5056007$E00E2AAC-E2C0-47A0-853F-03C30A99E0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e427a3de4ce120fbfba5e22bc0ea204ebacee10a","datavalue":{"value":{"entity-type":"item","numeric-id":2557742,"id":"Q2557742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$FB3E1604-9B15-4E3F-8D86-6BE23DC7FB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0abd2676b4a9cbd4e4af419b904f3aeef0e651","datavalue":{"value":{"entity-type":"item","numeric-id":4504792,"id":"Q4504792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056007$A13DB07D-C754-4F32-88C1-E86C346C8552","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d3caa1d4d524f71e53b37a1b2ddaba48ddafa2","datavalue":{"value":{"entity-type":"item","numeric-id":2864839,"id":"Q2864839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e783d858af770c0f2e93ec586e2bef249c1fb87","datavalue":{"value":{"amount":"+0.8724796772003174","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":"Q5056007$0F3F4A20-C2D7-4988-A467-1827562502A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4271b34276c60912aa8f45884468ca2e634899c","datavalue":{"value":{"entity-type":"item","numeric-id":2225119,"id":"Q2225119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e526ed1268acc3e226be3a4dc9f42db1f9159f7f","datavalue":{"value":{"amount":"+0.8381874561309814","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":"Q5056007$EA6297E5-5AC3-4322-9E66-95B15F915049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9297116a8fd5d2d74795bb8b8d5edc5bf38cae53","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93cf8092ad40af402555ea5b26b44db83bd7595","datavalue":{"value":{"amount":"+0.8187930583953857","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":"Q5056007$900299FC-18D4-4FD7-82B3-F7919DC63844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302c862f26649c1cb13bd6e9bc82d762cb6ba77","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eea8e34e40dc9701a35a847b4bae46b8a9a2092","datavalue":{"value":{"amount":"+0.8186886310577393","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":"Q5056007$7CA9D751-83B1-45F4-B8C2-BEBF11FF97E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af25b4621f953e0172da381b976932d70bb927f","datavalue":{"value":{"entity-type":"item","numeric-id":2272929,"id":"Q2272929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eed9b60572b27671bcff41f9775781fbff64b7e","datavalue":{"value":{"amount":"+0.761957585811615","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":"Q5056007$D27E5AF5-5866-46D9-883B-70EA6312308E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sharper and Simpler Nonlinear Interpolants for Program Verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sharper_and_Simpler_Nonlinear_Interpolants_for_Program_Verification"}}}}}