{"entities":{"Q5878908":{"pageid":7908459,"ns":120,"title":"Item:Q5878908","lastrevid":101978084,"modified":"2026-06-06T03:14:22Z","type":"item","id":"Q5878908","labels":{"en":{"language":"en","value":"Computing in unpredictable environments: Semantics, reduction strategies, and program transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7656673"}},"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":"Q5878908$9600D820-5158-4A34-827C-C4C9E03748B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db12e632493666243ce31e1835163273a36abeba","datavalue":{"value":{"text":"Computing in unpredictable environments: Semantics, reduction strategies, and program transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5878908$3675DA0E-042C-4AD3-A031-837653DBE753","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6747b86d71c6f17618e9dd109fef201412f3f59","datavalue":{"value":"10.1007/3-540-61064-2_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878908$96814D31-A1AA-46FB-A586-3A1077CEE7F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f678e8c47ec36cd0eb7b6db8f157bdf8c28c9631","datavalue":{"value":{"entity-type":"item","numeric-id":608342,"id":"Q608342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$342B588D-F97B-4D2C-A713-5D1B4C01E52C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"10a2dd9cfab3350d57ecfd66941f44fbfa64643c","datavalue":{"value":{"entity-type":"item","numeric-id":5878896,"id":"Q5878896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$AA77F2F1-1E22-4CAB-9597-17652A7BB5F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729820b3d9c942c8ddeec0ce26b9b49723352c71","datavalue":{"value":{"time":"+2023-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878908$9AF6286A-EC72-4532-A94D-E65A09CFFBE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878908$40F86277-B314-474B-B9E8-6396CBAE3246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878908$5C9099C1-478C-45F9-83F2-D851A8C8D91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878908$B44E66BE-8B4E-42BA-834E-6B9F90EAA975","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2a51c7362246d7cbc3cf5d0b7e8e6a67d14febc","datavalue":{"value":"7656673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878908$D1F36E5C-217C-47C7-9B3D-F68440F7D25F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878908$20E27251-0311-4BD1-80E1-C6E434E141E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878908$11396B41-93B0-4C35-8D09-C8F9F8BC85F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878908$688723DC-CE33-4A1F-856F-06648C623F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce3f7ff6a86072c50e90104de323066f50a120a1","datavalue":{"value":"reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878908$02F5C588-24DE-42C0-9E8D-97FE155EA854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d773c9dbefcfee441e11b3927eb483de24f807a1","datavalue":{"value":"recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878908$A149CA4A-ABD9-4290-92D0-BC30EFD4ED52","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":"Q5878908$35EF5A1F-70C5-452E-85F0-BBBB5E67FCE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6187f0b6d151134729ece1a3dfaff9572c2c657a","datavalue":{"value":"https://doi.org/10.1007/3-540-61064-2_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878908$85EE676D-09EC-4542-B197-1BA02CC0787D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d43ee8e0c8019181cc8ddca25bddd060b81cd30d","datavalue":{"value":"W1564137655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878908$C79771BF-F7A1-4824-A0F9-701746C1B4A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b09ef21e3fc641f4d9d42cf2d04aef6bc04ad97","datavalue":{"value":{"entity-type":"item","numeric-id":673126,"id":"Q673126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$C2266043-C50F-4D35-BC8D-824930A2C384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b9d00cba77d354f32acf6c49ed6fe44a7bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":4293514,"id":"Q4293514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$B0668F67-46A5-4287-AF9E-A53A89C91367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed20ac2b82505e98bc5c4af30c3293334f3d3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3698292,"id":"Q3698292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$053C2727-275E-48D3-95D3-84887808DECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$38BA511E-4E47-4C54-8740-37E26FB54438","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":"Q5878908$F7AD80D5-2689-449C-B676-B18C1B3EA203","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":"Q5878908$08AACFCC-8A0A-4C7B-ACA6-4B9A6D47639B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de0c47aac54d255781a3e64af689d25e678b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1098322,"id":"Q1098322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$42CF8495-FE8C-4B0C-9B7F-2A487075E102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394b8c226c40fd2922be160802e4522fb7abf6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4385535,"id":"Q4385535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$8A29C752-E99F-4481-92A5-4CAEE81154B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$74D87887-9D23-48EC-A3AF-945418AC8335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$5FCFF73C-263A-41E7-85DD-20BF7C93E5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$5B8BE55E-30F8-4705-B327-CDFA932673EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$03D48666-B520-486F-B47E-DCE9DFF92D7F","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":"Q5878908$00E3E2B7-C295-434F-9C7C-CDBE4EE17755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$5FACF95B-DB72-4E25-BE88-824F8BF254C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$64F53D6A-59BA-4460-BBE2-36362F43E488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e2d64551caf78c8e3289e10661f3a37d553ee97","datavalue":{"value":{"entity-type":"item","numeric-id":3698293,"id":"Q3698293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$36E8DA29-EC81-4121-9178-C18479360392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$35AF46EF-1E33-4A6C-9FEA-F712A01D059B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$2A073FB2-F8DB-4ED7-B9A1-BC6F5FDC1253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1178087fa59d8bd99d0bacddba2556fa09cad05d","datavalue":{"value":{"entity-type":"item","numeric-id":3893265,"id":"Q3893265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$799C8994-DF80-487B-A614-56F628500820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6475e30fafd3400503e49af213f9b0d37542b4de","datavalue":{"value":{"entity-type":"item","numeric-id":1823006,"id":"Q1823006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878908$B3C7136B-4F39-45A1-82A9-B9D62A936BCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610a0dce1994e0b9c6714a1cbcd4e251db92e40e","datavalue":{"value":{"entity-type":"item","numeric-id":1389440,"id":"Q1389440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd02b7abd4f7a139e9255039154a1de703da6cd0","datavalue":{"value":{"amount":"+0.9959740042686462","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":"Q5878908$A52B4633-B46A-43CF-AAE3-064BE880693C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"528e43eef8610b42912025a3bbad6632b4ed3fe7","datavalue":{"value":{"entity-type":"item","numeric-id":5472882,"id":"Q5472882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c1cb117ebc8dbcc76013f3714af408eef20bc5","datavalue":{"value":{"amount":"+0.7534295916557312","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":"Q5878908$C1C662C1-4BDA-4D5B-AA53-7DADF48FE61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd69893b09cd363e12307f0fab2a195914809fec","datavalue":{"value":{"entity-type":"item","numeric-id":1284702,"id":"Q1284702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b99cf8759b669638a8752cebe78cd923f414cd8c","datavalue":{"value":{"amount":"+0.7200154066085815","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":"Q5878908$03008422-4F5D-4FDC-8757-0E2903453677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3146751f8c8f7e0894d3c7c900bfa9813ddeeda","datavalue":{"value":{"entity-type":"item","numeric-id":1276245,"id":"Q1276245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c83bc2f10bd44eaf933770f7dfd355477b6c12","datavalue":{"value":{"amount":"+0.7194011807441711","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":"Q5878908$BA1EEAAD-48E4-4DBA-8FAB-D15D81E8DC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4784a6c5ec6fbca202f1f62bb317af08783e8a7","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1100cc79885c9b505ea2e0b87fffaa8cff529700","datavalue":{"value":{"amount":"+0.7137600779533386","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":"Q5878908$2675FCE8-DE12-443A-8704-1B82DB2F4138","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing in unpredictable environments: Semantics, reduction strategies, and program transformations","badges":[]}}}}}