{"entities":{"Q5261533":{"pageid":7291101,"ns":120,"title":"Item:Q5261533","lastrevid":41077582,"modified":"2025-04-18T03:53:46Z","type":"item","id":"Q5261533","labels":{"en":{"language":"en","value":"Modeling abstract types in modules with open existential types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455626"}},"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":"Q5261533$0419F558-4CCA-43A2-A5BC-074426EF4537","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1a6947620d4a6c1bb791b4ccd6962d632074e8e","datavalue":{"value":{"text":"Modeling abstract types in modules with open existential types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261533$BAEB6B56-0DAB-4790-BB41-FE0CC1E5D902","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02b3afa363b00063daf1ed57ad05492adc6a398e","datavalue":{"value":"1315.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261533$3DAA21CB-7489-4666-AE79-0E6CCE9F025F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74a905dcafefce15f0eb63cfbddc451681852ece","datavalue":{"value":"10.1145/1480881.1480926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261533$84AF775C-78F2-48CC-A27D-EB4B83A64A54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25bbc366ddfd22a6ce2b87d5bb6d7026fb5686c3","datavalue":{"value":{"entity-type":"item","numeric-id":5261532,"id":"Q5261532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261533$D21675E7-5AB7-4AFF-8075-46B27BAE81B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b50f2165478ed24dcc2bb28aff286f977f84adf3","datavalue":{"value":{"entity-type":"item","numeric-id":428890,"id":"Q428890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261533$FF4EE0F4-9D5A-44D8-8A26-AE9414CD9934","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46f537985766180e7666197286053366e18cfc41","datavalue":{"value":{"entity-type":"item","numeric-id":5261500,"id":"Q5261500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261533$B973147E-B46C-46BF-8575-B410FBA61A79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261533$938C13A9-5A88-4AEC-B4E1-03269F6EBB3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261533$0698C96F-B167-48E4-AFBA-61910CCEDD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261533$563C58DB-86F4-48E9-A580-B480E208746F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261533$01527888-7757-45EE-985D-7D9BDBF814D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d6f13a6a596c90af8bf958287527ffdbb015eae","datavalue":{"value":"6455626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261533$CD067AB5-775A-4F26-80BA-5B8A987984DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27328578f10002b1fa01da1e78f9e379ddfaa8b3","datavalue":{"value":"abstract types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261533$92DFA209-9165-4086-9925-1AB65A9DECDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000a0af24a17a8e2618537958e1d4878d42da202","datavalue":{"value":"existential types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261533$089E3008-92A3-44DD-A1CA-608D33204DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f167997eb0b311ed4ed5031025b0011e115f44d","datavalue":{"value":"generativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261533$AD32390B-8A58-43F4-BE78-949289A5B17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261533$7DBB27E4-9CE5-49F5-802E-FE83F4D46CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a8585e7a18230d44660861ab92575fc4a73e8c8","datavalue":{"value":"linear type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261533$1DAC162E-4B7C-4169-B30D-0573EAE67EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261533$7C422145-C71C-40A9-B4A5-68937FD247DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9b6344096dfbbfbc55cfa95e9e6f1e36700be3","datavalue":{"value":"modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261533$3DF6569C-79B3-4EEA-BA79-D3491B0DA081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261533$B11F09DE-AC45-4247-93B8-9A7C1F86FC6F","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":"Q5261533$2AC1159E-5D14-4312-8227-B89AA006A7D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"146bfd430601fbd7e9707407185f28c9446e4fe4","datavalue":{"value":"https://doi.org/10.1145/1480881.1480926","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261533$12E99A30-66F4-4BA8-A348-9A4B8143DF07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a29f485ea5400bceba0914b9f80311f3bb10bfb0","datavalue":{"value":"W1970031091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261533$4176F0EB-C950-4681-BF66-BD30FC144CD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb0fbc6968e9a2f89e38fedb41ff015c9a03202","datavalue":{"value":{"entity-type":"item","numeric-id":988551,"id":"Q988551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a0209ebca0ff38a8b76c69cf88c719e8c321a3","datavalue":{"value":{"amount":"+0.89540684","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":"Q5261533$A087558E-57E4-4F63-9A75-E6A18425643D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb57029bba732b7e6077e81f1e9b0d2e79aabc11","datavalue":{"value":{"amount":"+0.8902119","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":"Q5261533$D055B45C-F6CD-4295-827E-E5A98F527767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cafac9ae1e05d141a3096c624f5ee14075b19f","datavalue":{"value":{"entity-type":"item","numeric-id":3426565,"id":"Q3426565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce343ff51181a1456d334d27b77cf44c60591dae","datavalue":{"value":{"amount":"+0.8841897","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":"Q5261533$8493EDE9-574B-4D5B-80C6-1166720A5FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424262529f81eeb155bdc89bc6d20c7b54b2fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4645803,"id":"Q4645803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fddd062330e421cb0d0acea81134929df4d0ca4","datavalue":{"value":{"amount":"+0.88399297","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":"Q5261533$8721B31C-7B04-4E72-92A7-C2DC80A8F051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c570d7df92cafcd2336cf3ce87c91d53b29ae22","datavalue":{"value":{"entity-type":"item","numeric-id":2942929,"id":"Q2942929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbeac642d121e381a7cdb9ef23b9b90adf8f7112","datavalue":{"value":{"amount":"+0.8810234","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":"Q5261533$471B41D3-AEE6-4E1C-85DA-08EC90E8E6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa95a76da18aefbe59498be52f6c121ba2a8737","datavalue":{"value":{"entity-type":"item","numeric-id":3024903,"id":"Q3024903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c717ae189e8df13d1ebcd6b6cfb696a62075966c","datavalue":{"value":{"amount":"+0.87641233","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":"Q5261533$2147C9D4-9DCC-4A11-AFAD-0B623E41FE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c013473e7b4cccdc138bb31021c66fd5349a7c5","datavalue":{"value":{"entity-type":"item","numeric-id":4944854,"id":"Q4944854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfebab933d85efe17efb0dfebc155df63457967","datavalue":{"value":{"amount":"+0.8753088","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":"Q5261533$E539AE3B-203C-4083-87F2-73D3223D4FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d17d36a3aeb11d92cf54fa804a22e449a0827bc","datavalue":{"value":{"entity-type":"item","numeric-id":3490933,"id":"Q3490933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87bec192d2cd0879392e0a06b059c91a76cc8730","datavalue":{"value":{"amount":"+0.8751405","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":"Q5261533$4B07BE7B-AD4C-4773-B247-A4632695BFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c864e2e11aecc76e4b679c6d8bf290dd6d7245d6","datavalue":{"value":{"entity-type":"item","numeric-id":4263878,"id":"Q4263878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548cca5cb789ec95c62b546663bd43f3811cc843","datavalue":{"value":{"amount":"+0.87356174","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":"Q5261533$18EC9A29-AFD6-4DDA-85AA-0C5413E17475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a4f2cb7a63b4bf2f7f69e9bc4cce13f6fa3bff","datavalue":{"value":{"entity-type":"item","numeric-id":4499143,"id":"Q4499143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2caffc20ab24afceb7a3b05b97413f22763ecc27","datavalue":{"value":{"amount":"+0.8734832","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":"Q5261533$CEBC5809-C05B-4C8D-93F6-B6181457C043","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261533"}}}}}