{"entities":{"Q5262944":{"pageid":7292520,"ns":120,"title":"Item:Q5262944","lastrevid":52303829,"modified":"2026-01-21T09:46:21Z","type":"item","id":"Q5262944","labels":{"en":{"language":"en","value":"Relational parametricity for control considered as a computational effect"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457561"}},"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":"Q5262944$EADF22D2-B3C5-40BE-BD47-26BF43DC3C7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cce9f5e8a09399c9688e6eea0d75ce518c48cb6a","datavalue":{"value":{"text":"Relational Parametricity for Control Considered as a Computational Effect","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262944$B99218BA-C351-4F92-B6DE-ADF960DAA2C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb074317d49142e326fa6707a3c421df42431544","datavalue":{"value":"1316.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262944$CF39452D-DBC3-4DEE-B246-AAC5C6E70E21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$4D792F68-ECB8-4322-B5E7-8A53853D0B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$016E6883-E2FC-405A-B4DC-DCE63D47E41E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$5B65A3FC-3C77-48B9-BB1A-B6194FA0FA06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262944$DC52FD60-B787-4368-88A8-D4FB77023E2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262944$29935037-F692-4D62-89AE-A49AAC62A95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262944$D6BE7DE3-D0A3-4458-8D16-D4DF47CA23BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262944$41F96FB0-C3B9-4EA1-8433-C48D2A2FB7F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86111b473c1cdba8c90dd474687c92189629bd88","datavalue":{"value":"6457561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262944$DAD45BDA-23E9-4926-A5C0-DEB2DB2A4786","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6bcf6ef313c81380a963fa5d9c036f751f485","datavalue":{"value":"computational effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262944$21129EEC-EE95-43F2-9513-D6B724C588F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235d9f1ea5bfa248691c100bdc7ea768eaf09bf9","datavalue":{"value":"control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262944$8BACF14F-937E-49A8-B4F8-47C5BC7358A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262944$87C0A22A-5596-4F82-8162-4D42CD2EBCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262944$2FD92EF1-2012-47A9-878A-78D45D505AAE","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":"Q5262944$820F76FE-F937-459C-A34C-F45E088FEEF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e76b153fdb9d19b832eada371c04c509905a92c9","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262944$FC1ED67F-DD91-4132-8EE6-7B7712389CC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38710af09ac5c20556d159b2638b4aea40b3f0cf","datavalue":{"value":"W2112242174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262944$79484A9C-D3B8-49C3-B944-A6E73C04DB46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$DA80F0FA-D07F-4E57-BF76-1A9827ED1E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dd947d2cd3406080a0c1bde67fc5e828ea2214","datavalue":{"value":{"entity-type":"item","numeric-id":4921510,"id":"Q4921510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$17EDC374-C58E-4C9D-8DC5-99F20E5CEE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a84670e1043abc01048ef4420e31272ab86a57","datavalue":{"value":{"entity-type":"item","numeric-id":5697712,"id":"Q5697712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$3F4169B3-0FAD-43BA-AA10-1D02E1CF95ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9e8713562da92a5db76020e33b20e5170d9f51","datavalue":{"value":{"entity-type":"item","numeric-id":5310673,"id":"Q5310673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$6142149B-63A4-4A9A-856E-A076453E0592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2151a630ea947764cef360886e75101077cd9e12","datavalue":{"value":{"entity-type":"item","numeric-id":5481590,"id":"Q5481590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$12C4AFBB-6A24-483F-9C94-5FF0B7C12965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e30eece9bbafcf9bacb5ed064949ad5d50378e0d","datavalue":{"value":{"entity-type":"item","numeric-id":5310662,"id":"Q5310662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$E09B6CBF-C68E-4FDD-B4F4-7DCDD6CAA21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081bcad9c917e2fcfb23bfa4c1fe0f98bd51e16c","datavalue":{"value":{"entity-type":"item","numeric-id":5096235,"id":"Q5096235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$DF95267D-5790-4238-9F82-7CA51DFFA56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$E7F6A594-27F3-4F2F-AC96-911395BA9C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c92da0edbb6315f5fc10e8ac4f3b36534ca6a8","datavalue":{"value":{"entity-type":"item","numeric-id":3978973,"id":"Q3978973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$67FF9BC9-1F2B-4BEA-9598-0E161B4D389A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18c0ca64f7ec43883c40349831c2647f298047","datavalue":{"value":{"entity-type":"item","numeric-id":3481914,"id":"Q3481914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$BC4408E1-87EA-47EE-B106-D1E545D34B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1b2121fb39961209147ea9074ea26e7b6ca52b","datavalue":{"value":{"entity-type":"item","numeric-id":5394571,"id":"Q5394571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$1ED66C67-8DA5-4D8C-B5AD-335992ECB008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c682b839b11467875c1cc1c966d0baafa1e563","datavalue":{"value":{"entity-type":"item","numeric-id":4829806,"id":"Q4829806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$0C8DF163-7D52-46A3-B162-D04AE63A9A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db63b996d33e61193161da0ad8408bd8c3ba4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3395102,"id":"Q3395102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$4D1994CC-4323-4850-8FA8-A1844912960C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$4A93D74B-E958-4F1C-BAA5-0020F04895A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$E646B80B-6DAB-4968-947A-72465B8BF614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$87B7FA43-B259-4DF6-82F7-5D24B153AD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$5DDDBA75-2E60-4DFF-ACE2-DB6EB57CC75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$F8264DA8-AEEE-42CC-BDD8-B56464D5C239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$7F2C6D85-9A95-4A6C-BB03-1738D599E210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f769cbab15bd1261aeb0bd590b67adcc83579","datavalue":{"value":{"entity-type":"item","numeric-id":4540524,"id":"Q4540524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262944$801B79A1-6D39-48DE-AC74-757F5A388E34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ba62e6554c38133297deea3b83c80d458cdf8bf","datavalue":{"value":"10.1016/J.ENTCS.2007.02.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262944$3BF80A0D-7D0A-41C9-BC3D-DAAD44C73120","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ed483de1b33bb5baea0d5c6b63ceb9ad6a9e0f","datavalue":{"value":{"entity-type":"item","numeric-id":3395102,"id":"Q3395102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaaecf8242c5c542cda9e93b83be548c4c7f9542","datavalue":{"value":{"amount":"+0.8353164792060852","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":"Q5262944$42AAEED7-2D0C-493C-8D09-066B62005A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4edc1dd9f2b8d39ab6bf8ce7c5873e59067b058","datavalue":{"value":{"entity-type":"item","numeric-id":5310662,"id":"Q5310662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a9957e37d6edf620343b8932fbc13b6261b17f8","datavalue":{"value":{"amount":"+0.8192098736763","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":"Q5262944$918B05B9-7FE1-4798-9055-3DFCDC7DEC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33a0d85284950b77a2a9774beb91bbc035587e4","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a93cbcb14ccb2261bc34954d301e2a18c35c90d","datavalue":{"value":{"amount":"+0.7818505167961121","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":"Q5262944$5591A230-0560-4256-BEE6-3075F2FB14B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f18797958507bb2e43a1c60582934bf69c5d06a","datavalue":{"value":{"entity-type":"item","numeric-id":4327831,"id":"Q4327831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53278b5bfdf75f8185271eba540ce658962f26d7","datavalue":{"value":{"amount":"+0.7772340774536133","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":"Q5262944$1B479EF6-5F4A-490D-BBF4-A8538C95870B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b517eb73a756be4cef0b2ee897531f77d18ef807","datavalue":{"value":{"entity-type":"item","numeric-id":1346668,"id":"Q1346668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53278b5bfdf75f8185271eba540ce658962f26d7","datavalue":{"value":{"amount":"+0.7772340774536133","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":"Q5262944$29A41C1F-1F83-4DBF-86D6-1FA2A2C86DCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262944"}}}}}