{"entities":{"Q1887738":{"pageid":1898480,"ns":120,"title":"Item:Q1887738","lastrevid":43395559,"modified":"2025-07-25T10:36:54Z","type":"item","id":"Q1887738","labels":{"en":{"language":"en","value":"Type error slicing in implicitly typed higher-order languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2117395"}},"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":"Q1887738$8DF611E8-863A-4D54-9FFD-D01C6033F6F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1bf4548f769058a59c52beaf7f9422eff46a940","datavalue":{"value":{"text":"Type error slicing in implicitly typed higher-order languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887738$0E2C5354-838B-44CA-9FED-0F2578220202","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ea82a4cad089a9c80a82a67b11f7ba841f44c89","datavalue":{"value":"1091.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887738$F72EBD22-96A0-4172-9D17-38E2CAA7B6C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a7225056087b5a376fd5b50ef580557b21fb0a4","datavalue":{"value":{"entity-type":"item","numeric-id":1887737,"id":"Q1887737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887738$A253EE7C-0385-4CFA-BF0D-81814B447FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887738$B3E47A9D-22D2-47FD-9FF4-F93A64DBDB68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887738$08E02644-12F6-4399-980A-FBCC52568ABA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3f0f81c599b7f3be622e55e11802c61c03707a","datavalue":{"value":{"time":"+2004-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887738$643BF560-19D1-46AB-AF63-551FEC06E5A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887738$34EAD7AB-D90F-47AC-AA65-8EB490DD08C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2bd89aa1d75d4e8dd706a2e951d4f73adb651fc","datavalue":{"value":"2117395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887738$BEB58E26-6BF4-4195-8E2D-6120F9C0CD83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c94ad4c4092989f407b2ff417e0c1dcffb6bc759","datavalue":{"value":"Type error location","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887738$574A5CCC-E992-4125-B47E-852A8EEE373D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"633e7569ba4f54592fed7a09f2422ceed10fa5b3","datavalue":{"value":"Type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887738$63CBE55A-BE4D-46BE-A635-292D73E8695C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"167ad34812cc0a77d450f3853ad75e1e4e9eba7b","datavalue":{"value":"Intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887738$60DEEDF0-690C-4E70-BDFC-62732D054C01","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":"Q1887738$5467BEC6-316A-41F7-9AAC-4F3D8CA029B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e1a450f0f39ea72035e4f2f5e1928318557867a","datavalue":{"value":"https://doi.org/10.1016/j.scico.2004.01.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887738$91E295BE-4E19-428A-AC83-6254312A6942","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aff60fe89151e17d529cbd3413184040df46a65","datavalue":{"value":"W2068336423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887738$9DE660CB-A70B-43EA-A7A7-421B1253E62F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59dac768c2ebf73fa87e820a7207abdc22200553","datavalue":{"value":"10.1016/J.SCICO.2004.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887738$24293F7B-AF20-4DEA-B79F-5D1433C57CAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31cd650e63a5059203f9dd8d39e3fc5a3b9ccfb","datavalue":{"value":{"entity-type":"item","numeric-id":4417900,"id":"Q4417900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q1887738$21296646-D862-42C7-B292-1E34DCA23B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1bd551d603c6156c514709267c2f13005e0902","datavalue":{"value":{"entity-type":"item","numeric-id":1815347,"id":"Q1815347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1430ba54109c0e02532b5d5bc9dcdd1b346597f","datavalue":{"value":{"amount":"+0.85068697","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":"Q1887738$E9A5AAC5-661C-4095-B115-9669C5F2A1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397c38a9868f465fbcf07b5234988bde88af0322","datavalue":{"value":{"entity-type":"item","numeric-id":5178009,"id":"Q5178009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17df13d176ffa10cc55eb56ebc758befdbd33d2e","datavalue":{"value":{"amount":"+0.8357039","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":"Q1887738$F15CC710-73B2-485B-9124-8CB4BE4F6A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce69a89bfb9d6e9ac26a02aed74fe75d57646f2","datavalue":{"value":{"entity-type":"item","numeric-id":5408451,"id":"Q5408451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c680bbb3efd217c64861fc210258c1b69b4b2f65","datavalue":{"value":{"amount":"+0.8325015","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":"Q1887738$CDDD9C8B-40E6-4FA3-AF81-928896266425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c4bd4b6f88f4e18e4c13ac28305ca85fc565c0","datavalue":{"value":{"entity-type":"item","numeric-id":507365,"id":"Q507365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340b0a50107b7102f90d9bc74621bef93ce79fc8","datavalue":{"value":{"amount":"+0.82858634","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":"Q1887738$6BE8C1CD-ED5E-466A-9292-C105E68AEE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cd7d190599ebc409075ca51335d43921d09357f","datavalue":{"value":{"entity-type":"item","numeric-id":5501457,"id":"Q5501457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6bef3120548d94fbd09504ab62253c3a181ded0","datavalue":{"value":{"amount":"+0.8271746","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":"Q1887738$131496B2-E3FE-44C2-9195-105B9CD6B7A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1887738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1887738"}}}}}