{"entities":{"Q2233489":{"pageid":2244232,"ns":120,"title":"Item:Q2233489","lastrevid":57686625,"modified":"2026-03-31T22:08:17Z","type":"item","id":"Q2233489","labels":{"en":{"language":"en","value":"Bridging arrays and ADTs in recursive proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410478"}},"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":"Q2233489$FE264CFE-63BB-4EEE-B7BE-A5105E1C4638","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5df0aba00bb507e8827818c455db6a4ad04e3711","datavalue":{"value":{"text":"Bridging arrays and ADTs in recursive proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233489$FC6F492B-EDE5-4125-904C-0F58F09242C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2eef8c6ae387c9303a3c4947b1236bbbca10f4a3","datavalue":{"value":"1474.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233489$763669BF-7389-404D-BB1C-2EBCA27E2AA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"637cfacf9b10991b9575f7f3757ba235d0e1e0ee","datavalue":{"value":"10.1007/978-3-030-72013-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233489$30095174-4231-46EE-A4FA-96E58C7CD76C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"138e91d832e835b45e439ed8c45f97cc7963138e","datavalue":{"value":{"entity-type":"item","numeric-id":784130,"id":"Q784130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$FB08F298-0186-42DE-8570-91C247AB8DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7516b2d7041865d357795becaaf644e1bfab9ce5","datavalue":{"value":{"entity-type":"item","numeric-id":1798667,"id":"Q1798667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$1D799155-75AC-453A-842F-E08BCC11D9A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233489$2586789D-174D-4D4D-A9CC-9E4173ADD470","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233489$A00319BC-B86C-4A5D-AB50-F7F3DDCF8DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233489$E8A061EA-1138-48B9-BF13-E91307BBB16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233489$D90AE3C2-3D2C-4689-9233-99FB6A5F9A0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ff48377a7acd24da3b1e27cb17115bfb64a9442","datavalue":{"value":"7410478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233489$2E575D5D-A0B5-482B-9B03-DD007F2C8DEE","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":"Q2233489$426127F6-50D0-45A2-8E83-86F40A51039E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b8b05bb7009bdb7d5a21a98bec300f81ca8016a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-72013-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233489$55365F80-423F-427B-9661-A4E354A62BA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"470d3c1eb5d685ccb24e284884e334c6017cd10a","datavalue":{"value":"W3136078500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233489$4430E48A-1053-46C0-B579-ED159DB66815","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$16E5412E-3945-4926-BB74-C7736714BDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$17D50546-72B7-4C05-8BDD-D2F918F9DEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ef08ce0f6a92f1d79d16ab6cdfd62d2d7e7e612","datavalue":{"value":{"entity-type":"item","numeric-id":706516,"id":"Q706516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$DBC0253C-9DD9-4C56-A354-6E815E30AA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229fdcdf833f89bed9b165165cd53a3183da7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":6166141,"id":"Q6166141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$60452474-C130-4147-90AF-91A2971ECBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b579707a4306c9f6e0814fff83d8fe01dadba181","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$AB092F4C-EAEE-46F6-BEFF-FC019474C988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$056FD7D8-42BC-42BD-92A7-1B3B1E309944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f815bf2ad909de0fa6e89988501157b6f777d2","datavalue":{"value":{"entity-type":"item","numeric-id":5554728,"id":"Q5554728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$B16D3DC8-2126-4735-9415-AE1CF50032F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704f4865753d98c89f37be5b7076fdcd1d4df9b4","datavalue":{"value":{"entity-type":"item","numeric-id":3460090,"id":"Q3460090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$70925DB4-F613-48F2-A947-41F59C5F3CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4cf2cc00850270a28614888dcd0fd49d3c89ac","datavalue":{"value":{"entity-type":"item","numeric-id":2225478,"id":"Q2225478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$1D09207E-EF65-430D-A6FA-80601A2EC258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98855e5f63a687d22ad5b8fcf60eef7c9c99fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":938300,"id":"Q938300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$8087BB5F-B002-4142-8C3E-84D88488C816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a080b074196bf11d4837ba9c75e22e80835817","datavalue":{"value":{"entity-type":"item","numeric-id":3713577,"id":"Q3713577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$349DD722-94FC-4AF4-BC8E-32D503940A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92878bbfbad67225fc6bdaac2422a72644bdc2f","datavalue":{"value":{"entity-type":"item","numeric-id":4364533,"id":"Q4364533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$17C33C1B-8226-4903-9998-64E843D9193B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3a5e3bf8edae398f2b61b56d57d442756c8064","datavalue":{"value":{"entity-type":"item","numeric-id":3303897,"id":"Q3303897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$0FB3FF78-4925-4DF9-8317-F204F2797A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$84B95DA1-E973-4607-8067-98A723AE657A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$1334039C-611A-49BD-83CF-2A49A654384A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3457db4aeeca705bdfa43bc4ff297c870d568c","datavalue":{"value":{"entity-type":"item","numeric-id":5145272,"id":"Q5145272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$887B94DB-922F-4DA0-80A3-8D3D53BC162C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93abf431569bdbcea87c1d44b0c664ae14c573d","datavalue":{"value":{"entity-type":"item","numeric-id":6045003,"id":"Q6045003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$079A431D-2F9C-4E91-A919-D4480C528393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797d69ccc16ac41adec3adfdcc63bc05d0208ed","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$E17D7472-10B8-4A61-BA35-AB19C3BE343D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4005b1ea71aceae7826269dffb4b9e393524a878","datavalue":{"value":{"entity-type":"item","numeric-id":2281656,"id":"Q2281656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$06AFBB63-2F3C-49C4-8E02-0B97C337AA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0896ea051424571856b7af2d59c1ac59a09686","datavalue":{"value":{"entity-type":"item","numeric-id":5255074,"id":"Q5255074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$C436B72C-8D90-4FD4-A3F8-3C1EFBF8F1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583c2af6114a325d3ba9d32333a59af45d2f625","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$C15BD453-ADB4-4428-AAB4-971E738D2E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233489$4D8A8A05-45F5-4B2C-A656-24B2385EA755","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782416097d4f602adc0c0e8fa1d9bffec5838c2a","datavalue":{"value":{"entity-type":"item","numeric-id":5016382,"id":"Q5016382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d479976b52523f8a6fcc7edbc882179b2f6a765","datavalue":{"value":{"amount":"+0.6739781498908997","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":"Q2233489$572887C7-F096-4BFA-8E3E-1B7858592A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f929b2b078f05c9b7b73c3dc0c1edaf1d0368100","datavalue":{"value":{"entity-type":"item","numeric-id":2145329,"id":"Q2145329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7ab28ea1b2c31eb955838ee1d8f2a50c98def2","datavalue":{"value":{"amount":"+0.66269451379776","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":"Q2233489$92429E8A-48EB-4010-904B-99BECD891BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ae74b2f1a3ee06d41ba566a1cd84c479997243e","datavalue":{"value":{"entity-type":"item","numeric-id":938300,"id":"Q938300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c12034b48d5750d973f62e19ba6e924eb83118","datavalue":{"value":{"amount":"+0.6595344543457031","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":"Q2233489$990A72DC-4FC1-4355-BCB3-9A608DF1DE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d950c362d3801fde912fba8bdf9587069d04358","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e6fc62442246c3c6c3e1570e1ad30d06ed5f33","datavalue":{"value":{"amount":"+0.6594788432121277","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":"Q2233489$47729150-BA04-46FD-B2D0-2BEBF95C6A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a12c4c3405113b960cb0bc47502bed6a2c8e493","datavalue":{"value":{"entity-type":"item","numeric-id":2145347,"id":"Q2145347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a033f255e88c20e9e7e56eeebca46bd718802c15","datavalue":{"value":{"amount":"+0.6577605605125427","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":"Q2233489$7CBA6E0B-D0A6-4905-AFDF-39CA4E4E045E","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":"Q2233489$B1297456-2D54-4D5B-9B6C-87D9BA84F8FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233489"}}}}}