{"entities":{"Q300418":{"pageid":302185,"ns":120,"title":"Item:Q300418","lastrevid":60869547,"modified":"2026-04-10T19:39:34Z","type":"item","id":"Q300418","labels":{"en":{"language":"en","value":"Guiding Craig interpolation with domain-specific abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6598947"}},"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":"Q300418$0729E52B-D55A-473E-8728-DB637E5CB0B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1722db53f50131c7c24b0c265be4df4fdd638296","datavalue":{"value":{"text":"Guiding Craig interpolation with domain-specific abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q300418$EDB34E7B-745C-4C8E-8891-1CFEAD11E236","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcb6b2df7d03340e7d066d205cc1ee2aca2cf31a","datavalue":{"value":"1344.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300418$E4EED58C-70D8-49A3-8D7F-A1EEDE1A4D00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$396004E6-2458-4928-8664-FE2FE0927B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$29E3F9F2-969D-4D06-8B60-DFEE8400DFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5dbc4a3b7043aae37ad0be56fd2bf423ed72b65","datavalue":{"value":{"entity-type":"item","numeric-id":300417,"id":"Q300417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$F97DA9F1-0690-4968-996B-797A53983F8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$244CC824-083A-412C-884E-43DFAA450FFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbcea371f4566b396cd1a7c03cc4551825ca31fc","datavalue":{"value":{"time":"+2016-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q300418$FCC858BD-7FD2-49C7-82B7-70F84AD54619","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e3d0e452bb1f24e532df1b2a84d31819bf99c8f","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-268743","type":"string"},"datatype":"url"},"type":"statement","id":"Q300418$475AF06A-5D6E-4330-BE1B-E3A2E10E4344","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300418$FFCC880D-1763-4A09-BBB9-F96E22F92D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300418$DD4A31D6-19E2-499E-BDE7-A5C02B2F2654","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"838c5a182423896747f8d54720cff5e5f00f0296","datavalue":{"value":"6598947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300418$5A1AC0BE-12CE-4CFE-B6ED-1F44A58260E3","rank":"normal"}],"P1463":[{"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":"Q300418$FDD8FCAD-6E41-4BF8-AB94-497C1948D471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$871F2E76-D1DB-4F35-B691-05AC159A61EB","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":"Q300418$19F8AE0B-23E1-445F-980A-840A0C1B9EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84555c80f390a6027108910a1237246dadca1460","datavalue":{"value":{"entity-type":"item","numeric-id":23352,"id":"Q23352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$53807C73-6BE2-4748-A7C5-B67F31A5C13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bad17ed9105e56234c3fb1410804a2c89618330","datavalue":{"value":{"entity-type":"item","numeric-id":19912,"id":"Q19912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$7CE1477F-50E4-4893-97A4-18090B18054A","rank":"normal"},{"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":"Q300418$D38B9BC9-4CF3-4BCF-BB1C-90BD069A808B","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":"Q300418$836F8C7B-F25B-465F-9060-6103A98BAF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$3DA8A189-A0B9-4803-8466-393F795286B7","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":"Q300418$FD85DE17-1F5B-48EA-881B-99F5E7507B54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f797b4f2d837fa227574677e502e2731c7942bfd","datavalue":{"value":"W595779784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300418$4B0C4863-37F7-4595-A8A9-71AE131B8ADF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a257ff0958ba2ab18651e0ae0e647b82a1a678f","datavalue":{"value":{"entity-type":"item","numeric-id":2891439,"id":"Q2891439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$4CDF542D-EF68-4771-BA9A-7A3E69C6EFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25f97d863b678de339f343f28e44115ff865f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$A91D938D-B304-4A16-B523-0425C04DC490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c772d2703f22bd12636c05a8bf424fb4fb7392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1193891,"id":"Q1193891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$1E37602B-F281-4E54-BB82-D5DD3556120D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4a364c7ffd575e9526a9a72ed0402273dd4826","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$458166CC-81D4-4FB8-A2D1-FC178F7E6C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9af34ab0f3a5d8a2bdae5666451b1341bfa629a","datavalue":{"value":{"entity-type":"item","numeric-id":3636859,"id":"Q3636859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$D993467C-4DC7-41F6-8E9D-070E5DBF9429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d02295b918ee0afc1f76dac5b90054e0bd92879","datavalue":{"value":{"entity-type":"item","numeric-id":5747778,"id":"Q5747778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$A42B4619-1208-4B25-B0B8-6E9C1436967A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9877add428dd78103388124da498b7c045cd5b18","datavalue":{"value":{"entity-type":"item","numeric-id":3075472,"id":"Q3075472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$3E002010-2712-46C1-8C48-70FF578C2BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b76bde985ec3ae57c40c539753fd53cd1f3a854","datavalue":{"value":{"entity-type":"item","numeric-id":5458343,"id":"Q5458343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$0E5555C4-E507-481D-88D2-7AFCB81D1C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55651894defdf59fce429cba82a489ab2d27664f","datavalue":{"value":{"entity-type":"item","numeric-id":5408449,"id":"Q5408449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$5D791493-891B-42E1-AEE6-E45265086572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$C1403386-018B-4534-A90F-39B5A15F647A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$8470FDDB-C153-4DC3-92CE-9B31B95985F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$AE28058A-33BC-46F5-A109-D0FADDB0E2DD","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":"Q300418$28DA33E9-B426-4B05-A0F4-D6068E11D59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1f27d5e14d456aa8b6031d92ee27db277fbe0e","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$25139758-E7D5-4951-A39E-70CE45694F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257df51e393b0d853943fde502aaeb273a88b89c","datavalue":{"value":{"entity-type":"item","numeric-id":4289279,"id":"Q4289279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$2C38D0C8-25C6-4F15-90B6-1E9562777AAB","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":"Q300418$1B038106-0F70-4D03-8997-6E974C95602A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$81B3E68E-C203-4341-867C-4926BC0FC0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$3479055C-949D-48AB-ACF4-11D5AB7793A1","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":"Q300418$1EFC19C5-0E20-4A15-A9DB-E37A0F690F47","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":"Q300418$F38274D0-7C52-42BC-8BBF-EBD345A9341E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c91a28a758cef65772d101c4d9ed9dccc99d931","datavalue":{"value":{"entity-type":"item","numeric-id":2942878,"id":"Q2942878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$F531D2FA-6BBE-4DCB-8B3F-8843EEC625B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d6099524e3f7bed0ce635b8cc10b44d3701853","datavalue":{"value":{"entity-type":"item","numeric-id":4649296,"id":"Q4649296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$1EFCFA2D-97E7-4D87-A2CB-75E34B72DA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715bd9b495ec757bc4f5f54f4d99370941ab86b1","datavalue":{"value":{"entity-type":"item","numeric-id":4997235,"id":"Q4997235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$0F511D99-2D16-439B-85E2-5AB62AB5069C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$D52A975B-C1B4-4266-8BED-25604F8C493F","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":"Q300418$AC6F7E30-AA8F-4310-A923-98EFB1AFAD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd9c416b4622f9f802ca77cd3c3fb7dfb39222b","datavalue":{"value":{"entity-type":"item","numeric-id":5408552,"id":"Q5408552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$D2025643-91B5-4EFC-9A89-5FF82568BB9E","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":"Q300418$F6D2091D-E81D-4077-8BA7-0F852A6FCEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a62c24cddf605dd86a399f231d937d5444e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$4FD1F496-4971-4322-8F7B-B97F6B38F64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec347805ba3757698921969280bdec014cb4b633","datavalue":{"value":{"entity-type":"item","numeric-id":1951646,"id":"Q1951646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$852CB47A-3872-4014-A3FA-D1A5792A0FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f3dbc47deccb64d887f982dbe2cceb2d9bd9b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5391528,"id":"Q5391528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$B986AFB1-19C9-43B4-B40A-EB5EFEE1E854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90523338892982b1665740dbbd308e5958d89004","datavalue":{"value":{"entity-type":"item","numeric-id":2870162,"id":"Q2870162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$DD54B3AC-F321-4815-A7FF-667062D9E8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe3c720aed0327b731658d3d109eaa2ad9e5ef","datavalue":{"value":{"entity-type":"item","numeric-id":746767,"id":"Q746767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$6D3464BC-4D3A-498A-AAFE-D5EABF81BF6F","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":"Q300418$4BA17D27-48F4-421E-8DD9-CE2C47DFE9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6c89859adcb1e5c7ccb6242d8568bd28edb1a3","datavalue":{"value":{"entity-type":"item","numeric-id":3172925,"id":"Q3172925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$5D15D2DA-7D32-48AC-9BAD-1ABFC1229CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8dfd9651ab5a9bb850689db6ed8d071ae411ff","datavalue":{"value":{"entity-type":"item","numeric-id":5891935,"id":"Q5891935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300418$26DB5D80-5763-4AFD-9205-1FFEE1C15CD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f866d43f53be0556fe22b4b6dbbf6f9e89633dc","datavalue":{"value":"10.1007/S00236-015-0236-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300418$FF4C9F8E-3FE3-4812-919C-C450EFB6AB33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b7a8c6f01dfecc18f5236dd4a0db19a4b41985","datavalue":{"value":{"entity-type":"item","numeric-id":5899075,"id":"Q5899075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9e3c716e19ae37478db8a3e693018d218f9ccb","datavalue":{"value":{"amount":"+0.84880376","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":"Q300418$28645A40-6DB6-4708-AF09-D0FABF565FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9312a021d07435c43a4923db960b9c16ffaa086e","datavalue":{"value":{"entity-type":"item","numeric-id":3620428,"id":"Q3620428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9e3c716e19ae37478db8a3e693018d218f9ccb","datavalue":{"value":{"amount":"+0.84880376","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":"Q300418$46D8D93B-1DB3-484F-9B6B-58702C306EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d575723a45dbc84b3685fffb15746049a15cb3e","datavalue":{"value":{"entity-type":"item","numeric-id":4813406,"id":"Q4813406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3c4ae1643de16c1d541a3315623e58c0958be8","datavalue":{"value":{"amount":"+0.83429265","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":"Q300418$962B6314-212D-4EBF-862C-B9C793FA4599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35471693b9b81aca4d54d85b5e7a7d84e4829dbd","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278c192965d51bdf5ade63330efd0f2ee8c252c2","datavalue":{"value":{"amount":"+0.8334179","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":"Q300418$B8ECD4EA-5A1F-439C-B313-77D644EFFA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a97945f30007bf4731ef6fa01728c84bec63d65","datavalue":{"value":{"entity-type":"item","numeric-id":5713510,"id":"Q5713510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f988cb1b0f42a612cc2d339e66133c11bcff467","datavalue":{"value":{"amount":"+0.8269237","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":"Q300418$2BA3FAD6-0F27-474A-86DA-4E90E849EEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f988cb1b0f42a612cc2d339e66133c11bcff467","datavalue":{"value":{"amount":"+0.8269237","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":"Q300418$9C20D6BF-F8FB-4896-AB1E-E3891F0E4079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898b391f074fcb2567bf2d966421214577a5e099","datavalue":{"value":{"entity-type":"item","numeric-id":3612008,"id":"Q3612008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d1152a4cf8bb739c58cccf683706197066a3a5","datavalue":{"value":{"amount":"+0.8268345","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":"Q300418$B1D53106-0F3B-4F1F-8FEF-0B81857238D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761fca96bc8f5d7ed1a77087e8be1f0159097497","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e35d104563064ba02370fb6e244047abb09041d","datavalue":{"value":{"amount":"+0.82441074","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":"Q300418$5FB16391-294F-4692-A3FF-03C7DE8009A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8638591b2a5b512b02ec352f80b9240dfd22b3f1","datavalue":{"value":{"entity-type":"item","numeric-id":5221855,"id":"Q5221855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56a251a216ff2685b66829fde83bd32a134c566","datavalue":{"value":{"amount":"+0.8188939","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":"Q300418$1942E730-40D7-4C68-863F-B75EE638E421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Guiding Craig interpolation with domain-specific abstractions","badges":[]}}}}}