{"entities":{"Q5178009":{"pageid":7207581,"ns":120,"title":"Item:Q5178009","lastrevid":52220270,"modified":"2026-01-21T04:40:24Z","type":"item","id":"Q5178009","labels":{"en":{"language":"en","value":"Compositional explanation of types and algorithmic debugging of type errors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6413025"}},"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":"Q5178009$180CFCCB-9C7B-4C3E-99C5-AFAEAA2505F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce23e350b0d969f56e610eedc96dc2d928b6b36a","datavalue":{"value":{"text":"Compositional explanation of types and algorithmic debugging of type errors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178009$FF9EEFF8-66E0-4320-9956-618F92B567C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78a130f7ceba7e94c1011c96b8a1cbea75b3d5f3","datavalue":{"value":"1323.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178009$EAE353FA-1583-4B5B-98C2-06F41063C010","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fe1f0348916058e773133fbdccde15676879431","datavalue":{"value":"10.1145/507635.507659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178009$8F6EF08E-1120-435B-A61D-3639E52F97A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4af702cde1c42a932846a4c22579ba0dd7dbf057","datavalue":{"value":{"entity-type":"item","numeric-id":1648890,"id":"Q1648890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178009$E7006D2F-F718-4621-91C4-439F9E3A1C0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd86859d60e649fdd106ef1f83b0483a4ef8f324","datavalue":{"value":{"entity-type":"item","numeric-id":5177992,"id":"Q5177992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178009$5DFE1F9F-93CB-4B35-BFDE-C8E6A5D654C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19529df7d3312773fdd8684f0485c293d53ec310","datavalue":{"value":{"time":"+2015-03-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":"Q5178009$D3FE12E9-6A35-4201-A592-8BDCE6DA6E59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f8908a52b47e15951faa03ffde38c99ba936749","datavalue":{"value":"https://kar.kent.ac.uk/13568/1/compositional_explanation_of_types_chitil.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178009$9084FBA2-F3BE-43B1-8B20-6DE7734A9B46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178009$2D0DEFB5-8D00-48C8-97CA-34EAA2C51953","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51a3dc03df7544fa4ee25c073f6874df60dc9b98","datavalue":{"value":"6413025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178009$00B9E210-CF40-4F9F-BA02-57CE0ED431B6","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":"Q5178009$F52123A1-828E-48C1-8896-FD4E38DB62C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7144a5a9a3d33f00ed9cae9bf71e7ee4de91df53","datavalue":{"value":"W2087272670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178009$BD684243-C317-4D29-A469-20C034984F18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c851a38b28df699a3f15e2114528d1a6c809c03","datavalue":{"value":{"entity-type":"item","numeric-id":5423544,"id":"Q5423544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c04d43375945bffbe98fc2e45eb71b4cb2a16551","datavalue":{"value":{"amount":"+0.7726742625236511","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":"Q5178009$E4864F51-4C19-4D4C-A1B0-D84EE0D3F7F9","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":"0bd40402ea02932d18e4aeff5578ec1d8450bf4a","datavalue":{"value":{"amount":"+0.7632459402084351","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":"Q5178009$D2746521-AB1B-4966-8390-72DC7E14FD98","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":"444c0b1e64f9abfe573ffb0417ab662b1278d01e","datavalue":{"value":{"amount":"+0.7535480260848999","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":"Q5178009$C128672E-40C0-4B33-BB77-4E56C517F07D","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":"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":"Q5178009$3E320DEE-E718-420E-B187-3CB96D91C30D","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":"b31deba10e675b78690f4f3d38a0b6d828f8ae98","datavalue":{"value":{"amount":"+0.7342681288719177","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":"Q5178009$316DBDA1-709C-43AD-8D89-796724DE203B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178009"}}}}}