{"entities":{"Q2936831":{"pageid":2947551,"ns":120,"title":"Item:Q2936831","lastrevid":80001185,"modified":"2026-05-06T15:12:44Z","type":"item","id":"Q2936831","labels":{"en":{"language":"en","value":"Complete and decidable type inference for GADTs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383968"}},"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":"Q2936831$7A271C9F-F14B-4120-B078-9D0FDA362ADF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e7cb61f48770b530cc36bc62ed3fd9ea40a4753","datavalue":{"value":{"text":"Complete and decidable type inference for GADTs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936831$51A3C7D8-6FA9-4E36-8F31-7D65AB148124","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50d0631855dd67e2a282a55881958eb82ee1d9d7","datavalue":{"value":"1302.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936831$832BBBCD-7FA2-4CCB-8140-9342542E32AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa6e37f38ccc2aea5ee19f19c46a9d430c061449","datavalue":{"value":"10.1145/1596550.1596599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936831$B5CCE141-900F-4139-92FE-0557B8BE90F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9310327fb280e8510025a221163e66f379344f4","datavalue":{"value":{"entity-type":"item","numeric-id":487656,"id":"Q487656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936831$7DFD774D-056E-47C4-AEC4-92B97DE6E668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076d15404ba892d1a4e6d8a1fb0f94521495e82f","datavalue":{"value":{"entity-type":"item","numeric-id":1623114,"id":"Q1623114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936831$4EAC322A-06DC-4C75-9FB9-A55B7F32499D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4ed8098789870ad70d41231e22c66ea8deb02e","datavalue":{"value":{"entity-type":"item","numeric-id":2819689,"id":"Q2819689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936831$FDCCE3E9-DB98-40F3-A073-6E89C9DC4D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1049de561e4e0575c7855d0da60607e65f900396","datavalue":{"value":{"entity-type":"item","numeric-id":1818317,"id":"Q1818317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936831$E9E3472B-1D25-4AD5-9FF5-8323DB1656C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"304e11f28f1f8f9fec1b2f20c4f059e0c713c531","datavalue":{"value":{"entity-type":"item","numeric-id":2936796,"id":"Q2936796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936831$405D3724-222B-438F-9C8A-F02A9831D507","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936831$FFE3D257-6D30-4581-93AE-235DFCFDACCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936831$6953E400-A07A-42F6-8B99-6C9E0F2CDC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936831$43EFB53A-663C-4753-A98A-982ECFA7824D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff4f67db8045c4877ff244eb7d679e4e7feea68e","datavalue":{"value":"6383968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936831$09AB4704-6E2B-4C17-8498-D9B1A2948410","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcb3bff1dcbcf34e0c496835c665383873d52e3","datavalue":{"value":"GADTs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936831$6E6F045B-04F3-49F2-A99F-8A254AD61575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936831$CDD386C6-10F4-4826-B6F5-34B10AC46EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936831$6C7112D5-E2B3-4460-94C3-CEA9299A474D","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":"Q2936831$6773E794-1248-44BD-AA4F-CE3308FFBF90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbe81c41dd3f105fad588be69e3eb8c796a61f48","datavalue":{"value":"https://doi.org/10.1145/1596550.1596599","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936831$2CB4452C-60CA-434A-B006-D241EAAE7ED3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6915679bcfdd8dc59a7c1bc398a6f2245e9036a2","datavalue":{"value":"W2154390633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936831$812515DA-F7DF-4F7A-8748-F6013514AE92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d654042debfe05ad206d8c9d05e83e0dead0622b","datavalue":{"value":{"entity-type":"item","numeric-id":2828286,"id":"Q2828286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5b624bb76bfffe6528ffca4570667185773dd9","datavalue":{"value":{"amount":"+0.8754398226737976","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":"Q2936831$FE3C549F-144E-49AE-8718-A2028BC1B8F1","rank":"normal"},{"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":"5f1194f4460a1ce42fcd82dbb58d8cfe842b59b3","datavalue":{"value":{"amount":"+0.8249256610870361","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":"Q2936831$3E7D0CD2-4CF4-4F6C-8652-AAF3DE5BBDA5","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":"7d31cd19def4c6bfe12ec962b09f1315ab22294a","datavalue":{"value":{"amount":"+0.7856966257095337","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":"Q2936831$9532180B-467E-412A-ACB6-2769D14B7612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356139808c2309546ffdce508796fac4d40527f0","datavalue":{"value":{"entity-type":"item","numeric-id":2151281,"id":"Q2151281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8626bbf346193dfec1fc9e16bfc81f03720230f","datavalue":{"value":{"amount":"+0.7790573835372925","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":"Q2936831$30DF7E63-F828-4752-B716-2E0A923CAC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0166ea4061ac2a0c3bf47b3385cb710bd3f786","datavalue":{"value":{"entity-type":"item","numeric-id":4918240,"id":"Q4918240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39c1ca11f98405a1e3e0843bc5b836dcfead05a","datavalue":{"value":{"amount":"+0.7757571339607239","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":"Q2936831$6639BE83-7D62-4DB3-A718-55B8A00EF82F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete and decidable type inference for GADTs","badges":[]}}}}}