{"entities":{"Q5308091":{"pageid":7337665,"ns":120,"title":"Item:Q5308091","lastrevid":40958543,"modified":"2025-04-15T17:10:11Z","type":"item","id":"Q5308091","labels":{"en":{"language":"en","value":"A logical analysis of aliasing in imperative higher-order functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195940"}},"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":"Q5308091$C747A487-B088-4682-9CBB-13BF7EA1B228","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"205a6366f482a631d4ebecd682002072a683f719","datavalue":{"value":{"text":"A logical analysis of aliasing in imperative higher-order functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5308091$BAA9F7EC-9EB5-47F7-BEBB-81BE7DD3B713","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf9bee3c31c5d515b165be636f74d5170e7fc1d4","datavalue":{"value":"1125.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308091$44B280CA-D755-48A7-B35A-2E299903179D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b84bb2d6fcdfda29c108e27500e377f45e3da87b","datavalue":{"value":"10.1017/S0956796807006417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308091$C43B129E-32EF-4D1A-B671-AE7524E148F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d282958e04681531582731636278bb22489808b","datavalue":{"value":{"entity-type":"item","numeric-id":387993,"id":"Q387993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$051D8721-CA3D-47B8-80FD-7F952024E633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea26bd9363516a1e83177046ce0c28b82e974bb6","datavalue":{"value":{"entity-type":"item","numeric-id":387992,"id":"Q387992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$9B37A60C-85FF-49BC-A694-CA434EEE8C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$C1560A5D-2F22-477C-A42C-18E332114AC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$B0A9AF57-FC4D-46D1-9983-5C2A3BF1D991","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f805aedaf7c0349624b9d43ddf89f2714900c182","datavalue":{"value":{"time":"+2007-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5308091$7679F824-C99C-4C07-89F0-2F360472C011","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308091$A34BC56E-696D-42B4-B0A5-51FB3796C326","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84f288e1ed727108422b58d6e62a25bc2ef37afa","datavalue":{"value":"5195940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308091$5F02895C-01C3-4640-906D-2EFC887ACE74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fb6f4f644f424227aa1e1cf45cc3e25920725c","datavalue":{"value":"compositional program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308091$4930F9DD-CBC7-4826-BA28-21CB6FC8940A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e78a69415f787be275bc7148413e2ffc231174","datavalue":{"value":"call-by-value imperative higher-order functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308091$176D23B0-23A2-4A5C-A828-83CD2DB908B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$440CB5EE-A0C9-45EC-84D9-73D43A960E75","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":"Q5308091$6D7CBAD3-F68D-4597-BD78-FDBA3889539D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$47CF463B-5D44-4012-B59B-DE8898283286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$FBA68CB7-0D76-4031-B076-4BD8CFDE0A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcab8c14284436b5284309c65bb432f9fbcd6e67","datavalue":{"value":{"entity-type":"item","numeric-id":3763570,"id":"Q3763570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$EA72DEA4-0CD6-42AF-9BF6-62D8BEC89E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$0ED5B7E6-0437-4783-8240-EB6D32E4D1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b7e8541b8bf7dc514993aa6ba095a6f824bbca","datavalue":{"value":{"entity-type":"item","numeric-id":3922131,"id":"Q3922131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$B30D6423-99E1-48FE-83D0-E0372D0DF379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8556753918e4e9bc7ebc230f09b3f881c8f5de93","datavalue":{"value":{"entity-type":"item","numeric-id":1145497,"id":"Q1145497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$F5626CFE-F37A-4188-93E9-F35A47A5F1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16e5b695b8f7fcd68840f26050ce4154c563c397","datavalue":{"value":{"entity-type":"item","numeric-id":3925146,"id":"Q3925146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$86C09E0A-B6EF-4ED9-8FC6-28DA08E08A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$470E33E1-F41E-45D2-9D24-D6D1912846A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03108486ad76dd03a09a8cc212bd13b5b04c547c","datavalue":{"value":{"entity-type":"item","numeric-id":3899469,"id":"Q3899469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$3040BD36-AE8E-4543-A9FB-9243B08E077D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26d0672aac97a2f5583f4c3e24a732682cf7f15","datavalue":{"value":{"entity-type":"item","numeric-id":4794726,"id":"Q4794726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$E7E901D3-F4A2-4490-86AA-9C6756CC5750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308091$CB846A1F-918F-4E8A-8EB7-81F74D120813","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea7a1595b9511e07e88565fb4d2b2a93d2ce59c","datavalue":{"value":{"entity-type":"item","numeric-id":2936791,"id":"Q2936791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q5308091$119EE334-B2DB-4016-B679-D0103E7ADAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d7575e61998006881faa45e0084f3a92b4be4a","datavalue":{"value":{"entity-type":"item","numeric-id":3460909,"id":"Q3460909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e55c84624d1b12f15a0933bd729df369b6b10fc","datavalue":{"value":{"amount":"+0.8698189","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":"Q5308091$37B0892E-43A8-4A9A-B6A7-39CE3E3F8273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b0b586f5b43647e065b2777bade38d4e5e1252","datavalue":{"value":{"entity-type":"item","numeric-id":4916050,"id":"Q4916050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7064059f5dae09949bc7d594f38ce10a1a292e","datavalue":{"value":{"amount":"+0.8645752","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":"Q5308091$59B44B9B-5DB3-4108-A549-7DE456714C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2e1fcbebee0a8d41a0a02b33c070a8bf2fb565","datavalue":{"value":{"entity-type":"item","numeric-id":4537520,"id":"Q4537520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba0c62e55f7a73c6db8b6acc7bbff35deab5aee","datavalue":{"value":{"amount":"+0.85274905","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":"Q5308091$A93A4B1A-CED2-484D-AB2C-FA3D9898AE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9fb316f775bdd0a94fc858fde7be247c7a7651","datavalue":{"value":{"entity-type":"item","numeric-id":3201743,"id":"Q3201743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a057ac531aa3df8dba921f989af42e2e6dc09dab","datavalue":{"value":{"amount":"+0.8501067","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":"Q5308091$3A4AD159-F567-4912-A423-05A7683BF11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6961f42b0e586ec5f5db21fa2d898ad09097791b","datavalue":{"value":{"entity-type":"item","numeric-id":387994,"id":"Q387994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8faee0aaa74427f8f1efd4e071f5ba6be88e9f","datavalue":{"value":{"amount":"+0.849704","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":"Q5308091$44B8EB3A-90B5-4834-AE42-B7C1E937FE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02bc8804f8ac93266cf913ff168a9d6c39868bfb","datavalue":{"value":{"entity-type":"item","numeric-id":4411949,"id":"Q4411949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa7e25a080634ef7debc888d05ec88942a329cc","datavalue":{"value":{"amount":"+0.8430166","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":"Q5308091$0659B6AF-E3D8-43BD-8CAD-86E638F63B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b191fb9c130405d70e598e83c567c197fef8d30","datavalue":{"value":{"entity-type":"item","numeric-id":815001,"id":"Q815001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf427656aa495d4730217c6e7e43bca725dd230","datavalue":{"value":{"amount":"+0.8407485","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":"Q5308091$124E0CF9-9EA7-4B3E-859D-D58A59CD15C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa46d654b59bbe90692c584294af6b2a8a9514ca","datavalue":{"value":{"entity-type":"item","numeric-id":2979874,"id":"Q2979874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e0e720cd16891b4164acfef9c783248fd5f93d","datavalue":{"value":{"amount":"+0.8383034","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":"Q5308091$167F06AA-858E-4644-854B-98AE484618B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d576d4c1de6ef868f121da606928ef946e22783","datavalue":{"value":{"entity-type":"item","numeric-id":5466571,"id":"Q5466571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d774ea818d4da2ead6e5a91f61ea50f62f72cc11","datavalue":{"value":{"amount":"+0.83773166","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":"Q5308091$F3C58D2B-09FB-4878-A0D5-5997DBE36ACF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5308091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5308091"}}}}}