{"entities":{"Q1114384":{"pageid":1125133,"ns":120,"title":"Item:Q1114384","lastrevid":49238257,"modified":"2026-01-06T20:11:21Z","type":"item","id":"Q1114384","labels":{"en":{"language":"en","value":"Auxiliary variables in data refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4082946"}},"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":"Q1114384$C7B221AA-AF5B-41FB-B233-6C636488B0EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64a9c5f82e63a1bd53edfd721678780458428b19","datavalue":{"value":{"text":"Auxiliary variables in data refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114384$CBD5B924-2574-4882-BDFD-E38064E465E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72963645aa20741b875b3a587f4a72538420c4c3","datavalue":{"value":"0662.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114384$5080D8CE-2950-4877-9E89-0F11284269A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4095214a08f275e78fa9bed8a10a06cb1a3ee33","datavalue":{"value":"10.1016/0020-0190(88)90227-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114384$8E7BB18F-3D46-45CB-A98B-D0AB565D515C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114384$96EF4BF9-FDA7-4DF8-8C86-78FD4C4C225C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114384$97CA695F-6C31-4C00-8A04-9CD6E9894EF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1114384$8BCFACD6-AFEA-41B3-BE94-DB88A0C9C6D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1f39e99cb504a90d154f65d4bfc059a0fc4753b7","datavalue":{"value":"A set of local variables in a program is auxiliary if its members occur only in assignments to members of the same set. Data refinement transforms a program, replacing one set of local variables by another set, in order to move towards a more efficient representation of data. Most techniques of data refinement give a direct transformation. But there is an indirect technique, using auxiliary variables, that proceeds in several stages. Usually, the two techniques are considered separately. It is shown that the several stages of the indirect technique are themselves special cases of the direct one, thus unifying the separate approaches. Removal of auxiliary variables is formalized incidentally.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114384$6B199114-7AEC-42D6-8DB1-5443E6FE8ED3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114384$FF2FF263-8A97-4FA1-9C15-ED1106950F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114384$5F5D7737-6438-42E8-9FDD-53684E1E3106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f05b99273e732fa774049dabc7bfc9e260022dc","datavalue":{"value":"4082946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114384$93E32F1F-9D07-4218-8A09-F08B4FE6D1F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21efc3b38ad34c0130375983f81a325f839d196e","datavalue":{"value":"programming methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114384$A76CC89B-21F6-4EAE-9068-46C8B925AF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114384$F81DF9EC-5497-49DC-97DE-37B98FDE9E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114384$D51B3096-0ED9-402B-910C-401607C91C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114384$88018153-CBB9-4736-BA10-B62C1316626F","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":"Q1114384$F4EEE76D-E742-438D-BEE0-6470A42EEFBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114384$7629AC67-755D-4A3A-B9FA-54C112E7D80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145ba4ed8ff284bc41a418ac8911941d54ea5802","datavalue":{"value":{"entity-type":"item","numeric-id":1177155,"id":"Q1177155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114384$5008C80D-2F2D-4194-9863-D9DA5602176A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114384$4C40AF45-F3AB-4293-9A71-5254CCADF003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114384$49F257EA-B5FB-46AF-9582-1D90A3C56AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77f245ea8916cb83f592d198c55741e96f6f763","datavalue":{"value":{"entity-type":"item","numeric-id":913482,"id":"Q913482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114384$FD1DFAC4-554E-483F-BAE1-B3A63BD69F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9dcf97f1324642e65a88c0357ad0c7fec47b09","datavalue":{"value":{"entity-type":"item","numeric-id":1113664,"id":"Q1113664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114384$55BCCAF0-D721-413B-BA24-734D2A6AA832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114384$7712DE16-1F94-4116-8B94-382B66B91972","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c2da651c67eb1825a639cef0e65bb5282f87458","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90227-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1114384$BBC0B7A3-EDFA-4864-B49F-4711DDA8A5B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebe8d742ecc8369eb3fea7583329aade102edee2","datavalue":{"value":"W2003967246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114384$3DA795DB-B3C6-4B15-BABE-CA3A36BA5E70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88ec505860a7105eca1b116a86a251712ac10d3","datavalue":{"value":{"entity-type":"item","numeric-id":2026798,"id":"Q2026798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dacb1ae85f7cb4827f2e4082967c055f3473699","datavalue":{"value":{"amount":"+0.759113609790802","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":"Q1114384$BD15B3DF-31A3-4057-9BA3-F17FF92EDA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb8d9c26551135aed1bfaf0a93c7d9f891b1ace","datavalue":{"value":{"entity-type":"item","numeric-id":911246,"id":"Q911246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae833765b0245c63567329b648064336130db1af","datavalue":{"value":{"amount":"+0.7561098337173462","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":"Q1114384$AC889C5A-65A0-42BA-AFF9-75246ED9B437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc0987284c42212d108d75b0b08fad927782469","datavalue":{"value":{"entity-type":"item","numeric-id":3163402,"id":"Q3163402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a2ddd9e2cb00f2ebd4e2c9079df580f06871ab","datavalue":{"value":{"amount":"+0.7495164275169373","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":"Q1114384$7E91A132-C965-4D62-88F5-DFC4C1D7D080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a0d47d9cd3dd94a04fa364cc9a84f4776fdd31","datavalue":{"value":{"entity-type":"item","numeric-id":913482,"id":"Q913482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad6aa2718e665403ce238cc20b1ca2e0d818c49","datavalue":{"value":{"amount":"+0.7454935312271118","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":"Q1114384$78603521-5130-40C0-9291-CAAE6325BC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9b923ffdf0d9c2364931d8dbe2f3e66c99a191","datavalue":{"value":{"entity-type":"item","numeric-id":684396,"id":"Q684396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df13ea7106860e9af29c01ebbba05a5732e6fe7b","datavalue":{"value":{"amount":"+0.7393378615379333","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":"Q1114384$676F4A32-E272-49FB-8A70-71194012DC71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1114384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1114384"}}}}}