{"entities":{"Q6142866":{"pageid":13277173,"ns":120,"title":"Item:Q6142866","lastrevid":94131977,"modified":"2026-06-05T05:57:12Z","type":"item","id":"Q6142866","labels":{"en":{"language":"en","value":"Generalizing Cook's transformation to imperative stack programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7795981"}},"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":"Q6142866$CFFA6534-4A76-47F0-AC0F-906D6C5DBE94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"453cfe987c2a5fd553a37a85809e60f43c8e2ca6","datavalue":{"value":{"text":"Generalizing Cook's transformation to imperative stack programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6142866$6C88A2B7-7292-4F8A-B831-5E7FB4D7173D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"183a562c3b296ffadcba8e5ee8a9a7c1ffea6ac0","datavalue":{"value":"1529.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142866$FFE80D28-839D-462A-8EE9-B81E79B63825","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f1de4de0f4e27b4db936abb45663a1241d893ae","datavalue":{"value":"10.1007/3-540-58131-6_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142866$142A2FFE-B731-4490-825F-3DF2377A9844","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142866$042D32C9-5E98-4CE0-9CE8-DA24986D1ABD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c788422623dc13be5c58b3af34b36d9b5d5b260","datavalue":{"value":{"time":"+2024-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6142866$5FB3D694-1905-4599-9894-606A0C2F9151","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142866$DAAC6DDF-5E05-4828-84DA-CE613E8EF0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142866$BA82E145-3458-4444-B381-7CA112E2170B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142866$E228FA48-8825-4068-9F79-1D50669FB0DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9600860a18e39d7637c09178470678112d2c845c","datavalue":{"value":"7795981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142866$A0ECFDF5-3185-41BC-AF5C-710C506059E4","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":"Q6142866$6A1892FB-85F6-4996-B784-09073C9ADEE9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7930855cf81b101de6a560513ab5168d84ae2972","datavalue":{"value":"Q108435901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142866$10ACB1CD-6B01-4DB0-ADCF-D6C1E4CF7036","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2526d38507099535ebfa635c4c55c44e81c77910","datavalue":{"value":"https://doi.org/10.1007/3-540-58131-6_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q6142866$DD411692-B513-4902-A620-9AE7EF7E7A59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e4c65c72258520b0a6229b41bb8b1d7150922e6","datavalue":{"value":"W2141081167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142866$BF05886D-F0F4-46B2-BE92-33E25D824FFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142866$378C1F6C-3F01-4A1D-B4B8-9FD04A3E312E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c3d18dc1c22b123ff3891ccae6b075b5a1e922","datavalue":{"value":{"entity-type":"item","numeric-id":3826542,"id":"Q3826542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142866$01E6CCEA-7CE7-499C-9012-BC621EEF0C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4012a89f1a658242424bdf3943494dfbd4ac48a","datavalue":{"value":{"entity-type":"item","numeric-id":4134911,"id":"Q4134911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142866$D41BFB34-E93A-4658-829F-0B452B039FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7698ce631f410b3716c906843b5288c4644af32","datavalue":{"value":{"entity-type":"item","numeric-id":5670175,"id":"Q5670175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142866$EF60678E-744B-4E12-AF08-CF99A29A327F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9285a61f3039e7ce640456a9ea2b4d13665dc77","datavalue":{"value":{"entity-type":"item","numeric-id":5626625,"id":"Q5626625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142866$CF6353DF-2127-49CC-8165-15717FB77B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d8f82c493ecf71b1895a2fbc262dc6af404064","datavalue":{"value":{"entity-type":"item","numeric-id":5532796,"id":"Q5532796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142866$53CF9A7C-C941-44E3-B177-008A79FFE4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84420e850e3a03895bf09a52e836bfaa644de8bd","datavalue":{"value":{"entity-type":"item","numeric-id":1245694,"id":"Q1245694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142866$DFF7F7C9-1207-421B-A437-42C4801F9E5F","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":"Q6142866$B953C296-A624-4F01-BAD6-1D8471521B71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ee9d3eaf5fb902ecccd130217599ff5be00bc0","datavalue":{"value":{"entity-type":"item","numeric-id":1193887,"id":"Q1193887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc2d85f38e0683d29cd97edc727bc087ec54de6","datavalue":{"value":{"amount":"+0.8006348013877869","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":"Q6142866$55911351-F092-436A-B670-F234812EC981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a123da7196d658ab54a9e094569ab9faba433023","datavalue":{"value":{"entity-type":"item","numeric-id":4520485,"id":"Q4520485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47bfe5ae06ca45d51aa767e0207a544ec415ceee","datavalue":{"value":{"amount":"+0.7949361205101013","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":"Q6142866$78518F21-F31E-44EC-83D0-661D947A9459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f04d1b9f77a49ad66440971f08b5b522c1b1752c","datavalue":{"value":{"entity-type":"item","numeric-id":4994698,"id":"Q4994698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef727bdf58ab108eea1d1b475f2c8f2a4f0db72","datavalue":{"value":{"amount":"+0.7559084296226501","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":"Q6142866$334572B5-E4D3-4D77-B15B-1CFFF730252D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88aa0cc700972338b0ddb90f96329ef263a426bf","datavalue":{"value":{"entity-type":"item","numeric-id":3779733,"id":"Q3779733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9891e51b651c5db9d0319345868878800228672","datavalue":{"value":{"amount":"+0.7139063477516174","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":"Q6142866$F5529BE5-DCD4-4C36-A9C3-309464FACB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3f0f1a201d309ae57d5430dd9c9573fdfaa6fe","datavalue":{"value":{"entity-type":"item","numeric-id":3141998,"id":"Q3141998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf30181dde8c7e355dc070492864fec7da93030","datavalue":{"value":{"amount":"+0.7020164132118225","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":"Q6142866$1CF87749-566E-4925-8306-9A9D38777611","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalizing Cook's transformation to imperative stack programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalizing_Cook%27s_transformation_to_imperative_stack_programs"}}}}}