{"entities":{"Q2819690":{"pageid":2830428,"ns":120,"title":"Item:Q2819690","lastrevid":52631072,"modified":"2026-01-23T03:46:16Z","type":"item","id":"Q2819690","labels":{"en":{"language":"en","value":"Refinement types for Haskell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631198"}},"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":"Q2819690$D0A829AF-C340-4CEE-A552-A108B1D13FD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75baaad06719cbbd9ea606622d7bf3ec18eb2ce9","datavalue":{"value":{"text":"Refinement types for Haskell","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819690$A742AC95-7C04-41C7-B497-32FD1F832D0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8671b2467d3b2a60da126449ebadad832837c59a","datavalue":{"value":"1345.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819690$6DFFBD44-7270-41DC-B91C-FF23D1A02087","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e826fbe5df0db5438efcc1f64b241d68930e7a2c","datavalue":{"value":"10.1145/2628136.2628161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819690$D6A5089D-4868-4533-9D64-B090568B321B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcc1ffb5b06cad9779d86c389cf7d64cb5e63e72","datavalue":{"value":{"entity-type":"item","numeric-id":2819687,"id":"Q2819687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819690$ED823573-1C32-4815-A268-98417764B224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28797d7e9263749b865b0243810799e9a408cab","datavalue":{"value":{"entity-type":"item","numeric-id":2819688,"id":"Q2819688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819690$662AF25F-D87A-4314-9D24-7FE8B27BC4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2109ea3ab29767c79eca725b68331d0c21a9a6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2225085,"id":"Q2225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819690$51D335E4-5BD6-403B-860F-A60902F2C5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4ed8098789870ad70d41231e22c66ea8deb02e","datavalue":{"value":{"entity-type":"item","numeric-id":2819689,"id":"Q2819689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819690$320D654C-B344-4230-8C0F-00522FCCF1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1049de561e4e0575c7855d0da60607e65f900396","datavalue":{"value":{"entity-type":"item","numeric-id":1818317,"id":"Q1818317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819690$0F28070E-5418-4B71-9137-328407B4CDFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"634f1ea1676ae7835264bad5a15e4c75868049fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819658,"id":"Q2819658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819690$043D5926-59C2-4CB0-807A-2C914DDA6804","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819690$164F8131-0851-4B12-A601-9FBD58748282","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b32bb1eb2958f4066872a561be8a842f8d29fa2","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.495.9202","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819690$B0F5D316-B7F2-43BE-914D-A8C654ED296D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819690$D8BAEC2A-BE2D-472C-BD2D-185EF17EA6B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"236376c06840aa897bbc55add7b95a147ed84105","datavalue":{"value":"6631198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819690$94888CCD-5FC0-4338-8FE5-E6D065576909","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":"Q2819690$10D4009C-E308-460E-A2B8-5314B4B6E681","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":"Q2819690$2DD53A17-5F2C-4CD1-B9EC-5289553E8CE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8552470dcfb9e45a84b592e1c08653995eba37ff","datavalue":{"value":"W2045900383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819690$D6C795CA-6A72-46B7-8F80-D293CA3689E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129b5ea492b78f982bc5d0f15a8d1fffbb6813a1","datavalue":{"value":{"entity-type":"item","numeric-id":5370912,"id":"Q5370912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8ea2aca1f971cdce79a7e6d78791cde1dda192","datavalue":{"value":{"amount":"+0.7869762182235718","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":"Q2819690$7ABBEB18-605D-4E0F-94EB-DE82E25D8FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6982427bbea304dc218ad3b70c8796dbd703f10f","datavalue":{"value":{"entity-type":"item","numeric-id":5261504,"id":"Q5261504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf121d396136731fd418915cf95bacf2ce5be53","datavalue":{"value":{"amount":"+0.7629863023757935","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":"Q2819690$399DBA43-B39F-4504-AE5E-F76308176A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d00651bf759d19ea59d81693e43e7c8aa8b9c90","datavalue":{"value":{"entity-type":"item","numeric-id":5326287,"id":"Q5326287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"226016f24e3754dd2ae092a357d114f21dbccb7d","datavalue":{"value":{"amount":"+0.7590113282203674","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":"Q2819690$116C24AF-50F7-4D75-9F63-CACF058178A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb749952a68c5b82e606596cc60d6f39df18bd79","datavalue":{"value":{"entity-type":"item","numeric-id":5030192,"id":"Q5030192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c752de7cd32b691d7a9c8b934b19214cfd13c30","datavalue":{"value":{"amount":"+0.7500084042549133","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":"Q2819690$C166F5D2-A20D-4A77-BB6D-26B1F507A751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aec11dc665d529e87472f4ecd9e1dc6facdeb96","datavalue":{"value":{"entity-type":"item","numeric-id":5370915,"id":"Q5370915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c15cbfd3cfc321ef13e9368125cefdd861f7fd","datavalue":{"value":{"amount":"+0.7464417219161987","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":"Q2819690$EFEE029F-1751-4B8C-A82B-109E232FEADA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819690","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819690"}}}}}