{"entities":{"Q5039501":{"pageid":7069078,"ns":120,"title":"Item:Q5039501","lastrevid":56836698,"modified":"2026-03-23T17:55:53Z","type":"item","id":"Q5039501","labels":{"en":{"language":"en","value":"Verifying array manipulating programs with full-program induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600811"}},"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":"Q5039501$A990FE31-D17B-4AE7-B991-A601E94D1451","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45eddd3a3d4875f85284d26104e6b838fb935721","datavalue":{"value":{"text":"Verifying Array Manipulating Programs with Full-Program Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039501$48023374-57FD-41E2-95FB-E4197CDFB9B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab8c69d4f9c43be1258d688c2248f76cfd7f7fb9","datavalue":{"value":"10.1007/978-3-030-45190-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039501$41AEECA7-C0DF-4465-B7E0-1792A5F0713C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402163f6499a1d088bfc900c18810df19851ad9","datavalue":{"value":{"entity-type":"item","numeric-id":526772,"id":"Q526772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$FFA268F5-C4A4-4E0B-AC79-0B07F55FDFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cefe2994cd2e378e79e344a451c126379a495f1d","datavalue":{"value":{"entity-type":"item","numeric-id":630709,"id":"Q630709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$FAB4A479-535F-4391-B668-439EA20D6A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a229c5eba8b458580a3a543442fd24f0e965fc2d","datavalue":{"value":{"entity-type":"item","numeric-id":832319,"id":"Q832319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$AF28CE77-E64E-45C5-AE2B-0A7F0A8811D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$42A4B6CF-F091-4A40-BC4D-23D5374259C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039501$0A2B655E-41A6-41D4-BFE9-E3B48619C3D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7794391ee8249fd45b6a474a84c57f40f98dba3","datavalue":{"value":"https://arxiv.org/abs/2002.09857","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039501$D59CC256-2D20-4725-B962-116731858BE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039501$25D7E7B5-21F5-4CB2-AF8F-3902C8F79219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039501$AD9458AC-1382-492E-B88D-1171E77DEAC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20c2da2c5c3b35db2e3929a4cd510602c1909ca8","datavalue":{"value":"7600811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039501$07970EB6-4390-4642-AF57-8DE8D8A13893","rank":"normal"}],"P1463":[{"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":"Q5039501$8BF746C8-976D-4F84-83B8-7E0179F93100","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":"Q5039501$EA648A4A-DF59-45FD-A387-348BE2275D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71b79027a4b3c3d7cd60462ef3801c42871145ae","datavalue":{"value":{"entity-type":"item","numeric-id":45000,"id":"Q45000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$74CA9DFB-9E24-46FD-95A4-1FE481C5AEF1","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":"Q5039501$CDE4C3DF-8954-4A0B-AAFE-84AACA628DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$FD67ECEA-5E1C-4EED-BF27-C28A37135C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$A0F6FD8D-672D-483B-B67A-7771DF0CFB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2be76b87a038d382f01b6350d466a0c6e071b40","datavalue":{"value":{"entity-type":"item","numeric-id":21758,"id":"Q21758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$2F1CA722-3EE6-43DE-82B1-661DAB3A6830","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":"Q5039501$CBD5A8BB-254D-4351-A7F6-EE7B05642AA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a845531940760e4a26fdd0fa42dc98f9c8e74a25","datavalue":{"value":"W3013666522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039501$6B6360F3-DFAC-4494-B84B-BE74616232BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f176d988fabbd626744eee2651f4ef8cf9c0825f","datavalue":{"value":{"entity-type":"item","numeric-id":3457775,"id":"Q3457775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$EC5E1540-6C65-45D5-9A5E-3F32ACAA4047","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":"Q5039501$ED9B7EF3-48B9-46AC-9930-5CC1AD88866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5ebbea66cbe10132be316b761463856b5e5791","datavalue":{"value":{"entity-type":"item","numeric-id":5233256,"id":"Q5233256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$5CFD9E12-9C64-497C-BE01-1080AC0EA09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$D6E0A5ED-CC67-4C4A-9547-A99B56B1EB3B","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":"Q5039501$49973631-D509-4129-943C-9F601FB60B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$6DB0F67C-7F54-480A-8825-2A0D44D891F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427a050d6a10876443a15cfe34d5c026b05dff9e","datavalue":{"value":{"entity-type":"item","numeric-id":3761672,"id":"Q3761672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$AACC5E76-1573-49F3-8023-FCE74FE48100","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":"Q5039501$A37CF531-5946-4355-ADDA-4BF0843111B6","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":"Q5039501$920B978F-692B-45AD-B12E-CDF546A6A67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ad83169ed8389564075d9eacd3961be1c6400d","datavalue":{"value":{"entity-type":"item","numeric-id":3189843,"id":"Q3189843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$C2A24637-F74B-44CC-9371-107E1F946F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51bbb96625374ba0527eef6fa500f596e78094","datavalue":{"value":{"entity-type":"item","numeric-id":6109591,"id":"Q6109591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$0266FC1D-712E-438E-A34D-A65748BA61C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fd00c18d77c374b583976d4f75c6c0cfb56434","datavalue":{"value":{"entity-type":"item","numeric-id":4933316,"id":"Q4933316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$5BC3C3DB-7A0E-442E-B1AF-8357B003773B","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":"Q5039501$2914F67A-2735-4A72-B4C5-02B694D716AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b8ed770b8d245384879223baff02e99d04132b","datavalue":{"value":{"entity-type":"item","numeric-id":5172648,"id":"Q5172648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$794A9F38-7434-433C-A64D-279330395122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e7a69944a208912cc786a2c8236ca37bc32116","datavalue":{"value":{"entity-type":"item","numeric-id":1664399,"id":"Q1664399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$0A20C316-3539-4FE5-B489-B7A7AC8B6D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eebb6c8c7f52075680b76433c15aab3dfaf824b","datavalue":{"value":{"entity-type":"item","numeric-id":2848907,"id":"Q2848907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$29C6252C-1256-4302-ACF5-95826A9FDB92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18fedaa9c614a6397ba6933f7e36f2700d960736","datavalue":{"value":{"entity-type":"item","numeric-id":832320,"id":"Q832320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25bba3e4ceebeab268374cd1f585a294885fbf7a","datavalue":{"value":{"amount":"+0.7763860821723938","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":"Q5039501$082BDB94-DAEE-4394-945F-B2CFB8B7DF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9550b460f7de999a0525aec28440b36da166a0","datavalue":{"value":{"entity-type":"item","numeric-id":5233256,"id":"Q5233256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f9b5e575f96a7ad8cfcffd6bf0a343d59aa295","datavalue":{"value":{"amount":"+0.7747620344161987","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":"Q5039501$81E1B483-716A-4293-8CD8-4058634C77ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5563b95faa1b44f2d752ed5cbaa7a33e4344ac20","datavalue":{"value":{"entity-type":"item","numeric-id":3636859,"id":"Q3636859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33d04702bcc4c4abebd37303bed4df3e199a82e","datavalue":{"value":{"amount":"+0.7533010244369507","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":"Q5039501$D6095E29-6E74-4717-8479-B5451C82EA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c56123246bfdafbccec12b34de610c57b3a6f8b","datavalue":{"value":{"entity-type":"item","numeric-id":2949696,"id":"Q2949696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472f0dc2ebeb46aede7f482e0583a9c216f8590e","datavalue":{"value":{"amount":"+0.749101996421814","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":"Q5039501$66B5AC75-6441-44DB-B567-8BD110C2D2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8aa375c02a28c1e1bb936b979f466528418cce8","datavalue":{"value":{"entity-type":"item","numeric-id":3187012,"id":"Q3187012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8f1380a3f2c4be15db833cd020713e9367d7ef","datavalue":{"value":{"amount":"+0.7490225434303284","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":"Q5039501$F907D9B3-A730-4248-8F37-767033FC7A5B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039501$24E1F105-C44B-43DD-B41C-2FD465951EB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5039501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5039501"}}}}}