{"entities":{"Q2936791":{"pageid":2947511,"ns":120,"title":"Item:Q2936791","lastrevid":44744940,"modified":"2025-11-25T17:35:08Z","type":"item","id":"Q2936791","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 6383933"}},"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":"Q2936791$43D5A286-34D3-47E7-BF17-86760DACC224","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":"Q2936791$98318035-B02C-42A5-9996-7C36164AB780","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6187b2f974fa4a55a9ce48887c31552305f9e2ac","datavalue":{"value":"1302.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936791$A2FF9ADD-F8E0-45FE-B3C3-CC34F03691CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad327debed6f7f4ec487b3db6153056337d1fe83","datavalue":{"value":"10.1145/1086365.1086401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936791$D10C970A-82A3-4F97-9564-787D76B3084F","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":"Q2936791$BBE6396D-A57D-4258-B940-CC2832F7A839","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":"Q2936791$67A3B49F-0DB4-4416-8BD1-44193F7074F7","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":"Q2936791$3C0B3F9B-74DF-4077-9C95-4EF171816294","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"009f14fcff92f2b9864a3e960eefae33e15fd175","datavalue":{"value":{"entity-type":"item","numeric-id":2936758,"id":"Q2936758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936791$0B642BC3-0A59-4E90-8F2F-00F673BF9FB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936791$4A347271-3D9C-45C0-9F6D-EDF6755B436C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936791$FD5276B8-CDB4-4F4F-8A9F-C6F4AFFA6ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936791$0B2209DE-0528-4DF7-A020-5AE9348639AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936791$CC9E7F3A-D64A-4FA6-A4FF-47202FA6CDEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dac738fac41d7c51d84a374e0929abdb98cedca3","datavalue":{"value":"6383933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936791$066F2D23-BAAC-4114-B7FF-ECE1F89B4983","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936791$3FABFE9A-2D60-4AC4-AA97-B15EFCE2622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de5c78d46b9cdcf0ebef8b039e94b15fe93e030","datavalue":{"value":"aliasing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936791$8DC96696-8BFF-4773-83B1-EFFDBD66AB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936791$58B69CF6-0CD0-4898-8F70-28099E37B02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f645f960ad053e87fe007bfa2f787d23a39584","datavalue":{"value":"Hoare-logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936791$5E5DDFD0-B5D0-4780-809E-251BAAFB9A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936791$26854CF6-CF95-4F59-963F-84C490869058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df4a9fa42a823ec549977451ee26e4eccb17d524","datavalue":{"value":"pointers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936791$A498EFBA-6BA9-41D0-BE27-53714CFCD33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abcb8a5b3af8770f764873d0eafebd3c934a879d","datavalue":{"value":"typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936791$D01D0DDC-0CD8-4922-AB69-D7B082161856","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":"Q2936791$4710A807-C404-42AD-9475-B904EFC80086","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59266c102a84d7d6eede3d13cd4a589c7dd0d0d2","datavalue":{"value":"https://doi.org/10.1145/1086365.1086401","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936791$C2E6CD21-90C1-432B-A2A2-2F3CDA60BCB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3104fb3ad8ea4d35fa760730b6201a6904a28c6e","datavalue":{"value":"W2068352674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936791$A9236A5A-0123-4CCB-8477-DD1E36FD3687","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f1ec0a786bbd8810905145a5619670de38b3fe","datavalue":{"value":{"entity-type":"item","numeric-id":5308091,"id":"Q5308091"},"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":"Q2936791$F48E9461-8B2F-4210-9C7E-AD20F87A69C3","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":"a45d9504601db588bce257a778ccf13174f3f26c","datavalue":{"value":{"amount":"+0.86981887","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":"Q2936791$0B0CED56-302A-4CB4-97CC-F004E546B1BB","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":"4fd853511847badff774a05aacbb0477dba55159","datavalue":{"value":{"amount":"+0.86457515","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":"Q2936791$BC4CCBD1-CC85-4EA1-AC9B-FCCB38517456","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":"Q2936791$159142A7-3B36-4DE4-ACEB-2FF7E67EF7AE","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":"Q2936791$041F2DD6-80D8-495F-9E0B-334DEE459918","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":"70915fea5fd8efd38b7920812f50e2edf0d1eee4","datavalue":{"value":{"amount":"+0.84970397","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":"Q2936791$BFB53A64-C08B-4462-B2B2-86F1C14C0310","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":"b5eb72148e42815fa06dbcb9ff73baaded25b329","datavalue":{"value":{"amount":"+0.84301656","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":"Q2936791$36248EF6-EA0F-43F1-8408-EADC514C7D4F","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":"Q2936791$2B25671B-9A46-4640-AC86-7B6600A69F1E","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":"2a779429df72d1e9a43816203b4e1e64756130d2","datavalue":{"value":{"amount":"+0.8383033","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":"Q2936791$2E8B302C-EAE1-49FE-BE2C-367C1F92D36B","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":"e8b37e6cab065f8235526fbec5db355ef2c6bfec","datavalue":{"value":{"amount":"+0.8377316","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":"Q2936791$1ABD201D-7775-40B5-AD51-88F6FA3251C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2936791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2936791"}}}}}