{"entities":{"Q5261263":{"pageid":7290831,"ns":120,"title":"Item:Q5261263","lastrevid":52299863,"modified":"2026-01-21T09:33:09Z","type":"item","id":"Q5261263","labels":{"en":{"language":"en","value":"Discriminative sum types locate the source of type errors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455098"}},"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":"Q5261263$A9147B9C-157F-4162-9A4D-23FA3A43230F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff862aa8f850f7f4a593c14be3b853c4031a1465","datavalue":{"value":{"text":"Discriminative sum types locate the source of type errors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261263$66BE180B-25CC-4825-9AEB-C1F5717FA640","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09162cda08f3f41b0e13a20e7d3e1fc770d8efdf","datavalue":{"value":"1315.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261263$1950ADEF-35A4-4D17-AF3E-82CD6057F1EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79a37385fe754e6f1aa5406b4ed4337d77686119","datavalue":{"value":"10.1145/944705.944708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261263$3CCAE4EF-CFAB-4C62-88EF-7A1E655BB00C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cfdbe2706a752000a253b2fe45745f578cdd58a","datavalue":{"value":{"entity-type":"item","numeric-id":2949204,"id":"Q2949204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261263$4EAF14A2-7FC6-4368-9ADA-73B8288B4968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a50d913d1128f41e9a61785d41010b4144b0015a","datavalue":{"value":{"entity-type":"item","numeric-id":526443,"id":"Q526443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261263$010C98C2-84FD-4DCB-A399-2257C5AE484A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94171c1d9483ba92f553ba0e2b86a3a8cb6d7f94","datavalue":{"value":{"entity-type":"item","numeric-id":5261261,"id":"Q5261261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261263$F39BD1E2-C4CD-4B93-9F54-3171A054B678","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261263$67C8E1B6-EBEA-48D6-A047-F3593088348D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261263$F9584473-254F-4CC4-BF15-19936EB00ECE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a46d21334b5b0e4d258d354c6006532073baa0c0","datavalue":{"value":"6455098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261263$E7198FC8-6655-463B-9AB8-4D7C8E6D21F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261263$0D5DFF89-15B4-413C-9558-F7C43C3A2885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f41ee21a072b234fedc65f827a0a9e9ad0e9f048","datavalue":{"value":"type errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261263$F019D139-E5ED-4034-B669-281EA660A003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261263$5FD0A438-2FFC-4109-963A-82A1DCB4D13B","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":"Q5261263$23C356BC-7D45-4CDF-9989-CE7F89521157","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f826e1180fac2d01172870785041b5913e2b47b","datavalue":{"value":"https://doi.org/10.1145/944705.944708","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261263$0A5CFE4F-C124-4CBC-9849-8EDBF2B44174","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5326cea402cae9496548f3ba450248ca843671b5","datavalue":{"value":"W2056557620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261263$F7BB316D-DC84-4885-AE3E-D58A1F348F87","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":"e4180a965c647d073bd744e7dbdcaa74cc48a3a3","datavalue":{"value":{"amount":"+0.7220872640609741","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":"Q5261263$C3383198-BAAE-4FD5-8110-130D1BBAD9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f351d6c5f4b289e60333fd793f9260b2742332","datavalue":{"value":{"entity-type":"item","numeric-id":1887738,"id":"Q1887738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745b257d16be774406deed1ef29599c86599fd9a","datavalue":{"value":{"amount":"+0.7187070250511169","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":"Q5261263$C953A557-38A5-458C-AA3F-A24F23A4B7E8","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":"77057777c93e23dcded89671826ed255eb10bafe","datavalue":{"value":{"amount":"+0.7093410491943359","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":"Q5261263$00A3DA6C-78BC-453A-AFDD-58D033A378D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469cc44c381301fc438f00d413bff5ce204fabf9","datavalue":{"value":{"entity-type":"item","numeric-id":2981994,"id":"Q2981994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e2cacf8844b41da603875be2d0d2147e8df753","datavalue":{"value":{"amount":"+0.7048431038856506","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":"Q5261263$2994E8E3-0F83-4545-825E-79BF277FFA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdaca1468b0876c390d243a6c73e1144d803aa25","datavalue":{"value":{"entity-type":"item","numeric-id":4577823,"id":"Q4577823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff06706a7dc8e3e9cdbe072c70512f4c02c534f","datavalue":{"value":{"amount":"+0.7014573216438293","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":"Q5261263$B29104CE-5F47-4BF9-85E8-C6537D213EB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261263"}}}}}