{"entities":{"Q1067772":{"pageid":1078524,"ns":120,"title":"Item:Q1067772","lastrevid":69771420,"modified":"2026-04-13T09:16:49Z","type":"item","id":"Q1067772","labels":{"en":{"language":"en","value":"Towers of Hanoi problems: deriving iterative solutions by program transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3930324"}},"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":"Q1067772$A39579BB-597B-4EAD-8040-1F6F98CABBAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"739b202207c9398166c9b301c7bc82c824ad7ac2","datavalue":{"value":{"text":"Towers of Hanoi problems: deriving iterative solutions by program transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1067772$91F49DBA-A4B8-49F3-998E-3C31845B51E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"114b8be6bb2e5303f485688f412720cf93235450","datavalue":{"value":"0581.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067772$1AA1DAEE-3DE6-45CB-BBEB-D0E2389E7A0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14d16a4bd39bbb4dc5c4309b9310de7896704d8b","datavalue":{"value":"10.1007/BF01934378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067772$1CD62933-9DD0-4130-BC0E-D0FDD308DFA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067772$6A7E5536-AD0D-4563-94CF-87A478ABD9B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067772$45C5CA02-FF1E-486C-AE50-121144FF6962","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1067772$B8581FF1-26B1-486E-ABFE-57FF06EEC37B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9cee7da4698de36e635e7068bae9bc571cc23170","datavalue":{"value":"The author presents the derivation of the iterative solutions for the Towers of Hanoi problems starting from the recursive solutions. Various kinds of problems are considered: the standard one, the clockwise and the anticlockwise one, and the generalized one. The derived algorithms have optimal time x space performances. Their derivation implicitly gives the proof of their correctness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067772$C3AFCF6B-3BE3-4E9A-8304-D9D78828FBA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067772$4C5A6F1F-3DB5-4323-841E-176233F8CA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067772$ECB0CAD5-7269-4F6B-9E3C-864BAC04F346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067772$F01A697D-D08A-4377-8C48-590442C2D5F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1137f673a7879b7857d869104eb8a052c64b52e9","datavalue":{"value":"3930324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067772$E3300A64-6D68-45F9-8BCA-46D3A5A00BCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067772$A525C70A-196B-4471-95B5-03240F4DFF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43bf7eef5baa39898efba8eaff82cbeef31aeb2","datavalue":{"value":"iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067772$89B5C150-5DB9-487F-BDF0-8A207DCB9FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067772$7B5D0001-7768-4C5D-82A1-6B8686EAF0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33c65a7fd7ae54e3c551bea60927e819ce05e4c5","datavalue":{"value":"Towers of Hanoi problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067772$221EC593-EB17-486D-BF3D-00B3FAC1E8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed265b8f396a64f1a1b9bbb6795d0b75f744573","datavalue":{"value":"recursive solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067772$9ED8388C-EE7B-4D3B-871B-28DC774F7A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067772$769F326C-1DE2-413D-B9F3-D801ED35A41D","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":"Q1067772$206673A6-CB04-407D-85E9-10F10195F171","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3212c36b670d75af04f6e24a5581fedd4117f886","datavalue":{"value":{"entity-type":"item","numeric-id":1155964,"id":"Q1155964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067772$2A9953D6-A145-4BE0-BF7C-37D74E012F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f46b94a9e9f78cc5705973a5b20f01a1d5a017","datavalue":{"value":{"entity-type":"item","numeric-id":1142217,"id":"Q1142217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067772$BE8DEFF4-D254-4D3B-B7A4-28C044B67AEF","rank":"normal"},{"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":"Q1067772$244BFA4B-2A39-4056-9693-74FD09E727E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bc51c7871c568e84edc5b94b203bbb0b86249d","datavalue":{"value":{"entity-type":"item","numeric-id":3330527,"id":"Q3330527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067772$8EDA6C5C-5989-4DF2-BF9A-EAE8CD23AF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da000f358c9a82761a6ec77c411bac097264c16","datavalue":{"value":{"entity-type":"item","numeric-id":1050779,"id":"Q1050779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067772$41990838-93C6-4CF7-A50B-7A7E4A747305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f1d4a40112fa851b77383a8bc22e972e45537a","datavalue":{"value":{"entity-type":"item","numeric-id":4136542,"id":"Q4136542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067772$BB7B3621-0846-470D-BD78-26DB2B25BA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd1da8f8245ff5caabf2f1b4236994509c402e1","datavalue":{"value":{"entity-type":"item","numeric-id":2562565,"id":"Q2562565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067772$A57D80F4-D5AE-4ED5-8C28-9E8F32E2DD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e73663d981586ff38f95a429799120659491849","datavalue":{"value":{"entity-type":"item","numeric-id":1838033,"id":"Q1838033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067772$BB1F5B27-4830-44B7-8941-10DB72BC571A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ef51006e71d6b86ecc52c15ff0e33eb3da9e0d3","datavalue":{"value":"https://doi.org/10.1007/bf01934378","type":"string"},"datatype":"url"},"type":"statement","id":"Q1067772$61ABCE7A-A8E6-4ACE-B85A-69A0E2230A82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3bb35d991cf36d42239ad7f9bbdae4ef8e62cb7","datavalue":{"value":"W1968637546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067772$C6775F5C-4EAA-42DE-A973-9877800E2215","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1bc381bce980d1d00f646c974e142baf1801bd","datavalue":{"value":{"entity-type":"item","numeric-id":3479520,"id":"Q3479520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c915e4481a4a1a96706e8c930cd666a5ea8551","datavalue":{"value":{"amount":"+0.8410782217979431","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":"Q1067772$877DEFE4-B59E-489C-AE44-88299DFD9941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8487a012e6b348de20d3dad012d191e1b8b116","datavalue":{"value":{"entity-type":"item","numeric-id":3348426,"id":"Q3348426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09bf18a400314a1651e4a15b0639399103c667e","datavalue":{"value":{"amount":"+0.8284884691238403","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":"Q1067772$BD5F47C5-7015-4704-8721-2C0B808FCCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebc38a4b161e05090867f93d65886817d61b9ef","datavalue":{"value":{"entity-type":"item","numeric-id":3219130,"id":"Q3219130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d13a894be5c4278dc57f62024b2b4cac63fabeb","datavalue":{"value":{"amount":"+0.821574866771698","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":"Q1067772$5BA09334-AA9B-460A-A020-5C80085E80BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e89b0a6877f261fb778b527900d39239b54cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1071509,"id":"Q1071509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4604d2d71aae31a4a8d925d4d5d003de7bad0d2a","datavalue":{"value":{"amount":"+0.8140096068382263","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":"Q1067772$8CAD8407-E2D6-4A57-ACAD-5ADDBE87E2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7ca3cb0694a528b58f1402dd544611313ae1a4","datavalue":{"value":{"entity-type":"item","numeric-id":3319783,"id":"Q3319783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb44851e0f84f70e0e18c42d74b4491745ca4ed5","datavalue":{"value":{"amount":"+0.8109439611434937","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":"Q1067772$043EF65B-A4A2-4422-939F-317ED4F82E46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towers of Hanoi problems: deriving iterative solutions by program transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towers_of_Hanoi_problems:_deriving_iterative_solutions_by_program_transformations"}}}}}