{"entities":{"Q2985783":{"pageid":2996508,"ns":120,"title":"Item:Q2985783","lastrevid":85739309,"modified":"2026-06-03T11:20:15Z","type":"item","id":"Q2985783","labels":{"en":{"language":"en","value":"Ghostbuster: a tool for simplifying and converting GADTs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713915"}},"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":"Q2985783$7562F776-393F-46C3-A920-CB731EBE25D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed4f0d6fab4b245c06aa156065164597866cdfab","datavalue":{"value":{"text":"Ghostbuster: a tool for simplifying and converting GADTs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985783$09043A37-DCBF-4656-B77B-1211F93736FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2437d5fdc38a361a8daad40d58516bbd5b95f219","datavalue":{"value":"1361.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985783$656F6B07-F7E1-4A17-B145-34967E3FC5F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4481978d6fc91724009ace590dd21f78a9a7650b","datavalue":{"value":"10.1145/2951913.2951914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985783$D73BFEAD-8AB0-4F8A-B074-8935A3CC2906","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce5ab543cc0e3b2c8f721d115af0d9b9bf31348b","datavalue":{"value":{"entity-type":"item","numeric-id":2985781,"id":"Q2985781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985783$4A1546D4-4BC8-4897-8DC3-7B539D3802D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8b5de4220b8d0b47d64b8d05daed7d4d56d378","datavalue":{"value":{"entity-type":"item","numeric-id":2985782,"id":"Q2985782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985783$2E7AF53F-EBDA-4F5A-BE07-96BCDF6D3B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48d319662af7b9422c1624ab46529ca13af618cf","datavalue":{"value":{"entity-type":"item","numeric-id":2039938,"id":"Q2039938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985783$35F9E1A8-BFDE-4523-BECE-EF818952B979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e15fb2f006cced9a7975158ebfb69600e0bfca4","datavalue":{"value":{"entity-type":"item","numeric-id":2981960,"id":"Q2981960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985783$FFE759E1-817C-46E5-8DAF-7E8F03E0D3CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985783$60229197-5CE4-4020-8485-7963FD00E9F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-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":"Q2985783$E2F98728-2916-482E-A97A-87080569B9BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985783$C36FEDEB-7629-4AAC-A6E3-17FA03F93A91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82aca4217e13ccafe2bc959caa7fa5a254d7ce45","datavalue":{"value":"6713915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985783$E98C79DA-88D6-4AB1-8361-E56902A07FAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31c6f76b4e932d5f2fe0ca32a7e72fdafb393f80","datavalue":{"value":"datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985783$ED4A3AA4-A7FD-48A1-B898-7364B6C27C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcb3bff1dcbcf34e0c496835c665383873d52e3","datavalue":{"value":"GADTs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985783$5E410208-55B9-45BF-9AC1-555AD0D69EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985783$69064CEF-464B-4200-A4BB-41E1D855E716","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":"Q2985783$3F187604-4C8F-421C-994A-1F7BC2F60685","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":"Q2985783$E53E5C59-380D-43B2-812E-8EF55D0D45CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c3df556238a2080070bc60c48f812dde6bff170","datavalue":{"value":"https://doi.org/10.1145/2951913.2951914","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985783$32F00FC3-6779-453B-A0D1-8808BE477AE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae396d8c5de71de45bd165dbaee45106ee70b719","datavalue":{"value":"W2515060297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985783$A662FED9-8FEF-4190-B30A-D4632B195A8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143b5e8110138b76ec32962aa3cfc3673612d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3189848,"id":"Q3189848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95a47550fb1ee12b9ed5a457a08d0c14d624be1c","datavalue":{"value":{"amount":"+0.761062741279602","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":"Q2985783$2B1EEC09-75E6-40DE-9A07-B34ACB523515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4856606c6fc5ed78336863b7a9c1c2599f819a4b","datavalue":{"value":{"entity-type":"item","numeric-id":2323967,"id":"Q2323967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81735bbbab26353cbf16e7828ab67d7486d7be5e","datavalue":{"value":{"amount":"+0.706584095954895","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":"Q2985783$ED1A4929-B888-43C1-9E22-465A6A8D1A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a10499d3a06e15009f96a2adf6448506288528","datavalue":{"value":{"entity-type":"item","numeric-id":656862,"id":"Q656862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dfd14cc72f671b4216384f8410bd79b03c54b0a","datavalue":{"value":{"amount":"+0.6994725465774536","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":"Q2985783$89BB9E2C-AF7E-4284-BA43-D47248AB103D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f60eb72bfbd77468baad6ea1f60803db6da171","datavalue":{"value":{"entity-type":"item","numeric-id":2937793,"id":"Q2937793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25af4d0c9b96cdb4ad22e21f6e2448ebc0bc67f7","datavalue":{"value":{"amount":"+0.6919487714767456","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":"Q2985783$6A520B55-B6D4-475F-9E2A-BBE5DF0949CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e398ef6d2636c88d65241e4ee8a5e94d56b9ff","datavalue":{"value":{"entity-type":"item","numeric-id":5326307,"id":"Q5326307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4afb1980f2157307cd97208a5d7b853f803fb4a9","datavalue":{"value":{"amount":"+0.6918498873710632","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":"Q2985783$14E984FF-DF6D-4F36-9D4E-1F5432132951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ghostbuster: a tool for simplifying and converting GADTs","badges":[]}}}}}