{"entities":{"Q5214814":{"pageid":7244384,"ns":120,"title":"Item:Q5214814","lastrevid":58477428,"modified":"2026-04-05T09:39:31Z","type":"item","id":"Q5214814","labels":{"en":{"language":"en","value":"Call-by-name gradual type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7163280"}},"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":"Q5214814$36420838-CE76-45C3-882C-FD43170E0487","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00ab26b108e66d4a201bd02066ba05d4959d797e","datavalue":{"value":"1442.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214814$2210A22A-D7FE-4122-95CF-A4595045A5B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9023456920f3725fc5e923a1a4f7ca676bf7411","datavalue":{"value":{"entity-type":"item","numeric-id":1652974,"id":"Q1652974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$F7A68DAE-629F-4682-A0F9-9D70EF294519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca9b760f000d29c53be76803a4c9934e343535f2","datavalue":{"value":{"entity-type":"item","numeric-id":2819683,"id":"Q2819683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$750492D0-FB69-4A2D-97D1-13C3D6366129","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fd6773eb39a2e4f69da6f4fd97619a5587c8913","datavalue":{"value":{"time":"+2020-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5214814$D430CCD9-D3F5-4CE4-B1FA-23ADB9F12F12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7555894e0856b0098998ff031a5d3558a6e63887","datavalue":{"value":"https://arxiv.org/abs/1802.00061","type":"string"},"datatype":"url"},"type":"statement","id":"Q5214814$C7635ED4-E865-407D-ABFE-2273E468233A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214814$7C67197F-0D28-4530-AC49-129A3BE94107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214814$76D555EF-E3CC-4C38-9F80-F32F6B01CD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214814$BF3EFF45-2BCB-4465-8AD5-3066A4C18C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214814$FA47A58F-4664-4D74-95EC-FB81D04EAFF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"511f4145d95ea5a04043cd241c3f4054820724f6","datavalue":{"value":"7163280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214814$11859EE5-2F89-4D3A-A374-ABE86C3232BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4e0bc5faffc67d703b6981d666bbf90aefb75a","datavalue":{"value":"gradual typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214814$B65ED8C2-F586-4E76-A4CE-85F15B38A524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214814$33C5EB99-D4E9-4696-98FD-E9ECBCA14CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214814$55D3663C-6C49-4CCD-829D-E20A35C9C415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214814$F8B31FEF-2ED3-4B00-9EA4-367AE9730651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214814$BE7C1499-9FF4-41D5-8AF1-AAD04207BCCA","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":"Q5214814$B6AF65AD-53DD-4CFE-99D9-BBA2EA542E95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f6c64e8902b7cfed33299c39513f7e285c6df3","datavalue":{"value":{"entity-type":"item","numeric-id":2811331,"id":"Q2811331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$00A438EE-E59C-4CE9-8DA0-F68BD607721E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f8553a922d4176c17b1d8e1d4da117af4cfb9e","datavalue":{"value":{"entity-type":"item","numeric-id":2819692,"id":"Q2819692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$264094EF-1265-4CD3-A86B-B2076C12C7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0b3b467ba921411b581ce413e35022c70138af","datavalue":{"value":{"entity-type":"item","numeric-id":5370913,"id":"Q5370913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$8145B760-649E-4511-83E2-6F0BF9636978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacc4bdf3a47a1007e4050f3b70edc903b082e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5200289,"id":"Q5200289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$2FEDD869-E8D7-4CFC-9902-599AFFB7AC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bab223bf4257bc48f24f8af6630fa5bbbde2d6","datavalue":{"value":{"entity-type":"item","numeric-id":4577812,"id":"Q4577812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$CD5BD560-32ED-4167-B778-558138F283F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c25193fb09fa49aebb1aee33ff2d3fa28fae51b","datavalue":{"value":{"entity-type":"item","numeric-id":4038658,"id":"Q4038658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$84F105A7-EED4-4886-B7D7-D336EA07971A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b20214f4c047144aa0c807c908e134787a9081","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$F8983FD9-9B6B-4886-8931-889C12CF0A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc19332e98e54875e1f504e123420bff5e44b6","datavalue":{"value":{"entity-type":"item","numeric-id":2828288,"id":"Q2828288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$8570DFAA-37AF-44A3-AE71-26ECD16ADFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1be44fca92651157a6f097c2181a77e2a6d5d7","datavalue":{"value":{"entity-type":"item","numeric-id":5971398,"id":"Q5971398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$9466F1AC-4E5C-4B5B-A4D1-05D1DDB60036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddc19db3a580a1f11bd661df24f3defde199f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1330433,"id":"Q1330433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$FC0E44E8-B972-4B96-907D-ECBFF7695A3F","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":"Q5214814$27BF96FD-7634-42CC-ADA5-D248DA3631DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5404f54b5080d985d02bc43fda9074545348d87","datavalue":{"value":{"entity-type":"item","numeric-id":5370912,"id":"Q5370912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$77794172-550F-4D1F-8824-496EC319C0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$EDFCFECB-08EA-456A-9E95-38D343294871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$E890525D-5BE7-431A-A3E9-63B918D2E141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffba66aee5604fd5e664bccedc70519627150ce2","datavalue":{"value":{"entity-type":"item","numeric-id":5458383,"id":"Q5458383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$7371E91B-4385-486F-BF89-4B02EC422128","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":"Q5214814$B90443A6-5AA5-4F7F-909A-3D75101BCC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc0a33ff69620d1b90ae9905e85928abf867e06","datavalue":{"value":{"entity-type":"item","numeric-id":5214814,"id":"Q5214814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$9D8A8F19-ECD7-48B2-A21B-C80F9806D1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3683459034a240002f90c09e2ba2fe76d0cfbd1","datavalue":{"value":{"entity-type":"item","numeric-id":4369880,"id":"Q4369880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$C327EF0F-01E4-47BE-A3FE-1E7D66B0D971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880dd2d891bee7d89376be3d87fc756a3f8aa32d","datavalue":{"value":{"entity-type":"item","numeric-id":5144660,"id":"Q5144660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$BBCA0CE8-2003-49DD-8EEB-8D9347B546AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$A1D555AE-F04B-4FF2-8060-F7D1E1B50836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$CEC60F8B-4264-45DB-BD30-A170AB34A043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad36ee1e9b536ba43cedd35d7459acb4e4a8d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$62D83574-A004-4C82-9194-CA41579385F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$B094B23D-0FDD-4E08-B481-11F278346DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2241543a9b0ee1abcdce98666f228817f77ee4e7","datavalue":{"value":{"entity-type":"item","numeric-id":3646422,"id":"Q3646422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$9CC6CB5D-6F3A-4AD2-A618-03F03DBC1AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667264333fa5eb950251f22ecbe17fcc89bd1319","datavalue":{"value":{"entity-type":"item","numeric-id":5255094,"id":"Q5255094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$3065C779-3327-48AA-A33B-7D0C3E6E8D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$288292C7-8AFC-4A53-8513-031F2D9BB53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dccdbb6fa19cb81346a7b093ebc4768c7c2f275","datavalue":{"value":{"entity-type":"item","numeric-id":3189858,"id":"Q3189858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$8382A942-5349-4F8A-8C21-A1173FDA1DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7c029f60dd8fb863b45f48e88e0f72112f016b","datavalue":{"value":{"entity-type":"item","numeric-id":3617686,"id":"Q3617686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$86F18EF6-C69B-4565-9835-53E63F3301AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a7aff6e64c6e39cf93d6bf6ccc57f34e2eb209","datavalue":{"value":{"entity-type":"item","numeric-id":1255084,"id":"Q1255084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214814$836B3FF5-9905-4521-B4FC-BB5CBEA6D42B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c597623f058ee4c5eb42b8393930cd26849806","datavalue":{"value":{"entity-type":"item","numeric-id":4993354,"id":"Q4993354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25c2a877eb34470ac03eb2a626582b40fca47f0","datavalue":{"value":{"amount":"+0.995806872844696","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":"Q5214814$DA67F220-5A5C-4EA8-B99C-FF38C2FA6832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d562c7168370a90bfa8dfd3309d82801b7bf975f","datavalue":{"value":{"entity-type":"item","numeric-id":5019016,"id":"Q5019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63dc270a232f4dab66af439ab3f9ad44cf3f5618","datavalue":{"value":{"amount":"+0.8663253784179688","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":"Q5214814$A368896D-43EB-4CD7-92BE-82D548B41EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73981eb38eb59fd0b5c5dc5b0422ae0a725913b","datavalue":{"value":{"entity-type":"item","numeric-id":2828288,"id":"Q2828288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a05e313c1192cfbde7ae6cf19e10d2cc655edc","datavalue":{"value":{"amount":"+0.7728545069694519","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":"Q5214814$934EF072-B1F7-43DF-93CC-0324FD2AC32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5e94a974ead77f0a3fa2571ab3cd2444b6b787","datavalue":{"value":{"entity-type":"item","numeric-id":2802447,"id":"Q2802447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51866107315311f2bc0bd61f33b5442d239735f","datavalue":{"value":{"amount":"+0.7384238839149475","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":"Q5214814$E8B1F6A7-7D40-464D-968A-D7B210E49ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cffe7062c6bcfd0f6bfaa47f0513ff55c71362fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819815,"id":"Q2819815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b82cb3f3734622b31a5fcf63545e3a573cd23687","datavalue":{"value":{"amount":"+0.7319921851158142","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":"Q5214814$07EF4F34-70E7-4F82-A274-04E19633DCF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5214814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5214814"}}}}}