{"entities":{"Q4850163":{"pageid":6879743,"ns":120,"title":"Item:Q4850163","lastrevid":46338366,"modified":"2025-12-24T14:38:56Z","type":"item","id":"Q4850163","labels":{"en":{"language":"en","value":"Type Reconstruction for Type Classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 803458"}},"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":"Q4850163$6E38B0D7-7F2A-4878-A02D-02D25BFB3B99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8924903e1fea8b5daaef86978a03b8ed094803f","datavalue":{"value":{"text":"Type Reconstruction for Type Classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4850163$F8940768-CE3E-4BB6-A9C9-840B2AD1392A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b802c271b6c3a871d5d608d428550a728c6b852","datavalue":{"value":"0833.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850163$7D91EC5F-BB6B-4B6C-9FE3-6E86B1CEF3D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e8ccc108c5ce1fe3fed92535568d95264f68c76","datavalue":{"value":"10.1017/S0956796800001325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850163$C453FD54-1AA3-4DAF-A824-7BBE1BCE969A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4850163$46546DAB-744A-43AB-89FE-D10C2E77E2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"223489511b64196527b95b35561ffff391885c10","datavalue":{"value":{"entity-type":"item","numeric-id":4229810,"id":"Q4229810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4850163$8915131D-EBFB-4A7B-83FC-3F4CA833C26B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4850163$316A69DB-335C-4CC2-97E8-C341F4A3D0B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9205536066316df6a0514e17b8a48b30b4f3c56","datavalue":{"value":{"time":"+1995-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4850163$7B151211-41FB-4DF0-B49B-AF3076CB3E61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850163$8FB5ED83-6721-4AB7-B150-94B8A9D00A12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c8f6b145bba80ffb4a11f9ac37f587e654a796f","datavalue":{"value":"803458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850163$2409491A-A1CF-430E-805D-83196FFAAA9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850163$EC13932E-619A-4F7B-85ED-6177CD63AE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850163$A8AEA278-FA0A-4ACE-9F9F-38585AC3C338","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":"Q4850163$44046D7D-B45F-47ED-8BE1-592F3B0CFFD4","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":"Q4850163$DC81E62F-C4CF-4FE3-8B80-50DA7569CFD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1e45f130ca02dd12a6eb6dc136b8e146dde135","datavalue":{"value":{"entity-type":"item","numeric-id":5044772,"id":"Q5044772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131a28c1e17726d0905a529d1e669135aec408cc","datavalue":{"value":{"amount":"+0.8370060920715332","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":"Q4850163$4252D86B-81C5-4B36-8858-18F2E3E4EA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd512fa13fc6ee6e4d29baa2c6f833ce6663c99","datavalue":{"value":{"entity-type":"item","numeric-id":1346684,"id":"Q1346684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c96fba546306e9b1cd1c837394e86a4d87c54102","datavalue":{"value":{"amount":"+0.831606388092041","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":"Q4850163$7CC59EE4-CA61-4D95-A317-037633C14339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ba39ca2035417664e5aaca1ca865f173438de6","datavalue":{"value":{"entity-type":"item","numeric-id":2949205,"id":"Q2949205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ff10837299ed5ff2fb0f2a09be7ed4bbf8184d","datavalue":{"value":{"amount":"+0.82447749376297","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":"Q4850163$A87023E8-41F9-4F3C-BCAF-4ADB1030C574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1d693ede0292cd3f4a921a8c37f98e81015bb7","datavalue":{"value":{"entity-type":"item","numeric-id":1330435,"id":"Q1330435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27dff88edb201efa7d144b7c735b1e64997f9971","datavalue":{"value":{"amount":"+0.8000274300575256","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":"Q4850163$D59B237F-1F75-4D99-95AB-60811DE3FB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1001b7c2981b734c45f1265641b76a86db2dfd12","datavalue":{"value":{"entity-type":"item","numeric-id":5881304,"id":"Q5881304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8e97b48d5ad75fcd17670d75c8e5ad08ee352b","datavalue":{"value":{"amount":"+0.7877357006072998","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":"Q4850163$0072562C-6FAE-451B-9071-0EC9A3B37FC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4850163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4850163"}}}}}