{"entities":{"Q671683":{"pageid":673532,"ns":120,"title":"Item:Q671683","lastrevid":63589392,"modified":"2026-04-11T14:11:15Z","type":"item","id":"Q671683","labels":{"en":{"language":"en","value":"Proving the correctness of recursion-based automatic program transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983443"}},"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":"Q671683$2F31C986-201D-4031-BD6E-AB93C31BBF7A","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":"Q671683$2B015233-6E79-40BA-AC1B-17501F1C2F32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"968bffb7bbb318dc2817c4dd9e441a6791333d7d","datavalue":{"value":"0874.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671683$8D1544B8-2FE1-44B6-998F-F928E4FE03A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58c035a4a6dda7e9f0d5a194b95fbd0defc0b96b","datavalue":{"value":"10.1016/0304-3975(96)00074-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671683$4B10CA6A-D867-4AFF-8D8E-8A5659B5B20B","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":"Q671683$C8520A34-1D30-4B10-A2FD-39ED7AD557D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671683$FDDF0B1B-B9FC-4723-AFD6-32DD88D6B317","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671683$11E945A6-904C-4D93-8B3D-6615585122CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671683$5B558F39-25D6-42F8-BBA4-B2FD53214435","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec3df7519f236c6681553fa29dae4ec1eb8c97d6","datavalue":{"value":"983443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671683$C24B3A8B-0A10-440E-9D03-2AEDACC44ACA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671683$4DF726F2-CC52-4869-87A0-6A8AFEB28505","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":"Q671683$1057C8DC-965D-4F11-9803-8AF4DF4ACD28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ee8c074565070b703a5e429b1ef0861cc26207d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(96)00074-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q671683$59F228EA-6A5E-46D6-A0F3-0EA8F93B7817","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6658b6c8fb78da170308925f257d9171341a6c19","datavalue":{"value":"W2060717017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671683$09CF79BB-2C94-40C7-8DC7-84D3D5690520","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":"Q671683$A3BD3B27-2241-4CFC-ADEA-E2B8392D9C13","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":"Q671683$730A9D97-2AD1-424D-86F7-4AAA0020D5A1","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":"Q671683$70180A22-DB6C-4337-B2E9-B112D82B24B2","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":"Q671683$494672E7-7E7E-4BCB-BCEC-E98C57EF716D","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":"Q671683$1C3048DE-E156-426D-B266-D0D682FA3F0E","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":"Q671683$3A52FAE3-011B-4A51-94FA-9BB328581947","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":"Q671683$D9CB0B11-7921-48CE-BE15-3D95DE76A724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671683$6CE1BF2E-6826-46DC-B38E-FB4F2072E890","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":"Q671683$E4B361CB-AC58-469A-931A-E119038CEBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcbcd61174cc8cf44e7a16404902660610b21657","datavalue":{"value":{"entity-type":"item","numeric-id":671683,"id":"Q671683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671683$1861407E-E190-4A4F-8051-FC7BAA5C688B","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":"Q671683$6ED475F9-216F-46B7-93AE-1B3401D9C19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7844458f896d2771fd91cb37244c607d2012fe","datavalue":{"value":{"entity-type":"item","numeric-id":3992424,"id":"Q3992424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671683$8B527133-F36F-4B79-9B47-4826051E033F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043864543ceb1e5c98187ddd1ab12fe09a6286df","datavalue":{"value":{"entity-type":"item","numeric-id":5096758,"id":"Q5096758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671683$94AD8A69-A208-4040-B8AC-D02EEBCE5531","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":"34cf36240ecfca06b0dd3e2320771f8ea21d9596","datavalue":{"value":{"amount":"+0.9107368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671683$6D556DFD-6912-44DF-915A-8E3590786DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0d9c8c75cc0dd87f540d9305c74e9994ecfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":5701513,"id":"Q5701513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a440c4b573a322f3463d5cb90ef55aff24f0fb8","datavalue":{"value":{"amount":"+0.907995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671683$E291BC7F-093F-4A42-8EF3-65C9DE3E482D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2ef1dfb8450e1a64b77276d877120e7c94cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cbbdf056c3a87802b4cad90d2579fd227bb1bb2","datavalue":{"value":{"amount":"+0.9077377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671683$4CA2DD4F-5CE8-4314-8FAE-E023BE68C846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323da5be1cd32b10efb198a86740427d123e78ed","datavalue":{"value":{"entity-type":"item","numeric-id":2865083,"id":"Q2865083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06236407b5cf3c1bd6486b7196690fd9a05fb4c7","datavalue":{"value":{"amount":"+0.89581746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671683$0DEDA037-9AEF-4520-8FF3-011038D2A3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233a68f668ca909b075e48b5d4cbac003ab4b215","datavalue":{"value":{"entity-type":"item","numeric-id":4847375,"id":"Q4847375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"579b9f64a1af47b4daaa0cc47a6ffbb63c244a92","datavalue":{"value":{"amount":"+0.89331627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671683$5514A0C7-8E0D-4F13-B178-EE9174251CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1375df40880817b74ea1f45ffc442d465c6f52e8","datavalue":{"value":{"entity-type":"item","numeric-id":4729320,"id":"Q4729320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095bf5f82ae31d2d16e862ce0c0efe8a0d63f9ff","datavalue":{"value":{"amount":"+0.8914718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671683$BEA0472F-E473-4296-81C7-DFCA994F567F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee38bcb77e4c6314a943e1f5342d419dd51c157a","datavalue":{"value":{"entity-type":"item","numeric-id":2908517,"id":"Q2908517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eaf68f8b6bf744389f5a0a589acadc1670d4549","datavalue":{"value":{"amount":"+0.8911084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671683$90496403-C1D6-46A8-B7EE-149E6F48E241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63f5027884db90b3b56d66c308be753437c9d64","datavalue":{"value":{"entity-type":"item","numeric-id":4525292,"id":"Q4525292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c8b835f620a93e8965b8484f955d51d1ee94ca","datavalue":{"value":{"amount":"+0.8876637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671683$C3480E19-9F89-4BE0-86F7-0CB1AFF05824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d6a80cc447a5e7ef8a60d947cb6b79bd217e58","datavalue":{"value":{"entity-type":"item","numeric-id":1285864,"id":"Q1285864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98fd2d10f220f751a8173c89eb6a0fbb6429c4c","datavalue":{"value":{"amount":"+0.88645303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671683$BE2893B3-8C72-4FD3-9F0C-92FC46A58648","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving the correctness of recursion-based automatic program transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_the_correctness_of_recursion-based_automatic_program_transformations"}}}}}