{"entities":{"Q2866331":{"pageid":2877051,"ns":120,"title":"Item:Q2866331","lastrevid":51890432,"modified":"2026-01-20T11:54:17Z","type":"item","id":"Q2866331","labels":{"en":{"language":"en","value":"Type-safe code transformations in Haskell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238193"}},"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":"Q2866331$2CA456CE-61A9-4A52-A225-A8D3B61F2920","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c10dafdf3273e64a0b517dd5b724b9784ecf1e5","datavalue":{"value":"1277.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866331$837B306B-423C-4675-9AB6-BF508A449EF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c63fe581110c747170d4376c1a6b3df1e91430ac","datavalue":{"value":{"entity-type":"item","numeric-id":2866330,"id":"Q2866330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$9D1B451C-4F6F-4DEE-A275-0D1CCB89D6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa5bdc8a2141af5d730d4053f7a88e47b1b74a08","datavalue":{"value":{"entity-type":"item","numeric-id":1826463,"id":"Q1826463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$EA94C614-6688-469A-871E-B8D065E8D27A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$8936843F-72D1-4637-AEE9-C00F09B20790","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866331$CDA8B3EA-DB03-495A-A325-1666E9C78148","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866331$18682AF8-24A6-4D02-A5FF-5DB9A972D340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866331$8DBCB0C3-35A1-4339-A355-2E1347091152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866331$538DEB5D-5B63-4C6E-A827-A504817C940B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"259f5556bdf208f4f6623ef116828f7938fa8c14","datavalue":{"value":"6238193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866331$EB001489-CDA8-4223-97B9-84029CBF6553","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30465c7253323499b5cce6c4f064def1ef2d4445","datavalue":{"value":"compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866331$5C5BB39F-F2EF-4FE3-83BC-3300C215830B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866331$4216BEBC-CEF6-454A-9EA2-9AB9C10037CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866331$EA2FAF46-65C0-435E-A369-495BA35DB4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866331$EA53631E-3517-40E6-B99C-3CFA64EB5E4E","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":"Q2866331$1A13014C-4C5E-4540-9EFA-9EDC9FFC37F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$4648613C-5D94-4C45-AEB4-F48E3D58D573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"508b6f16fd2dbcc9c9c723dea852ac1746228423","datavalue":{"value":{"entity-type":"item","numeric-id":33980,"id":"Q33980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$013D7B39-9315-48E0-9F83-4BA0A3088DF5","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":"Q2866331$1B03DE92-F36B-4E22-8466-E4CEE281B33D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0f3fd8b2ebd8a286a76c7905b0e7f505aa99a63","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.10.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866331$17146910-7DEA-4464-A87E-ACAE1CE186E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08baf60200d653983f10d8a4999ee1811442687a","datavalue":{"value":"W2026691974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866331$C59CA32C-E283-46F5-B888-9564477BC842","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8d4ec8d631b8b20cf28e1e27ea49a482b450e4","datavalue":{"value":{"entity-type":"item","numeric-id":5276128,"id":"Q5276128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$71411CFF-E827-4377-BE1E-06E174046F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3016b01e4ca28ab90991bdef43103badaad534a5","datavalue":{"value":{"entity-type":"item","numeric-id":5472910,"id":"Q5472910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$09EF65E9-C767-4716-886D-18E1BFFBBC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$A8D15A67-2553-4631-8D0B-B46C8D270734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0ad9049f6fe82451e2b7d8bdacba443a464251","datavalue":{"value":{"entity-type":"item","numeric-id":1826465,"id":"Q1826465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$BA75DB23-5450-4015-B7CF-76566D80C065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb3504a1e04bfb244f7d9b2a0bf855789ff659f","datavalue":{"value":{"entity-type":"item","numeric-id":2729056,"id":"Q2729056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$D1979F8D-CC3C-416C-80E1-66E7F679963C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$41328661-08B2-4B72-A995-ED5D570D4DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e45662d762d06da170405dc38333216d20795b","datavalue":{"value":{"entity-type":"item","numeric-id":3599181,"id":"Q3599181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$2F5B3AA4-29D8-4D53-990F-5C493AC0D351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328b4b366cdfa3b558000d01d83573e023c08d2f","datavalue":{"value":{"entity-type":"item","numeric-id":2871838,"id":"Q2871838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$49698A0B-6015-4DAA-90BE-E2C3E4AD98DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85a32c2973ec1b5a49f95ccf3e7b229175f4154","datavalue":{"value":{"entity-type":"item","numeric-id":5348868,"id":"Q5348868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$88DEC296-F4C3-404C-AE2F-494DDB8A3F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8b694d70fc75aa502f005dbcdfea291d709051","datavalue":{"value":{"entity-type":"item","numeric-id":5178908,"id":"Q5178908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$BB74669A-8CF4-4341-BC62-3ECE4B54D3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dddd09ca595a3169604b18d5170be278d168555c","datavalue":{"value":{"entity-type":"item","numeric-id":5178755,"id":"Q5178755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$7F7FC271-7241-452B-8944-1B54246E38ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c5f1bc95e37c86d95b040c7dd80534c5f7b7b9","datavalue":{"value":{"entity-type":"item","numeric-id":5261280,"id":"Q5261280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$6BAFA735-5442-468E-A7B2-AE01C9FAAA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8d74eb30783ead52df96f665a06c49d9668e6","datavalue":{"value":{"entity-type":"item","numeric-id":2942928,"id":"Q2942928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866331$CF2F039D-95C2-4505-A79C-492D170C498F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcb7c571386fe3b36de3c9f10e8bc8ded316950d","datavalue":{"value":"10.1016/J.ENTCS.2006.10.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866331$B88DB71E-DC97-4BE5-8742-6499A5FA764F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd5d19f1b692521ea41f15e8d1ac4fbc6935716e","datavalue":{"value":{"text":"Type-safe code transformations in Haskell","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866331$72F59A3A-77C1-4A5F-879D-6CAAE5C427BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee810cd1ca3ee8d3e27add81649689a382c313e2","datavalue":{"value":{"entity-type":"item","numeric-id":5195262,"id":"Q5195262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abc835c4478b51d33a25e02b5e5be7f56e624c2","datavalue":{"value":{"amount":"+0.7997840642929077","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":"Q2866331$995EE585-C7C2-4043-BB4F-19DF8AFA7821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf6895406f6e2d7b1d7003cb37a6848ef7c9f33","datavalue":{"value":{"entity-type":"item","numeric-id":2938052,"id":"Q2938052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec038251dee1dfa0883ba3736f0646a55cab042f","datavalue":{"value":{"amount":"+0.7991234660148621","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":"Q2866331$DA5DA8CA-EF8E-42DE-98C9-A32DD7274C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f398c25899a2601e9e7dbeb56e68f025b1cb2ad","datavalue":{"value":{"entity-type":"item","numeric-id":5178757,"id":"Q5178757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d431120d3faa90b1d7d663bf7a341495a58d4e1a","datavalue":{"value":{"amount":"+0.7752978801727295","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":"Q2866331$70AA99F7-8542-4005-9F3A-BA3E4BA4D862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3fd9547c8fd5b21d631afd981635b17f2758257","datavalue":{"value":{"entity-type":"item","numeric-id":4222944,"id":"Q4222944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9aa7c96a81afd02f0d99c38c7011eb566d76cb0","datavalue":{"value":{"amount":"+0.7282687425613403","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":"Q2866331$9EF40BA5-AB06-4ADE-B484-A8C42D35E8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9721fe5188dd06d1b7da3b0262241616bf5c77ba","datavalue":{"value":{"entity-type":"item","numeric-id":1818319,"id":"Q1818319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3a0da0bd00b5cdbad4d95c07520b1b1e07ddb0","datavalue":{"value":{"amount":"+0.7009795904159546","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":"Q2866331$F03A371A-B6A9-4C67-BD01-E20D05FA4534","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2866331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2866331"}}}}}