{"entities":{"Q39348":{"pageid":39404,"ns":120,"title":"Item:Q39348","lastrevid":56347077,"modified":"2026-03-13T06:10:34Z","type":"item","id":"Q39348","labels":{"en":{"language":"en","value":"LiquidHaskell"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"fd32727897a7e77a96fb18db1cd591c7bf709e0a","datavalue":{"value":"27633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q39348$5B169A89-CBB0-4338-BE5D-67188D89E635","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"cd96af8a95f80665a0e4ff069bde13ae374e570f","datavalue":{"value":{"entity-type":"item","numeric-id":2819690,"id":"Q2819690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$EC45A926-FA35-4947-ABBD-833B2F3EF964","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$02A6ECB7-0A09-42EB-A8E8-6CD0DC69EE81","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"282d8e1507b261e7f01d1dddff9ab0dc925cccdb","datavalue":{"value":"https://github.com/ucsd-progsys/liquidhaskell","type":"string"},"datatype":"url"},"type":"statement","id":"Q39348$D4D912A2-E97F-4A57-A05B-5765CE95C850","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"275f37795f7a19d0fcbea65c80e47923dc8fa7d3","datavalue":{"value":"swh:1:snp:c11a3ba9d0cdfb3953e7cb0b661badadb2caa89d","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"282d8e1507b261e7f01d1dddff9ab0dc925cccdb","datavalue":{"value":"https://github.com/ucsd-progsys/liquidhaskell","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"f49101e197a350917396933307b5d717d74e6128","datavalue":{"value":{"time":"+2024-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q39348$6B0732F2-7C91-45DD-96EE-A6C9620EA552","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"9873e680739370008947c9df7bc144f748b0c04e","datavalue":{"value":"https://ucsd-progsys.github.io/liquidhaskell-blog/","type":"string"},"datatype":"url"},"type":"statement","id":"Q39348$BD65ED69-9C16-472B-9C68-A1EA0A1B7ADA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c6cc7c76b3cafafac08dd013fc5ce16db183bb48","datavalue":{"value":"16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q39348$8BE94A3C-06CB-4EBE-A667-B3C652F06455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q39348$476126A2-17DD-48C2-825F-96646FA06127","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$C2AD6B4C-C541-46B8-8A25-C6108BBB082C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$5B93E4F0-7E0A-4A2A-AF9C-1A7ECD9A2946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"263af5c0df32ed66fc675fae4932e71337532265","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$E004B870-88AD-4EEA-95F2-9AF476BFB393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$AFFF7D39-B07F-49FC-915F-C2314F4ED956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"58c790abb3d50f063b70ce2063a410874b4464bb","datavalue":{"value":{"entity-type":"item","numeric-id":33285,"id":"Q33285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$F74BC7D0-F424-4DD9-B2A9-57FF2C71392F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$22533977-8AB9-4055-ABF0-D9DE140AB3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e09694fe3792b5d00306e3d52d45d5816179ce38","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$A2D0F370-7720-437C-8828-90BC07486BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$D7BEFBFA-77AE-4815-90E5-70CBBEE7009D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"25a67b4f3eecb16925665aa8131194aadda0588d","datavalue":{"value":{"entity-type":"item","numeric-id":31838,"id":"Q31838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$F9BD80A0-7155-4DD0-850F-4D5B23F9713B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$0D02EA6C-BFFF-4EE6-A9FA-6295E2D4D55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$0A824F74-6F08-462E-8E67-BCC951214233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"81c3fae3cbb793c48ed2c1672d4d650e8717c5e2","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$83E3B43F-7FE3-4346-90C8-1745FD0A29E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"328e8b4658e01f92db0c38d40715062af9679824","datavalue":{"value":{"entity-type":"item","numeric-id":21727,"id":"Q21727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$E3793767-6E91-40EB-B16A-18D6BF2B8957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"446c33bf9b374ba0441e5f70667e3e0c13ccd355","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$50D6DB35-CDFB-4E7F-8254-83F65FFDA01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aebe674a45d8c974a4f9471367839e3748c4e2f4","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$396FDCC7-5B1D-44DF-A42A-2992AA832883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6d71dab411537ebd7abd7237e5d0a52e74ba2f7e","datavalue":{"value":{"entity-type":"item","numeric-id":37008,"id":"Q37008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$A146B338-E436-4F96-B2C4-2966B97667CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q39348$C1CE574A-8A95-445A-9DCC-1CDF262A3706","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LiquidHaskell","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LiquidHaskell"}}}}}