{"entities":{"Q5244798":{"pageid":7274366,"ns":120,"title":"Item:Q5244798","lastrevid":52236080,"modified":"2026-01-21T05:34:14Z","type":"item","id":"Q5244798","labels":{"en":{"language":"en","value":"Correctness of an STM Haskell implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6421036"}},"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":"Q5244798$2B1A79B6-4738-4B46-8634-841D24518B54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a8397bd0c1d44072cad95198bf22e38d49864d4","datavalue":{"value":{"text":"Correctness of an STM Haskell implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5244798$3DD52693-CBED-44CB-B90D-7F5DF7A0EDEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f2c1158044bda538e1ce1581d2b6bb950d0bf31","datavalue":{"value":"1323.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244798$7DFBD5AA-59EE-49D5-A151-CF438DA84981","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fed08bbf9d9ef4fd6f294286aa68571c5de1bcd","datavalue":{"value":"10.1145/2500365.2500585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244798$40B480A8-DB1A-4ADE-8FF8-C342B74ECAC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244798$334594DC-5C04-4A12-B84A-07ABD0032935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244798$472902C2-D9EB-4C13-B5E7-6B255286744D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"732dc09e3ebce0f285d80218f54999eeb2a4f3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5244781,"id":"Q5244781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244798$D49C0F73-B89F-4A16-9A5B-5EF225E8B918","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"431bdbf37423818137431b52ab3aaf4b16104bbb","datavalue":{"value":{"time":"+2015-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5244798$0514D8A8-FFBE-499A-ABEB-5027052E8B91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcb3e62012375961f2e80eedd607268c0df450a9","datavalue":{"value":"http://publikationen.ub.uni-frankfurt.de/files/27007/frank-50.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5244798$37276E95-8646-4FF4-A4BE-19F343CDE9BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244798$B80588D7-40C4-4538-813C-E0F5C46A201E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244798$1AACD536-0B14-4880-A3E1-6C34347A7A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244798$E30DD48F-C210-4AB5-93B5-011DA2385746","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63796c7bce341d714cac029a775c83381a8eca40","datavalue":{"value":"6421036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244798$0D1313AB-101A-4E13-B6A0-9B6F2CE9C605","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244798$BAEAB837-5CA5-430A-AB15-20DDABCC57B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244798$6D09D72E-B617-4CAB-8ADE-747320D7363D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244798$4589E770-2075-498C-AD43-28361491154E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244798$BCAF2881-7FD0-4F29-9AE3-22DD50222C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a87126bb6f5fa8df71470ed6561108b83c931e4","datavalue":{"value":"software transactional memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244798$771083E9-D7E8-479E-B14B-6A9F3781E29B","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":"Q5244798$37E5D9F9-0AE3-47D1-A976-8B717D3F80C0","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":"Q5244798$739A6B37-41A4-4976-B2FE-BAE8E73CD54A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44956d2c9f0a5b42c5725e208c0465a002909c9c","datavalue":{"value":"W1997165271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244798$B0B4A6A0-53B5-412A-BF0B-A701B9A141F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa7e2e8a92204c3b4301ee27a3fc466f8c277eb","datavalue":{"value":{"entity-type":"item","numeric-id":3000572,"id":"Q3000572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4ca623c807856a62e37d997b383c9a734a1646","datavalue":{"value":{"amount":"+0.7600884437561035","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":"Q5244798$BC76F8AB-9508-427D-80B7-0ACABF079101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f0b0b452d949edc2c541b5654b4e5700810fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3189827,"id":"Q3189827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af6076305fdcf3d377a3ea397c87da6d6b3b230","datavalue":{"value":{"amount":"+0.7571355104446411","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":"Q5244798$3E4385B8-73E6-4BF4-9B34-C5AC58C5D68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573201f06fe9b16eb9dc3d33f5d647a5d78f5831","datavalue":{"value":{"entity-type":"item","numeric-id":470040,"id":"Q470040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38a18d8dd7fd21e29644744694a659ab456e2bb","datavalue":{"value":{"amount":"+0.7545233964920044","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":"Q5244798$8B84D974-D5F7-4D5A-93BC-7267A140AE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"927c803db95cc2856faf8cdcf2d5890e6023066b","datavalue":{"value":{"entity-type":"item","numeric-id":5137331,"id":"Q5137331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41dd9587c93484824174ae8f4488692805aa59b4","datavalue":{"value":{"amount":"+0.7502353191375732","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":"Q5244798$D90B4930-6BA3-4DC2-930E-9BA590DE6F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3bd23808025cbd215c81f5614c5164b8459ebfa","datavalue":{"value":{"entity-type":"item","numeric-id":5756487,"id":"Q5756487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a5c99e3b5e2ed318c0782853a9b50149413ef8","datavalue":{"value":{"amount":"+0.7470000386238098","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":"Q5244798$61E4E61B-47F2-4EE5-8756-D58C3026B02D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5244798","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5244798"}}}}}