{"entities":{"Q1070817":{"pageid":1081569,"ns":120,"title":"Item:Q1070817","lastrevid":66782319,"modified":"2026-04-12T12:49:59Z","type":"item","id":"Q1070817","labels":{"en":{"language":"en","value":"Program derivation through transformations: The evolution of list-copying algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3938539"}},"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":"Q1070817$A6731CC1-AC35-46D8-82AD-E427D2312EFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2cbc57735587aa6c68debbf2aff88828cced54d","datavalue":{"value":{"text":"Program derivation through transformations: The evolution of list-copying algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1070817$60649589-CF27-4976-845C-21AA78653BBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96fac70bdae98e02218448fdac2d58c86c5baa16","datavalue":{"value":"0585.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1070817$5AA00862-D531-4FB0-89D7-11BC669216F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29a9fcaef3cacd8f0018dfa82394920f0a677a57","datavalue":{"value":"10.1016/0167-6423(86)90026-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1070817$C5B7F315-BAE7-4B70-B3C8-4ECD7C32A7F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1070817$850822D3-C55C-40A8-920D-88F8E63CE7B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1070817$AE85DDA0-7EF0-4CFC-B4F1-262FB6C1D4C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1070817$66D9C2AF-42B0-4F79-8D34-C6E355037180","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"face827c2b91621747e8318145a08194fd78371f","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/16293","type":"string"},"datatype":"url"},"type":"statement","id":"Q1070817$E4266AF4-85D7-4C02-8A4D-A833C6A782F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1070817$35E9E1F4-6D80-42E9-9465-C44BD3D6BF1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4abcf5d259199808b0b489eeb08ccc4d9173d814","datavalue":{"value":"3938539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1070817$304726E3-5203-477B-BA9B-CC6B6B796781","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"222233be603b2104d3b2d6febdf6fac9256b3b53","datavalue":{"value":"Hoare Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070817$827E6603-969C-4EF6-837A-F5004D4F0E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a366687df2fcc42fcc5ed4cbadd7a7723cba1","datavalue":{"value":"correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070817$BC81B693-AAAE-400A-8F90-39A05AC1B3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37afdc244f3ee576aabe4e3d22063cdec8dd8872","datavalue":{"value":"sequential programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070817$31506E9D-E772-4ED4-AEE1-841B5053711F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070817$0DCE300F-D0F5-4210-A3D6-1C81B6DAA3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7053246b22c863f3a25ee1f27cf8bf9bf084e73","datavalue":{"value":"list-copying algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070817$D07F5589-D65B-4673-ADB9-407400DA9102","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":"Q1070817$D7FA2ED3-1103-49D5-ADF0-C11EC0E38E9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fd6bffb166678274855588f63f673de7630cbf0","datavalue":{"value":"W2014888499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1070817$7623F92C-115B-4C1F-AB29-F3573C987379","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbd5bc9f9db4a8c8f5d78463047c2c327809d9c","datavalue":{"value":{"entity-type":"item","numeric-id":736840,"id":"Q736840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b92472c53016efabfafa73c1902a9ba180d750","datavalue":{"value":{"amount":"+0.7352113127708435","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":"Q1070817$0F204A4F-4AA5-4029-BC7B-AA61A54BCEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e6b5302683360907da256906c47a77a0a40ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4884666,"id":"Q4884666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957dc026a8b31e83e2e6365447b334c3cc25a57b","datavalue":{"value":{"amount":"+0.7324888110160828","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":"Q1070817$EE9D7567-ED59-4F88-AA2D-B2FCEE69B0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23bba72f15b961f83b44b1b1fb119560cb526c8","datavalue":{"value":{"entity-type":"item","numeric-id":3339255,"id":"Q3339255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957dc026a8b31e83e2e6365447b334c3cc25a57b","datavalue":{"value":{"amount":"+0.7324888110160828","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":"Q1070817$B95301C8-8B2B-454A-A167-BA64B55F9435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f916edd1fdfc353e2c4e2b983a5961a845cca9a","datavalue":{"value":{"entity-type":"item","numeric-id":3578393,"id":"Q3578393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4300c87b46b8adc9e1c9a98c500d55c69484905a","datavalue":{"value":{"amount":"+0.7289584875106812","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":"Q1070817$ECB76F41-0855-4EFC-970F-AAA691C8F5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00554e14e2494e96367dcb40e4edcafaa636fdbf","datavalue":{"value":{"entity-type":"item","numeric-id":3034803,"id":"Q3034803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef02dd7a67feeba4fb4168a4f34ec8e1b4c77992","datavalue":{"value":{"amount":"+0.7269068360328674","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":"Q1070817$D21F5B23-CE40-493C-8146-8905069C54FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program derivation through transformations: The evolution of list-copying algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_derivation_through_transformations:_The_evolution_of_list-copying_algorithms"}}}}}