{"entities":{"Q5385585":{"pageid":7415159,"ns":120,"title":"Item:Q5385585","lastrevid":50350568,"modified":"2026-01-13T21:12:57Z","type":"item","id":"Q5385585","labels":{"en":{"language":"en","value":"Principal Type Inference for GHC-Style Multi-parameter Type Classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5271789"}},"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":"Q5385585$B7D931B8-799B-4213-A078-C391F5EFBC9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74589d4eba2b9dea31054466aada8f1d9ac43c65","datavalue":{"value":{"text":"Principal Type Inference for GHC-Style Multi-parameter Type Classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5385585$E1952F97-98C9-48BC-95BA-7E55FF00EB6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4872c7f9651357676f78771394db76426142efd4","datavalue":{"value":"1168.68367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385585$CBE9643F-D30A-4782-8662-0460615F61D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"431732bbd72f2e7dbdba9f1d09741445f5c847a1","datavalue":{"value":"10.1007/11924661_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385585$36D37408-94C3-459E-BEB1-8DA72547D37E","rank":"normal"}],"P16":[{"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":"Q5385585$A22C60D9-8B59-4E5F-98EC-DD451D67AAF4","rank":"normal"},{"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":"Q5385585$9562F7DC-9911-442A-BE20-5F05B5DF4853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385585$80204B8A-FC81-4716-8682-D09DF28CA956","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385585$5838E77E-058E-451E-A11A-EFA6CE194FF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93fa65317d5f6a1c57db571a35c69b79f79eaa4a","datavalue":{"value":{"time":"+2008-05-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":"Q5385585$29AA6F1C-2D1C-451C-8612-D5E3CD2954AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af6e83ca3e36ba3d0e25dd39e772b80dbf99863d","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/131526","type":"string"},"datatype":"url"},"type":"statement","id":"Q5385585$DAA027A4-322B-4B89-98D9-4770338FC5A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385585$7538D24F-05DE-4A34-9BB1-9E3C65E1F9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385585$C80B4BE4-0621-4028-B81D-BE64743F2ECA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c4622032e309e6961f11fdb9922fdc24523b338","datavalue":{"value":"5271789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385585$11C1B508-7105-488C-9732-CEEF05FB59BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385585$1F372721-6DD9-4E7E-8D7F-D79F6EC6FF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385585$CB3BAA7A-1096-4522-BBF5-41DDBA2B38A6","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":"Q5385585$4C329A85-4FAF-45D6-80A9-74F931FBEFB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"807282d87e3d379f3385bcb2fee867845546ecd2","datavalue":{"value":"W1539860096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385585$87C2A019-A5EA-40A3-B6C2-C5A4BA9296A4","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":"ec59a63693813abd9cce29117b8d067d73fc9ed3","datavalue":{"value":{"amount":"+0.7872920632362366","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":"Q5385585$626D200F-7CE7-40E7-9873-A106CFDD610C","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":"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":"Q5385585$202D016B-E061-4CDC-A461-44284C44CDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0805e9ba1d87120caefaafb8bf345dd63dc71dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4850163,"id":"Q4850163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13af530d68efbcb125ec0a9647dc1842cb02735c","datavalue":{"value":{"amount":"+0.7626935839653015","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":"Q5385585$4ED85049-B372-45C2-99BA-1D96850C4A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dce16b1ac526cf17e433e4de33edc0b9d418d21","datavalue":{"value":{"entity-type":"item","numeric-id":4331136,"id":"Q4331136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66af6ec935decec0660f661d48e648b2458756ce","datavalue":{"value":{"amount":"+0.761340856552124","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":"Q5385585$8BA93782-5896-43CC-8210-02727A83E45A","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":"5dc7edcec0b3b7255c0c35cb0ec86cb81c48d0df","datavalue":{"value":{"amount":"+0.7597395777702332","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":"Q5385585$E6444CAB-04D2-4320-87AF-712B8AC00D11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5385585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5385585"}}}}}