{"entities":{"Q5261504":{"pageid":7291072,"ns":120,"title":"Item:Q5261504","lastrevid":52300727,"modified":"2026-01-21T09:35:59Z","type":"item","id":"Q5261504","labels":{"en":{"language":"en","value":"Static contract checking for Haskell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455599"}},"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":"Q5261504$E41FD8DB-CBE3-4CD6-B3A6-F6D2E2D40D89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"759e7889a32b1169df5f8b0d47481875f7e06d53","datavalue":{"value":{"text":"Static contract checking for Haskell","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261504$5337777D-C1FE-46CA-8173-BDD64E3F9045","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c79ce870fae2998d55a073af6817b67f2a26217f","datavalue":{"value":"1315.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261504$D8F3EB48-DD56-4D87-AE06-85DB4D5AB711","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"187d4b89922b44c500ef302dbe2ad430ee8a0a57","datavalue":{"value":"10.1145/1480881.1480889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261504$90B43382-7F10-4681-90F7-B611DC0E6664","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85e2fb9504570f5b60364a91e9bdf1a95947a02e","datavalue":{"value":{"entity-type":"item","numeric-id":2441721,"id":"Q2441721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261504$D421E700-34ED-43B8-810E-DE22AA88EB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcb9f6003248d9f6e3888a3874f451e22b906b","datavalue":{"value":{"entity-type":"item","numeric-id":438538,"id":"Q438538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261504$A17228BB-A685-4A95-96C5-B4D1C6819048","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":"Q5261504$67B234BE-A753-4CA5-A5FC-7FCAC3631BA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46f537985766180e7666197286053366e18cfc41","datavalue":{"value":{"entity-type":"item","numeric-id":5261500,"id":"Q5261500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261504$C67B7355-1B5C-4E35-BF90-B54B75EB14EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261504$CE433F00-87DC-41B9-AFED-51959C43C6E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261504$6AB11A5A-0E80-4B58-94B3-61E2ABAE5F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261504$33F11E0C-F9E9-435E-A1B5-51F6E7072644","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75a9a909f6074455a815be46891ac2a158cff44a","datavalue":{"value":"6455599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261504$E7A45EE2-905B-4D53-AD72-A1E02F5B6AAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d68b5149d08de50cfc33a2d60600f645d1d5235c","datavalue":{"value":"contract satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261504$57B94224-DF1B-4C01-B038-FC72C5B706EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"760a5acd1cf3d63451f9df4b0de9ddfa4ca5e1d9","datavalue":{"value":"static contract checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261504$434CF80F-3162-4A81-ADBB-57856800BC31","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":"Q5261504$853D885C-C443-4122-BB0A-26BC486DE2EE","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":"Q5261504$EA7677A3-CEE9-414C-98BF-7F6DA886D9B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99127d6c2e1d921f68b07a052a40639d0887b1ae","datavalue":{"value":"https://doi.org/10.1145/1480881.1480889","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261504$995B5038-0134-498A-BC86-F2F5F8925F87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37729b1981741e23e1bed61e50dab1b94ac84b63","datavalue":{"value":"W2059703978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261504$4A20198D-00A9-4024-8BCF-2F3653455899","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2a3a6dcf7a1e2b6e4a45f6ec641f9802603d1f","datavalue":{"value":{"entity-type":"item","numeric-id":2931819,"id":"Q2931819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d1ff341d5cf95cc1016cb5b1de106a5009a3a6","datavalue":{"value":{"amount":"+0.8016563653945923","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":"Q5261504$D402E28D-512B-4BE8-8CF6-62666A091A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75b5a1756f17a1ed9c80bc2fba24de6780695ad","datavalue":{"value":{"entity-type":"item","numeric-id":5134280,"id":"Q5134280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6398e01019359fd4ac76de4d7ff5fc071de28f8b","datavalue":{"value":{"amount":"+0.80084627866745","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":"Q5261504$C10E92E9-8E38-4649-B7AF-A17B3C83A035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3464c37cc24a9d774d55a70d06287db23e4f6cd","datavalue":{"value":{"entity-type":"item","numeric-id":5168882,"id":"Q5168882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197ca51a77ee2cf00e33e0c8c89f907251960f8f","datavalue":{"value":{"amount":"+0.8005244135856628","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":"Q5261504$C93EF9BE-7509-4F60-8F4C-071EA7215934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4996bf2d0a6768f2ef050b76dfb270d31bba62fa","datavalue":{"value":{"entity-type":"item","numeric-id":1671165,"id":"Q1671165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6edf73c68c27c5f2bd602f45fe356060e3070b1","datavalue":{"value":{"amount":"+0.7769766449928284","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":"Q5261504$AA2B4963-088A-4990-AF96-C9CF0DD2CBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf506a39797dd2cb07bd3ce1ab670bdeaf6924a6","datavalue":{"value":{"entity-type":"item","numeric-id":2819690,"id":"Q2819690"},"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":"Q5261504$95CF9E69-96A8-459E-9585-0DD571E73667","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261504"}}}}}