{"entities":{"Q5408451":{"pageid":7438025,"ns":120,"title":"Item:Q5408451","lastrevid":51972131,"modified":"2026-01-20T16:09:26Z","type":"item","id":"Q5408451","labels":{"en":{"language":"en","value":"Counter-factual typing for debugging type errors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282453"}},"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":"Q5408451$E6FCBBF6-E616-40AC-9DE4-4CFD457A515D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a54601198f298565a590274c7cd06668c704d56e","datavalue":{"value":{"text":"Counter-factual typing for debugging type errors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408451$BE3599B2-36C4-424C-B64D-07E3C9E255C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24e89768eb011b0df7475fe1b9ddd148f05eefd7","datavalue":{"value":"1284.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408451$069E61E5-1937-484F-B1F7-D6F733E55C09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e27f296b0eb4657b0f32e6664858d67086a18e30","datavalue":{"value":"10.1145/2535838.2535863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408451$2C976DCC-E319-4005-9B4D-3072D409EE61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5c28d5d9a694f27c60a3c86bf86978c39e71973","datavalue":{"value":{"entity-type":"item","numeric-id":2819662,"id":"Q2819662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408451$455D9941-7E58-4F42-BB42-D498130E881F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53c5b991087c1fbed079fe8d65b7dc7f71226beb","datavalue":{"value":{"entity-type":"item","numeric-id":997229,"id":"Q997229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408451$49954936-DCC9-4EE8-BDA8-8108E7954C05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408451$0824F538-5DFE-47D7-A68A-B06C9B3AA3E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408451$DA1AE149-FCD6-4EDE-A3D6-742D4BBE8B37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408451$7320BC56-5DCE-4865-96D2-BDEECACA0647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408451$A55C1FDB-E8B3-4FA8-92A7-DB8817600875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408451$00AAEF24-F3A1-49B8-8A2E-45F4E514FA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408451$DCCE3475-9672-4FF7-924D-6B411F4FFF00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d125d816cd06d1aafb5d9b388a30fab466e8962c","datavalue":{"value":"6282453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408451$7F4C023A-CD1D-4D5C-A218-EDAA10E377A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89a4c0b6d8347438c4a31a8ca0f7e99ebfe05861","datavalue":{"value":"change suggestions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408451$4CB88D4D-B86D-4079-9F38-3A3E49A5ECC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e9dddf33fe358ca187ffb4c024d11a1e71e3eef","datavalue":{"value":"choice types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408451$B269E17E-EBE7-476C-A500-8FFB267B824B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01c39b89189f632ded88a6e3e1af5f7c3669c92b","datavalue":{"value":"error localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408451$F436F0D6-ABBC-4A44-89CE-3D3B4F7A2933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a50218067a297b77cb49901f5535a8fb3077d9","datavalue":{"value":"type error messages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408451$8A82F1F3-B8EC-4A2C-BD1B-84ACAF3A751E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408451$C31342DC-60C8-4C32-B608-503B87892663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e3da6351a1596845871d3919048c4a2430df4ff","datavalue":{"value":"type-error debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408451$E66B509E-336B-4F2A-828C-D07100D42E2B","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":"Q5408451$0C8DD3E6-9D9F-4BA1-B1AF-E7E40F41693B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ace4e8a0e6fdf16882310b7a8fd601ae60c6bcc","datavalue":{"value":"https://doi.org/10.1145/2535838.2535863","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408451$91223A65-D98B-47A0-A3D0-BFF162AD06DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2651976539abbd0f10b37ab5abeed1c100ebb88b","datavalue":{"value":"W2011725693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408451$A603CA69-8C3A-4099-93CE-D7DFE3D05F53","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"de9d6e1a5168d5d6318c30e7511019651a135305","datavalue":{"value":"Q130989693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408451$FE2C31EF-510D-4B73-BE14-124C6F8F77A9","rank":"normal"}],"P1643":[{"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":"ae3bd287a695e3f4b8b7f903557a54fa6aa2b956","datavalue":{"value":{"amount":"+0.8560336828231812","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":"Q5408451$B2FCB181-7A20-41E1-8CCE-32E39AFC3912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee8a121b4b85dce3e2f5f07b567ea59798ed2f9","datavalue":{"value":{"entity-type":"item","numeric-id":5170701,"id":"Q5170701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab18802a999776a07fa1469080c2643b87092ae","datavalue":{"value":{"amount":"+0.8255950808525085","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":"Q5408451$6AC17FFF-84A1-42DC-BA62-55793692F51E","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":"671fbe7180504954707378fb6f560fdcf175a5f6","datavalue":{"value":{"amount":"+0.7367814779281616","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":"Q5408451$B22775E8-AC0F-4014-8CCE-E2D1ED02E10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c04f74153475f0deb12a27e220ac7999976dbb91","datavalue":{"value":{"entity-type":"item","numeric-id":2985773,"id":"Q2985773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802f8be0353c83565453c7c48dcc2d8f46562a2d","datavalue":{"value":{"amount":"+0.7361755967140198","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":"Q5408451$8C7C90AE-ADD1-44BC-BDBE-06BD9EA130F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944593d6d0f8976c7f1734e4664cb9b793c2c398","datavalue":{"value":{"entity-type":"item","numeric-id":1648891,"id":"Q1648891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba9dbbb9c46d5178febf09ff67072f72f76e658","datavalue":{"value":{"amount":"+0.73209148645401","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":"Q5408451$29DDDFEB-68F7-44AD-A8A8-53C7D5CB2D1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408451"}}}}}