{"entities":{"Q2891439":{"pageid":2902164,"ns":120,"title":"Item:Q2891439","lastrevid":51491387,"modified":"2026-01-18T11:59:24Z","type":"item","id":"Q2891439","labels":{"en":{"language":"en","value":"Lazy abstraction with interpolants for arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046602"}},"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":"Q2891439$649C03D0-4F8F-43E9-92AB-79E28E6DD816","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"489846cd502ef7c17b1bf03ee35bfd4b02856dd0","datavalue":{"value":{"text":"Lazy Abstraction with Interpolants for Arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891439$5FAC22FE-A4B6-48BE-B0E5-7E5635BE739C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07184eadcdf98b442725f0ab09d1564bd1adf355","datavalue":{"value":"1352.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891439$E164B6EB-78A4-402D-B121-074DE7FA1183","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2270c462b118e9e7db5074ac2949201e14ff3a68","datavalue":{"value":"10.1007/978-3-642-28717-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891439$2885FDD6-76DF-4A40-9B45-482D88EFE6F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8df320b2bf5040745ea698d888ef24486bf9092e","datavalue":{"value":{"entity-type":"item","numeric-id":287270,"id":"Q287270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891439$360BE5ED-B80C-48A2-88E5-66D62599606C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b1bce7f658807241618c24b1a425d03bccc6443","datavalue":{"value":{"entity-type":"item","numeric-id":479813,"id":"Q479813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891439$37ECF47F-AB55-4F11-A0B6-47A6121E4577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891439$27813416-0A5A-4953-8061-A7FB06D806AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891439$30494F1F-9069-4D00-8848-424A3D8FC9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891439$BE5DF870-5A8B-4712-B85A-A3D880A2D327","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891439$CE70FB4A-E382-429A-9F82-E743D6167E9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891439$CD3BCF55-3EDE-4212-917F-66631CEB7BB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891439$983C0B83-ED46-4336-90AB-4703B9B169CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5caa86dd1ca2c537b5f943408871e969fdee6ef5","datavalue":{"value":"6046602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891439$4CB3AD06-937D-47EA-A8F9-B77D76F2B9B7","rank":"normal"}],"P1463":[{"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":"Q2891439$CCEC6844-0C40-4397-A1D1-5AD91F238722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f72920035b67b72d36194fa1cacb9706003d48fb","datavalue":{"value":{"entity-type":"item","numeric-id":23847,"id":"Q23847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891439$2B120C7C-1D01-4FB3-87E1-5A9064BE1D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edcc5b773aefa12179daf9a302ebafdcfbdfdca6","datavalue":{"value":{"entity-type":"item","numeric-id":25620,"id":"Q25620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891439$28DAD6DC-D595-4602-A24B-41A7D716E252","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":"Q2891439$536FABE5-301D-4CE8-8AF7-6C189D6B1DB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"930ac1c557a32934f40fe8e2ffb9db08b5a8fcaa","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28717-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891439$3DEDDE84-3AAB-4A5C-A417-76DAAE73F007","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c81733a9b6053136fc70e9b11ce0028d9d372b88","datavalue":{"value":"W2116333887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891439$0FE625F4-09B8-45F0-9B29-5B348B763DE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1755c681f2850b9c2be50d8a3f34fae490a03b10","datavalue":{"value":{"entity-type":"item","numeric-id":479820,"id":"Q479820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262d77c5aa643f7b8d55ef2bb8f794f7b494337f","datavalue":{"value":{"amount":"+0.9607552886009216","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":"Q2891439$101D3450-EE65-4651-9965-167C1D60343C","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":"527e4a77596d45f4300608905a75d326cdb1372e","datavalue":{"value":{"amount":"+0.8249624371528625","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":"Q2891439$6696448F-4043-4438-9911-172979FA243D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa5b8ee219383bf057660ccaa8422e52df4e875","datavalue":{"value":{"entity-type":"item","numeric-id":2887061,"id":"Q2887061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e33a178cfd31eb731c77e4d955d1221e6d40071","datavalue":{"value":{"amount":"+0.7902966141700745","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":"Q2891439$15FBEDFC-5650-4D8E-B3C0-49736A5D3A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b9f803b485945da86faf8cbeb621e43e8d77e9","datavalue":{"value":{"entity-type":"item","numeric-id":1799115,"id":"Q1799115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2e566f1596bf5874a07b1d73266e207d1c22f0","datavalue":{"value":{"amount":"+0.7793936133384705","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":"Q2891439$833ED01A-C2ED-4F03-8573-F27022A47E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65bd0347409171903a3729e9a61ca5c35266228","datavalue":{"value":{"entity-type":"item","numeric-id":5389080,"id":"Q5389080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9007052deeda01d0c7a3f3036f811cbfc4df0d47","datavalue":{"value":{"amount":"+0.7678813934326172","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":"Q2891439$CE15B4DB-67DD-4989-AC7E-E1EAAE26A514","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2891439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2891439"}}}}}