{"entities":{"Q4993354":{"pageid":7022931,"ns":120,"title":"Item:Q4993354","lastrevid":54021866,"modified":"2026-01-26T02:51:26Z","type":"item","id":"Q4993354","labels":{"en":{"language":"en","value":"Call-by-name gradual type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359420"}},"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":"Q4993354$B04FA631-4257-4DB0-BFC1-31E7EE54D201","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb98f334a061e98a98776d92eca5659e7c506398","datavalue":{"value":"1462.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993354$4E555AA4-C7AB-4DE3-9950-87F31D1F3B3B","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":"Q4993354$DC7BAE30-9673-4CDE-878D-8B5083B14A52","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":"Q4993354$C6358E79-B9ED-4B2F-8D96-FB02D8575651","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993354$96BF9DE6-4BAF-4CB5-91AB-322CCF260783","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993354$F7DEB945-E354-4843-A95B-A956A8E04992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993354$7AA10060-9D76-43F6-ADE3-6B4065377189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993354$A91BBFF1-AAB2-4DDC-98F3-F5299240339D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993354$91EE7CB3-5CB9-43DF-A3CA-F1CC66AC7DEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fccca331e2db2e419d99660709b903eb2c0f8fe0","datavalue":{"value":"7359420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993354$B47BFEF3-514D-4A24-9100-AEFCE4EF6628","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4e0bc5faffc67d703b6981d666bbf90aefb75a","datavalue":{"value":"gradual typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993354$71C619D0-8488-4029-B230-FBEF342F3BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993354$BCF0E3A3-B3DF-43DA-B5B3-238E6480EEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993354$F053BF2C-4919-4D24-A82F-15D0AD9F5464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993354$126E9BE2-E183-4103-A209-478E87D23DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993354$26C14A96-E786-4FB5-843C-5EA1C63355F9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65003e806d0207901b47e38b13875ab3442abde1","datavalue":{"value":{"entity-type":"item","numeric-id":33504,"id":"Q33504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993354$E35F87C3-9852-4B3F-8DC6-7643B136D6CC","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":"Q4993354$FBBABD56-AF7E-4C67-9408-A57C54DD34D2","rank":"normal"}],"P223":[{"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":"Q4993354$811D29DD-8737-4E2D-A339-FEE989CE27CC","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":"Q4993354$75A3B137-DB54-4A50-9562-86D3308F5160","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":"Q4993354$586F0306-3D8A-4EF6-A66E-03B34ED8D529","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":"Q4993354$F0D91C74-C163-44E5-A827-EBC7B674762B","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":"Q4993354$9AD678D8-86D0-4260-A754-BB760FEE5DC4","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":"Q4993354$8D87DA6E-E8B7-49DE-BFD0-2CC3349DA2EA","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":"Q4993354$E0CACD52-B491-4FD1-995D-598AB02F410B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20fb7c48e77808fbfcb67d3d7a940b105d55c505","datavalue":{"value":{"entity-type":"item","numeric-id":2936811,"id":"Q2936811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993354$9A9803DA-30DF-45FA-9EAC-2A64DBDD3F12","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":"Q4993354$F1B5716C-2BE2-465F-ABEA-55A6D0042368","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":"Q4993354$795F04AF-EE68-4835-B044-BA1EEEA4E4DB","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":"Q4993354$15406240-659B-4A0C-B440-3AA9717B40A4","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":"Q4993354$1E7D6CE1-BB8D-44B5-9C92-16215CF8B490","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":"Q4993354$26CF5AFF-347F-40AD-B1FD-ACAE758D852D","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":"Q4993354$525EFD2C-CEFD-4985-8A43-A0D0C8CDA463","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":"Q4993354$E459F2C8-F89C-4FA6-A459-5092F127DA27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f21a44af9502251b474068ea4a552b66a257eaa5","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSCD.2018.24","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993354$D8674AA9-B9BF-4960-8E25-C9489F5AC932","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53b14c29830125830313d41151789e6d30919ad1","datavalue":{"value":"W2963037676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993354$A270A058-D069-4498-BCD2-DAFC2A7D274B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18b33eea1b352865627d3365aee551c58a29ca74","datavalue":{"value":{"text":"Call-by-name Gradual Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4993354$6C1DC2B8-DCBD-4D8B-8B9A-07ED4669DFBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50995ebb01d68720f4da4a692f4c2ce7f103198b","datavalue":{"value":"10.4230/LIPICS.FSCD.2018.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993354$9F10F7FA-B64E-4F0A-BA2A-7E3F9A207C3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"820ef747b8b3e767cc3ce9504b2046c75e31c04b","datavalue":{"value":{"entity-type":"item","numeric-id":5214814,"id":"Q5214814"},"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":"Q4993354$E61F5241-F74E-41B1-8E36-38B3A79E51F0","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":"980e3a94741fce3fc1ea0dbf485db0d08ebf17b6","datavalue":{"value":{"amount":"+0.8653644323348999","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":"Q4993354$0DCCA066-43FF-4609-AD93-2E99DF798B6F","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":"59219cf7bfbe6d61d7272db1ad6f690e453d97bc","datavalue":{"value":{"amount":"+0.7760005593299866","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":"Q4993354$39217F97-DC17-46F9-9D0B-89907D78998A","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":"83b9b7aa0bffd92e02b1b2deabcd86b3e9badc15","datavalue":{"value":{"amount":"+0.7416737079620361","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":"Q4993354$F11E4F5A-149B-4942-A79D-48BCA17295FF","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":"c66f16606a4693cc0f98baa91c0ada3a58b169fd","datavalue":{"value":{"amount":"+0.7380883097648621","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":"Q4993354$78A2EF89-A91A-4034-9664-2C76811A9D87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4993354","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4993354"}}}}}