{"entities":{"Q5096758":{"pageid":7126334,"ns":120,"title":"Item:Q5096758","lastrevid":54383594,"modified":"2026-01-26T17:56:08Z","type":"item","id":"Q5096758","labels":{"en":{"language":"en","value":"Proving the correctness of recursion-based automatic program transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572997"}},"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":"Q5096758$E8C3F14B-F288-4C39-B718-1A3B3F4FB975","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc6ce5a83900a7c7eda22624d4318abcf85e8c3a","datavalue":{"value":{"text":"Proving the correctness of recursion-based automatic program transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096758$85FBF239-DE60-4E63-90B0-E3A12C7B8452","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c326566b679755d6fe2ad8fe0a09dbf9a475fa19","datavalue":{"value":"1496.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096758$D007358E-70FF-4674-8F5C-7465096B1614","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"166b005ba807cef94612b7bdb8cb51be1718db26","datavalue":{"value":"10.1007/3-540-59293-8_228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096758$070C31BC-5D5D-4A5C-959D-66B34F1DEB37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70d4498e9df0dc0431bf8c42d1881dfda1cb2325","datavalue":{"value":{"entity-type":"item","numeric-id":187614,"id":"Q187614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$BF3A9A26-8631-4ABD-9B92-8A08B0CC087E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4437f858d825af2a2d2785f879b0aaabd9ce736","datavalue":{"value":{"entity-type":"item","numeric-id":5096722,"id":"Q5096722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$1D67502C-ACE1-4A39-BD25-98EE36B372BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-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":"Q5096758$8AC962EC-751B-4BDC-853E-B82CCC24DEEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096758$08EBA7CE-E0B7-4479-9F3F-AA2CB04AD1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096758$1BE32182-624C-435E-BACC-E65F7AB7ADBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02a3ff7083c27c242a0e423b905b04105aec8147","datavalue":{"value":"7572997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096758$061D2A2D-95C3-4419-A7C8-5266D48BB8B9","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":"Q5096758$F3308EA1-7F4D-47A6-B9C1-56A881AE3B22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74d972d281147df6a6ab7ae43c04b355d03f1e1e","datavalue":{"value":"https://doi.org/10.1007/3-540-59293-8_228","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096758$8415E606-FDE6-4101-B797-FBA26C71FC4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c814d60897081bb254284f06361413bd2e7622f7","datavalue":{"value":"W1509231339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096758$F2A7887D-CF2E-4AD9-9F0F-82D9F68E4309","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$F705F75D-B4E3-4D52-824B-6B0E12E054B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3c796a560c875dd0a8f1bbd90cf80ee304d6de2","datavalue":{"value":{"entity-type":"item","numeric-id":4880487,"id":"Q4880487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$D9F6FDBE-4311-4F43-BB64-4D9F8D4CF1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698a4c070589a05d5209b2e8418c45ae0419220a","datavalue":{"value":{"entity-type":"item","numeric-id":3851585,"id":"Q3851585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$6E18BA26-0D3C-42CC-A79A-901B8F214A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$95C60E84-F605-4C20-BBDC-58EF2BDEAB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$30115363-0A00-4FF4-B7FB-4BD2ADA5114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$535678FE-FC2F-4E25-A7F9-F9B83B2639BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab888deae243328aa7ee17874b3dba914a011bc","datavalue":{"value":{"entity-type":"item","numeric-id":4192941,"id":"Q4192941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$C0CD8730-FD30-4F47-8A7F-9AD36FF83F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b1b08756d91316e1d97aa4b3cacebc09d7bda5","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$D295BE90-A4AF-4A94-BF4F-E797EC3C3319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$4F2C80B7-62EF-4758-A7FE-4CC46F250716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fe44e0579211c93f0efee621644f3253d5475c","datavalue":{"value":{"entity-type":"item","numeric-id":4954460,"id":"Q4954460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$9AEE89A4-B63D-4D12-8C3B-C32BCA9F0350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$0586DC06-7AA7-4362-AFB1-2E4E67915CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf4186c4480f5d344cc9880618b00ccbaf1502","datavalue":{"value":{"entity-type":"item","numeric-id":914358,"id":"Q914358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096758$DB0C1C2C-3AF2-40D9-B309-5624DB900B79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f3ad7d15f021414a3a31a7fe2a336e2f6f1431","datavalue":{"value":{"entity-type":"item","numeric-id":671683,"id":"Q671683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2e016b9dcbd9d9f28867d63d1973578fd05ecb","datavalue":{"value":{"amount":"+0.9812158346176147","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":"Q5096758$0EA9FDF9-CD4A-4597-9B05-06783F50B57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c6407bd166397d7230c433ce203b5500c8c930","datavalue":{"value":{"entity-type":"item","numeric-id":5714452,"id":"Q5714452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ccd78ae7ade2e3fb78b679a70d73cc33e116bd9","datavalue":{"value":{"amount":"+0.809865415096283","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":"Q5096758$8E31610D-0F1C-4FF5-B1C8-D4DF58CE8B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9216c1f97ec59433a63b73a5131ebc54d8e847","datavalue":{"value":{"entity-type":"item","numeric-id":4675766,"id":"Q4675766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f78ece1a00c6824aa6fc686bf69be33664e889","datavalue":{"value":{"amount":"+0.7801320552825928","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":"Q5096758$9AD84DE9-E62E-4291-A9E0-450801F2E61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628374b6c98a60216e4dc977d50d100288fd83bc","datavalue":{"value":{"entity-type":"item","numeric-id":3608667,"id":"Q3608667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1579f8a73de71e944e7c1ddff193fe8b646f0a0e","datavalue":{"value":{"amount":"+0.7514053583145142","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":"Q5096758$570B09E9-8767-414B-9F2D-A9D8D2883373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99387871c9d552c3be5c78e7a6b920f1049d820b","datavalue":{"value":{"entity-type":"item","numeric-id":5896945,"id":"Q5896945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"149b4b48650506bd220ed4725da4d2ae565c7537","datavalue":{"value":{"amount":"+0.748622477054596","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":"Q5096758$6E60F5AB-B3D0-4411-A488-375CFCA4250D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096758"}}}}}