{"entities":{"Q2828286":{"pageid":2839024,"ns":120,"title":"Item:Q2828286","lastrevid":42230586,"modified":"2025-06-02T18:34:58Z","type":"item","id":"Q2828286","labels":{"en":{"language":"en","value":"Principal type inference for GADTs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642968"}},"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":"Q2828286$A4CFEAAD-9F62-4F2E-A6A3-61EE027B5BF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c17ace2d6f1a6192f7022024831a9aca2602e94f","datavalue":{"value":{"text":"Principal type inference for GADTs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828286$49E59F91-05D2-4C23-BB5E-B6FDBF9F7617","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7446f6e0b5bd336f5479c8cbdbf0c4bc05e310ae","datavalue":{"value":"1347.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828286$79B2B12A-56CC-42C5-9820-346EB2CC92F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d644176a4c6caf6af2ca1151ddc891f58e396acf","datavalue":{"value":"10.1145/2837614.2837665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828286$07C31FEF-964E-40C6-8A35-5EF5AA541C3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5c28d5d9a694f27c60a3c86bf86978c39e71973","datavalue":{"value":{"entity-type":"item","numeric-id":2819662,"id":"Q2819662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828286$69A4643B-7F18-44F2-9A5B-D9081740CC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53c5b991087c1fbed079fe8d65b7dc7f71226beb","datavalue":{"value":{"entity-type":"item","numeric-id":997229,"id":"Q997229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828286$A3ABF388-3A29-45DC-954A-DC4487AD6B29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828286$B440FACF-537C-47BD-ABCF-F7432C73367F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828286$094F35F7-6DE3-4542-9662-3273E47F9944","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828286$37434B11-B0C0-4059-8588-65364D6C436E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828286$4CE3A19D-44F7-44E4-885D-9F00328A7C70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5249547cc5562c435e26de24c2cd5a586c417482","datavalue":{"value":"6642968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828286$B16E9819-92ED-450F-A660-C0B14D9A28E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a684930cd3e10d668605cb81c9d906189349150f","datavalue":{"value":"choice type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828286$2B5A2197-F7D6-4E01-A362-84E7234A8336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601cfe43b9c2cb795a7d4f7ea9013bfb423f6057","datavalue":{"value":"GADT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828286$3FE8B1B3-745A-403F-A676-441539E2C803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828286$B93DB73B-3411-4EA6-820C-CCCCCE792139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c0e59f84d43b87fdd143c77b6f0f8c406f17897","datavalue":{"value":"type reconciliation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828286$F32E2144-D826-4C14-8956-3B557068187C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf5fde62417bf94b4f5e0683a5600379fdc48a6","datavalue":{"value":"variational unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828286$4C1CD949-8091-43CE-A554-1EC6E92D7BA5","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":"Q2828286$9B168B15-B4C4-4120-98E4-8D616740CAB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"654a0f3921b8d700dfaac2b8ba83ede5d3a9199d","datavalue":{"value":"https://doi.org/10.1145/2837614.2837665","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828286$AC5B3CAC-4B17-4561-8F4B-021EDCD04A23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7888580eb4d784e7281bba9c1f2e8686fbd2aaf","datavalue":{"value":"W2255732237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828286$E4845BAC-18EB-44BA-BF8B-960918EA692B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f60eb72bfbd77468baad6ea1f60803db6da171","datavalue":{"value":{"entity-type":"item","numeric-id":2937793,"id":"Q2937793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68daca0cf1643955fd160e6acf71febb9ebfc00d","datavalue":{"value":{"amount":"+0.9525604","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":"Q2828286$B5B514F6-6B1C-4451-A0AE-8200DA4CAB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980807ce7a8f4a0fa49fa180b5c0c08d532a8d1c","datavalue":{"value":{"entity-type":"item","numeric-id":2936831,"id":"Q2936831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed70780b504150c9b2406fdfe5df7f4a7a06d887","datavalue":{"value":{"amount":"+0.91751546","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":"Q2828286$CF84CC9F-6555-451F-AD9D-6AB83DD3FD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2fa650039ee73eab17a3314b7699f968d08c777","datavalue":{"value":{"entity-type":"item","numeric-id":5385585,"id":"Q5385585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1f944330bd47585f7bed1041d9f00b7d6db10e","datavalue":{"value":{"amount":"+0.9048043","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":"Q2828286$7C2120D6-FF86-42D6-BCAC-0331BAE4D700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abb0949ad5bf144f5d84b6841f1cda23dd2a6a4","datavalue":{"value":{"entity-type":"item","numeric-id":790801,"id":"Q790801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4951907c3c3aef982b31247d9cf7a7427586fcd3","datavalue":{"value":{"amount":"+0.8671248","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":"Q2828286$BC2CEA4C-AC42-4222-92DB-CEB4B18F8DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56116555450514e67920d499a5585dbacb3c81da","datavalue":{"value":{"entity-type":"item","numeric-id":3105096,"id":"Q3105096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11bec991c7220be24370a07b266fc277df9c36b","datavalue":{"value":{"amount":"+0.8670301","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":"Q2828286$8E5722FC-4E67-48B7-99BB-D607ADB38B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e181ab75378af34fffe6f463a6b57aa3df9d58cd","datavalue":{"value":{"amount":"+0.86674386","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":"Q2828286$CC98702E-A763-4D09-BAF0-35B5AE1E4F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f193da7d9d3653a5704cd320c5ba1998c8c99f5","datavalue":{"value":{"entity-type":"item","numeric-id":4737219,"id":"Q4737219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ccdf971aeef8a48b1d2f96b08d19e5e88e7e51","datavalue":{"value":{"amount":"+0.86409795","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":"Q2828286$01EC9AB3-BD5F-40B6-B3DB-07D9506D0318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447c1b5d8173068f83cb35615fab14abaf94f4e2","datavalue":{"value":{"entity-type":"item","numeric-id":3419812,"id":"Q3419812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49285912529daa883a20157d757b913532bc82be","datavalue":{"value":{"amount":"+0.8579006","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":"Q2828286$D44FFC8E-1646-4580-8655-CB78F4F8C09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"979300682b1d50ad4d83803ae3bca4f48bd29971","datavalue":{"value":{"entity-type":"item","numeric-id":5170185,"id":"Q5170185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba736a5a11303f7639208c65c5be0b3c2a2ea66e","datavalue":{"value":{"amount":"+0.8569537","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":"Q2828286$433E5131-A43B-44B5-9FC7-312B5382092F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828286"}}}}}