{"entities":{"Q5890068":{"pageid":7919618,"ns":120,"title":"Item:Q5890068","lastrevid":93282125,"modified":"2026-06-05T04:08:10Z","type":"item","id":"Q5890068","labels":{"en":{"language":"en","value":"A categorical interpretation of Landin's correspondence principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680660"}},"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":"Q5890068$BCCEEEFD-3991-4468-9E92-89433C8D3EBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d5a4cbad1b4aec1920394e5c16cdf2a4fd06b96","datavalue":{"value":{"text":"A categorical interpretation of Landin's correspondence principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890068$0295C1FF-EF36-490D-BF57-DE9F318E718A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edf9a09a5b23f72bb2cce29adf3e5b9bd2c65cd2","datavalue":{"value":"10.1007/3-540-58027-1_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890068$EE77789F-2C0F-4219-806C-F12A6CB35F77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f34fe5b0fd83cb1c5e8ef43bf8fb3b8852cebeca","datavalue":{"value":{"entity-type":"item","numeric-id":859952,"id":"Q859952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$D37649B8-0613-4974-998E-0510A8914582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c762825db97423211c9dadedf4fa6a17941adb5a","datavalue":{"value":{"entity-type":"item","numeric-id":418810,"id":"Q418810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$85FECB9E-9820-4C83-8897-1E3E384E9E47","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":"Q5890068$68EBEAA1-FC9C-412D-A69D-AF8DBB03758D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5890068$2A5B8430-C8CA-4D57-A17A-BE22C299AF2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890068$55F62502-BFD1-46E0-BD7A-570B20D86E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890068$18179A39-94C0-4BC3-824A-1F571A6F0829","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff1a8de662f7b60b4829c04b1d61e459199dcf53","datavalue":{"value":"7680660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890068$6A045073-164A-499E-B16D-A67643A64D5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890068$41C61B89-6E68-49C7-A06D-E9BC13F52880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"359d0796f0bf417208bb3964a1f2cce45783f369","datavalue":{"value":"correspondence principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890068$CF608ECE-FC63-477E-BE05-796405DF9B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0d0264ea769b5671cd56df65fc925b244cde8c","datavalue":{"value":"parameter binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890068$EC452992-AF34-44E4-9E85-48D66FA834BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4fe07c2f39cce65479b448c9533ce7f7ba7ac74","datavalue":{"value":"computation rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890068$ABEE1450-3522-47B0-97B8-D7EB5BD3D360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c853cfcbd3cb4943e95b3cecba40c044f2c04560","datavalue":{"value":"arithmetic expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890068$9B61333C-37E7-4F9B-8A11-F8D568201138","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5bbf77f7f6056d0e55fac094035de7178400fc7","datavalue":{"value":{"entity-type":"item","numeric-id":33175,"id":"Q33175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$8315396C-8F69-41F9-80A6-964C6D544995","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":"Q5890068$BDB51EB3-50E1-422F-BC14-FCC235A20058","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"107437fa58269397cb4fdc5af238a3ed3114d6b1","datavalue":{"value":"https://doi.org/10.1007/3-540-58027-1_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890068$7C24883B-3A31-4EC4-9AF7-B8009164D7B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f85ec7212d89471ab6f8c22abaeaf6f80bd9210c","datavalue":{"value":"W1495707300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890068$93CE4892-67E8-42B1-BA7C-AE81958493E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$40982577-DE72-439C-A779-9AFDC1A4B687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$EC1A4301-A8EE-4A49-8602-63AB556572E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1208c35792fdf6d7234d5d330a526691eb60bc71","datavalue":{"value":{"entity-type":"item","numeric-id":5345264,"id":"Q5345264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$8DDAE5E1-BF95-4CC7-A89C-B84BAD38E0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$44B90DF4-4EA7-4534-9B02-61818064CB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$2E41821D-D3A2-4243-B3EF-FA4D902FDFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$079D3015-01FA-4A68-9FF0-6271C2659695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6abbfa92a0a5ae68ef1d6c67743852e1ce1230","datavalue":{"value":{"entity-type":"item","numeric-id":1196301,"id":"Q1196301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$11082DA0-8F2C-4C81-A90F-5BE2AAAFE11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6611ed6de8858c0611fd34fe4122695cc82d9e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4023244,"id":"Q4023244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$A421507B-9C6A-4C10-B01B-512348A64FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$B32C161D-06CE-433E-8B9B-B20612FF9E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"464b1870bccf13dbc5906b6fdcbedf4f91a8bf40","datavalue":{"value":{"entity-type":"item","numeric-id":5588137,"id":"Q5588137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$34042BA4-9821-42EC-965B-ADDF9634479B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad5589e53c0d66e13265564721ea82e85f30cc3","datavalue":{"value":{"entity-type":"item","numeric-id":4318862,"id":"Q4318862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$4B2FA3B5-7493-4C3D-952C-2BB4D1DA7FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec17ebcc14ee6d983d0a6f52ffae39716ab6412","datavalue":{"value":{"entity-type":"item","numeric-id":1225927,"id":"Q1225927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$9B47195B-0DB6-4C14-9FA0-151D72A82260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f32f04e00e542f620002f68c4a452e6a1aeb65","datavalue":{"value":{"entity-type":"item","numeric-id":3914393,"id":"Q3914393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$9B558A8B-6B24-4F15-A416-ADA20FFFE215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072be4f9fafcf16949ddf0ac018fde69d13e6856","datavalue":{"value":{"entity-type":"item","numeric-id":4201910,"id":"Q4201910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890068$973E3D76-24D7-445E-A5DC-BC216A28F25C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d43f13497f7826425d5b79da6347bbcd043b89","datavalue":{"value":{"entity-type":"item","numeric-id":1702195,"id":"Q1702195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8815f2e3fe15513a8983a7e4e75681084ecdab73","datavalue":{"value":{"amount":"+0.88460165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5890068$303248E3-E351-4FC4-9F24-2BBDFE7B4083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4efa1ef079b6be3dda34a111d2130582c72658","datavalue":{"value":{"entity-type":"item","numeric-id":3765952,"id":"Q3765952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6449a8643a08f47dd52b8ead10198d4730ceb7","datavalue":{"value":{"amount":"+0.8728255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5890068$A7AEF948-E068-4EE0-9C0F-D5AA4C867AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3decb338e5d7b59ebe460610720ffed99ab82d2d","datavalue":{"value":{"entity-type":"item","numeric-id":3627584,"id":"Q3627584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca849e6ec8f08136e0a6417200790b7484a3ed3c","datavalue":{"value":{"amount":"+0.863699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5890068$59044147-9124-4F0A-8B29-03DB388A8F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4271bbf63b6608c480e6214ad21e081a8ccd519","datavalue":{"value":{"entity-type":"item","numeric-id":3372727,"id":"Q3372727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7e9ea6d950c2d8806becbc8b23f9cfe4a2cbdf","datavalue":{"value":{"amount":"+0.85961074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5890068$8A9C7CD4-A045-4349-9384-2B3CC45A9559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b678d71df4e643da883e0cd04e61a7046708a4","datavalue":{"value":{"entity-type":"item","numeric-id":3789534,"id":"Q3789534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a86370074e98002ab9ca9c0bdae9b5cbd850dbe","datavalue":{"value":{"amount":"+0.8506175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5890068$84DC8BF5-4E4F-40CD-B062-E7AD56F0452A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4225dfa6e411607ff0db4c9123de52a01b3a0f35","datavalue":{"value":{"entity-type":"item","numeric-id":1817230,"id":"Q1817230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e5ca87230a39a330eed324c0b06939610428c43","datavalue":{"value":{"amount":"+0.84910536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5890068$F9EA9E62-A894-41B4-842C-84317B51BEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604da44d6a6be537d7f5bff5c8087eec2ab30813","datavalue":{"value":{"entity-type":"item","numeric-id":3691641,"id":"Q3691641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccad4aab65a40e36a506de6884959d6f53878664","datavalue":{"value":{"amount":"+0.8456319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5890068$B011E65D-EDA9-4305-8EF0-38F56AA2C9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9102d5508adc74c15b9356cd39d0d85c23038b4f","datavalue":{"value":{"entity-type":"item","numeric-id":4370952,"id":"Q4370952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7440647786f5f563e07c41c0654d844089c3ced","datavalue":{"value":{"amount":"+0.84522915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5890068$0FBB1BC1-4153-4DF2-A096-46ECA52D231B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691f66553f59a878750ebf758c0e17d43024bc2b","datavalue":{"value":{"entity-type":"item","numeric-id":2981746,"id":"Q2981746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bef25bcda6287156bb6890131b2d227cbb09aca","datavalue":{"value":{"amount":"+0.84402657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5890068$88A4BB13-B529-4785-B731-9467274360E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89edc4b3b1de21ef9e4c82902afb81a3edfc8f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3812214,"id":"Q3812214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ee8b225a4439221a2397ac587f56043d9da931","datavalue":{"value":{"amount":"+0.84285563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5890068$B26B8039-E12D-43B3-9A79-69A60FB4520F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A categorical interpretation of Landin's correspondence principle","badges":[]}}}}}