{"entities":{"Q479820":{"pageid":481587,"ns":120,"title":"Item:Q479820","lastrevid":62146713,"modified":"2026-04-11T04:05:06Z","type":"item","id":"Q479820","labels":{"en":{"language":"en","value":"An extension of lazy abstraction with interpolation for programs with arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377619"}},"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":"Q479820$13DF3397-6BEB-426C-89DE-B1DDC52B882D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"707e85367c918974f6fe7fedc69819b288766d9d","datavalue":{"value":{"text":"An extension of lazy abstraction with interpolation for programs with arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q479820$0B3B293C-7070-4271-BA4F-740FA9890A60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2972bdb2e7951b324713612957e813f45af17229","datavalue":{"value":"1317.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479820$7C34DBB2-AFE2-4406-8BC6-930AF5D1F435","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":"Q479820$A6DF938D-8234-4CC6-9986-5CDD89710CB4","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":"Q479820$91DEFAA7-3148-4695-B65F-5FCDDA140461","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":"Q479820$D8E347E7-0E6D-416B-BBBC-6B7633B0CD0E","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":"Q479820$CC849162-AE75-46BB-8413-51C0C1DAF9AC","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":"Q479820$C9681E06-F70B-4E15-A00C-15356269E2A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$D088561E-B551-4301-98A0-D0A8C016D5B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q479820$30DDF223-820C-4185-9321-6F28FB77D6EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08c0245e058e2e51c265e057306fb7be002f6c8f","datavalue":{"value":"http://doc.rero.ch/record/326403/files/10703_2014_Article_209.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q479820$4034420F-C67D-4ADF-8A9C-CB783A661FE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479820$830C554B-30A5-4F51-8018-1FFB6757D408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479820$277CEC91-305E-4AAB-9A7E-5C2243F75548","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c070d514deff4eab99f14894410709ee655dac5b","datavalue":{"value":"6377619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479820$8AD10735-1226-4E95-9FC2-B607CFD5E02A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q479820$8EBBB84A-D7C6-4C2E-A8F2-E3BA534A15CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q479820$D609BBA4-EBB9-4AFC-BF21-853DE4A1C44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c48ac8769e1d6ddffb855348350fdf93e47001d","datavalue":{"value":"lazy abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q479820$8A68ED6F-3615-4AA7-A021-A7064A149608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ac695d84924a0a6a7a3dec456b4f56d5030ee4","datavalue":{"value":"array programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q479820$B504F6A2-8E44-447D-BCB2-68196DCE5250","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$F6F2CBF0-57A1-46A4-A8B6-043EDBD1711D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$1D81B765-8176-4F98-931D-BB5E4F05516F","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":"Q479820$2A4290A1-C765-4C90-BB86-383A5A1FBE29","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":"Q479820$F85F8520-8A0B-4CAE-A8D4-1930945CF368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$64DFCBC7-FD69-4B2A-B2CA-9DD658409959","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":"Q479820$5D897391-318E-4251-8BB0-8DB251BF3BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27ecdb249d937c8a623acb0b8586242460e60996","datavalue":{"value":{"entity-type":"item","numeric-id":40383,"id":"Q40383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$BA90004E-4E22-4D78-B43C-07BDFA1384E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e188d0504db629a156fe6c8ee584863634102d2d","datavalue":{"value":{"entity-type":"item","numeric-id":19428,"id":"Q19428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$2D8B9200-FA4F-436C-AFF9-30042E0F7A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$43101795-C53A-4B05-AABA-B8972E3511C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$40051A4F-93D7-4C94-83F7-87C123C414AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8ec2c6e71c10332452ef02e1836b96e40c62ccb","datavalue":{"value":{"entity-type":"item","numeric-id":32792,"id":"Q32792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$B5BD7C50-6C9E-4E02-BDC1-527C9CAA7D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$DB0F3D69-1493-4FEB-A805-BBD7663DD765","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":"Q479820$11F20AC6-3C50-4715-AAB0-A4E4FC81CDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$7D63B9B5-55DE-4DA2-8AAC-D0C3A85C61CF","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":"Q479820$EFE19D9A-9E2F-4993-AA61-1683C82115B9","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":"Q479820$0B873770-95E1-44CB-B6D3-3E6A8A01583F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39d05a588591a1d0a0c8e39c42402b8a1efc88bc","datavalue":{"value":"W2140566181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479820$2742ACA1-8BE4-4F4E-B111-5E46D1A94697","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$73645ED6-244A-49ED-99E9-A74C9A2CE26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c36d898f969780dd13b76170e6e94b63d6fade9","datavalue":{"value":{"entity-type":"item","numeric-id":3525697,"id":"Q3525697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$8FABE42D-83A9-4651-8922-552AADE0C774","rank":"normal"},{"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":"Q479820$C58550EA-3EE2-4C79-910F-F2EC95B217C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21cce9dbeb4d2708da80ded3bcaecb6fc87fc614","datavalue":{"value":{"entity-type":"item","numeric-id":5178977,"id":"Q5178977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$2A3D566F-04E2-41DA-99BA-B06AE75D99E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecdb0aab67be49a869b3b3140e39e00b67d99be9","datavalue":{"value":{"entity-type":"item","numeric-id":2786907,"id":"Q2786907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$EF6D47CA-7A33-43D0-BD78-BFB69D86461B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54dda4e31d4e9d9288d331d945277ff37a12757f","datavalue":{"value":{"entity-type":"item","numeric-id":5758120,"id":"Q5758120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$AB834011-F29B-4916-833C-1ECECC350053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd741ae148b4c4ff3053fe9acec36532ed2d8e0","datavalue":{"value":{"entity-type":"item","numeric-id":5294025,"id":"Q5294025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$69129995-A639-4DB3-90D8-DA78084FC993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d27466745eba57837a04b18173a99a47f5ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":1037401,"id":"Q1037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$50B47DDB-E45E-48D8-AE8B-63A857B2634C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe378ad32816b2abbe80595494524fd11aedfba4","datavalue":{"value":{"entity-type":"item","numeric-id":4945217,"id":"Q4945217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$0EA42F78-1786-4FD9-ABAA-95ACCF7C5E75","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":"Q479820$B7F3D70F-1F65-45B2-A8BF-E62ACA72858E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$588E0EB2-71E3-4A2F-AFDE-ED9AE3CAA073","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":"Q479820$433C37F7-3B66-45FC-80B8-DDB0F47E30DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7fd8013b2ee9a7ba48cbb231bcd96db7bd85791","datavalue":{"value":{"entity-type":"item","numeric-id":2908483,"id":"Q2908483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$DB0120FF-A1CD-4C9C-9643-AE627CC58664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47f4caa1bcc6109e148dea42df8b52b62970850","datavalue":{"value":{"entity-type":"item","numeric-id":2887061,"id":"Q2887061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$F1048CC4-2DEE-4497-8D3A-47FA69EE7199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa10340d68829629c3f97af6a475431a89d2a39f","datavalue":{"value":{"entity-type":"item","numeric-id":3172869,"id":"Q3172869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$191D284E-4667-4263-8B96-1740613E6D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$515675C1-4DB3-40FB-91EA-75EA26AA36EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973233cbf5471499bbc4e7563bb47bc64878219b","datavalue":{"value":{"entity-type":"item","numeric-id":859963,"id":"Q859963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$67032D34-655E-42FE-A6F1-3D42D8060ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$E46EC90E-C902-477B-A0BC-9229F0B302CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$E2ADFD35-F525-424E-AD63-5D03DECD2E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1f487f894ada316ae2893024e29e29b624b634","datavalue":{"value":{"entity-type":"item","numeric-id":5408536,"id":"Q5408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$2E7346FF-1FD3-4E96-977C-C235FA748BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$4E520AEB-444E-4ED6-91A9-04C43E161513","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":"Q479820$63D1A9D2-1890-47B2-9835-4111493A6F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86def9a37b53aa4153914d39e9b95aa609286d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3558225,"id":"Q3558225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$F32686FC-DFCF-4F1D-B484-2E930E94DDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe76a44be65d754f44bec2e23d00a8af46383a5c","datavalue":{"value":{"entity-type":"item","numeric-id":5452710,"id":"Q5452710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$AF129CF6-9BDA-4F20-9DA6-F18C8D5459AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$322E0973-0595-4A1C-8AAA-265E6A3DC75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54c82b0039a426f5c1ef7671ea1808efb82c22e","datavalue":{"value":{"entity-type":"item","numeric-id":3067530,"id":"Q3067530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$7D4A0365-74D9-44D3-9391-381E3511F8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1da1b48aad7248192eb6bac6e3c0872fcb00b8","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$84496FAB-74D7-4B4D-9910-933B73A3C80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f642ff66e8539d846927a8f5618916606bbf48fb","datavalue":{"value":{"entity-type":"item","numeric-id":3586008,"id":"Q3586008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$D1579114-526D-46F9-9EBB-6B622A4BC55D","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":"Q479820$156D9EDD-2C91-4845-A85B-4BF01CC812EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b34230d6df626c64dad187f872ce2d2c543952","datavalue":{"value":{"entity-type":"item","numeric-id":3081445,"id":"Q3081445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$636F2B50-CB89-4358-9F6D-AF31BB94246F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cdb831970cdc01d205b526f08958ccd77a1ab13","datavalue":{"value":{"entity-type":"item","numeric-id":5747748,"id":"Q5747748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$1D30CAE1-0BC1-4254-9059-FDF5852F9FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7518c3dc697c1f88392c573900510e6c347126","datavalue":{"value":{"entity-type":"item","numeric-id":5276157,"id":"Q5276157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$E4A34B90-A221-4AAC-A9E6-5A252175D840","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":"Q479820$6049D4FB-EE16-4951-91CA-6048F54F2181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$B4B8C139-52FD-4511-BF72-B5E558DF1650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed74b949115e5d18e129857075f73d9c30bc7f7","datavalue":{"value":{"entity-type":"item","numeric-id":5747760,"id":"Q5747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$AECCAD29-CCAC-454F-81BF-57D33FEE8D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$C19D1536-21E0-46E7-89F0-8FC525FCBF15","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":"Q479820$62DF7A63-B226-41BE-8D46-0D46EB72D696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d0dd7bb6db6a4c0ce328175c5c1c2e0bc50527","datavalue":{"value":{"entity-type":"item","numeric-id":5429322,"id":"Q5429322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$564A2554-8762-4567-A4CC-B7B273FA5EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14495826aa264560d537df53aac6867722fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$3F21591A-6216-4D0B-87AC-AA657800B13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca74c1b4b01eb5401c8b784be60efc1c72a7ed76","datavalue":{"value":{"entity-type":"item","numeric-id":5312894,"id":"Q5312894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$C5422A1C-DF0B-4D13-A4A1-7CE3C59FC872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6255733d0de2d1d2ea361359bfa297b155e7f2a","datavalue":{"value":{"entity-type":"item","numeric-id":2926644,"id":"Q2926644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$EF1A18E5-85EE-44AE-A51A-48AAE03AB2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$4C1407AF-9241-4861-97A1-EC45F237EAE8","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":"Q479820$E15383CD-15A4-4CDC-9962-A7DEF33EBBE2","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":"Q479820$006747D8-9AFB-41B7-9F10-EA6B7DDE60F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$D8DD189A-DF42-4775-9064-E53C4065BC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$E613D6E8-3BBB-4D53-A751-264B89293B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911eaa0bccad8b17d2996fe857c127dd4e89f404","datavalue":{"value":{"entity-type":"item","numeric-id":5897437,"id":"Q5897437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$BB542903-19CD-44C0-A467-A388C40589A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a574ab536b9912335aad961dffa8e10e5de9c9","datavalue":{"value":{"entity-type":"item","numeric-id":3392917,"id":"Q3392917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479820$9ED4E7C5-071D-4DBE-82F2-37D10AB76483","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69c83a533ca8c55d53dba9fb90076f11eff61f2f","datavalue":{"value":"10.1007/S10703-014-0209-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479820$6AF991F4-1E6A-40CE-8A40-4287D6A279F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba84101757f901fdc7a5743110873411af78d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2891439,"id":"Q2891439"},"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":"Q479820$BB8556E9-AF32-43E5-9BD5-8D7F3F836223","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":"b22c0aa10820c9354f4943475bde1ec71979e106","datavalue":{"value":{"amount":"+0.7967244386672974","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":"Q479820$F552CD02-7F83-4F31-B7CC-B7B476F817A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69dfa4e7afa239f0717efb6db4b5b5abb11337bb","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbfed314b4844de3832e6cf54248d409b438e4d8","datavalue":{"value":{"amount":"+0.7741559147834778","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":"Q479820$54DACB0C-A635-4B3B-B3EB-4FD9B0E32037","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":"d7cb33b3ec17177c584985bb42373cfc6ed00153","datavalue":{"value":{"amount":"+0.772788405418396","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":"Q479820$563C5641-897C-485A-BDF6-62A668B91BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ac296eef685af3714af18edb241e087213d64e","datavalue":{"value":{"entity-type":"item","numeric-id":5890659,"id":"Q5890659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e833a63fca2efd22c702a3941753a669630576","datavalue":{"value":{"amount":"+0.770158588886261","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":"Q479820$511CF6B5-087B-476B-A714-009FDD5B8D00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extension of lazy abstraction with interpolation for programs with arrays","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_extension_of_lazy_abstraction_with_interpolation_for_programs_with_arrays"}}}}}