{"entities":{"Q6124962":{"pageid":13259269,"ns":120,"title":"Item:Q6124962","lastrevid":102378224,"modified":"2026-06-06T04:19:00Z","type":"item","id":"Q6124962","labels":{"en":{"language":"en","value":"Encoding tight typing in a unified framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7830383"}},"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":"Q6124962$2DA0FA32-BC44-4D78-9FA3-DBD4CE6F495A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124962$92A8E474-4033-433D-9CE5-904296A5C0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94b2106c60d9794103faba19f8cba05fb6a81293","datavalue":{"value":{"entity-type":"item","numeric-id":1652985,"id":"Q1652985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124962$F292C2E0-EE58-4DC8-A481-D4D8661D808E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0aaef9e7e62e4d5052aa36b93d814a95d302adc5","datavalue":{"value":{"time":"+2024-04-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":"Q6124962$86F051DA-40F3-4581-8847-827497D6B9CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89ff2f54ac69c9f152e2d360170a50a5465c1cea","datavalue":{"value":"https://arxiv.org/abs/2105.00564","type":"string"},"datatype":"url"},"type":"statement","id":"Q6124962$2FE3E531-E46B-4A28-9004-51C9F74C5858","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124962$AE40E6EC-1074-4E8C-A5B8-42B7FA459A81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73793775d3d6330e5b13faec694d56c4e772e7f4","datavalue":{"value":"7830383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124962$3F200D3A-81BE-48C6-A952-611CAD31E73C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fb84930e1ac9108ddd697c730f78d686fc511e","datavalue":{"value":"call-by-push-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124962$56F46B3A-F6F9-4DCF-A90A-5C721A43A4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5449286be9f1a133f2f29d1fa390a5e3e7749238","datavalue":{"value":"call-by-name","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124962$421C4516-9D19-4CEB-B985-901E7B2481BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124962$9DC53DE1-509B-4A7E-BAB7-E550A7A82280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124962$EA13F5EE-6DC4-4EE4-B004-97987755825A","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":"Q6124962$03559940-B2A7-4D6A-9ABE-F71B87955D00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9023442a1d15cc9c57be6d668c860c513dd53047","datavalue":{"value":"10.4230/LIPICS.CSL.2022.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124962$AD37D64E-66A8-4073-B708-514F9E9776C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8aec5cf497c6441690a8319325eee2e4d847b4","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b497dd39f600a6bc13299a2220297777f91e00","datavalue":{"value":{"amount":"+0.7141641974449158","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":"Q6124962$9E52C86C-3603-4B08-9E1A-7AA2091B924A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c74a4d3c5fbc369e46219342dfc7dc0794b6065","datavalue":{"value":{"entity-type":"item","numeric-id":2039931,"id":"Q2039931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799632998d62f6cb6f4f023674beceb4887e72ff","datavalue":{"value":{"amount":"+0.7115710973739624","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":"Q6124962$DCDE9097-276A-419E-8550-6D76ABE317EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6b93420c7e2994d0369ec226b714f70e548b4f","datavalue":{"value":{"entity-type":"item","numeric-id":4417863,"id":"Q4417863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d51967a2cca206d04ade5c596db89db5fe1cfc","datavalue":{"value":{"amount":"+0.7095843553543091","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":"Q6124962$0672291D-3BFE-433E-AB1C-51BC79012A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1dc745356b1a1c28b33f742a49430b5640f412b","datavalue":{"value":{"entity-type":"item","numeric-id":6070792,"id":"Q6070792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f52f6d3221a62c1b6f9660b987dd26c232e3ce8","datavalue":{"value":{"amount":"+0.6915952563285828","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":"Q6124962$A2FB5EB8-403E-45DA-BFAE-95643660ED19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding tight typing in a unified framework","badges":[]}}}}}