{"entities":{"Q2931819":{"pageid":2942539,"ns":120,"title":"Item:Q2931819","lastrevid":52145807,"modified":"2026-01-21T00:56:30Z","type":"item","id":"Q2931819","labels":{"en":{"language":"en","value":"HALO, Haskell to logic through denotational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374693"}},"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":"Q2931819$5160BBB1-1884-4B1B-9160-728309854E20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"908a3a14f8e4737e157936fd5cd37a22c50e4415","datavalue":{"value":{"text":"HALO","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931819$F57860B6-C300-425E-BE8E-210825954040","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c6f79ae7467e4c8d9253a947e12ee29b3fff3b5","datavalue":{"value":"1301.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931819$4BAF5004-EAD6-43E1-8640-78603EE2CD9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a6310cbdd728c2afd4c4703f4396f80358fc687","datavalue":{"value":"10.1145/2429069.2429121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931819$EEF91799-E6CF-4927-A630-05EC25624F46","rank":"normal"}],"P16":[{"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":"Q2931819$15E83253-9BC6-4691-88DA-561F7595C750","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":"Q2931819$4A25B607-F54C-467C-8047-CBD748DA9277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09bceed60737b95a07c93164c21857a414d4b32a","datavalue":{"value":{"entity-type":"item","numeric-id":206446,"id":"Q206446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931819$A68208F3-E055-47A8-ADB5-62069D6BCA05","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":"Q2931819$C46DE045-81EE-47C8-B67E-B002D2F9276D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931819$59AA393F-06A1-45D1-A92D-29F58E73CB93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931819$D64F8ECE-8C0B-4535-9CE6-90A5126C0B2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931819$2B55EADA-3337-4913-80CF-68DAB207C68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931819$6A3F7A70-894D-42FF-85A1-7FDD0E2FDD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931819$72503F09-1FDF-4390-B825-B02A5AEB44D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931819$3447FE77-FBB2-4B46-9448-198B82D4B615","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19cb39f7115f8ec2a7d48a065b97377b8416df5a","datavalue":{"value":"6374693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931819$56C45597-D38B-4C62-8D1C-0FE21511457A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931819$30C2B014-3D3D-4A0F-AAA7-F6C2E4962602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"760a5acd1cf3d63451f9df4b0de9ddfa4ca5e1d9","datavalue":{"value":"static contract checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931819$3358B20C-1FD2-4598-9F05-ABBBA43737DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931819$24306A7F-2CC1-442D-8651-8317BDC22B18","rank":"normal"},{"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":"Q2931819$11D32E7D-FF88-4316-BF02-B02E94E58EEA","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":"Q2931819$E6D5BBE8-403B-4782-A325-095C6465F845","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e269fd09f35db34f58087e246854071fc93ae1e","datavalue":{"value":"https://doi.org/10.1145/2429069.2429121","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931819$8A193D19-F7DF-49D4-8C14-F58DF9EA8CBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8a952d29f8ba77711d89ed63d2cbe419c03b55c","datavalue":{"value":"W2120172501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931819$2B18B78C-A6D9-458C-BDF6-F53C13848ECD","rank":"normal"}],"P1643":[{"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":"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":"Q2931819$6AFC9349-3B4F-40B7-ABC8-80119C5C1336","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":"662c9276d41554a157ced7b9a9b41bf79eaa1547","datavalue":{"value":{"amount":"+0.7550361752510071","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":"Q2931819$65C3C576-CA6C-435A-80E1-30638CCC0B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fdd9f3c241661991308e0072d727f5302cc45f2","datavalue":{"value":{"entity-type":"item","numeric-id":3434634,"id":"Q3434634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9037004b61c2ad1ef4d27dd56ffab5f076d492d7","datavalue":{"value":{"amount":"+0.7353360056877136","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":"Q2931819$50F9BAA2-4139-481C-A698-A425EE24B7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f0de54d86a66c80e959019c23e1cfd0e33342b","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a717f2391de31e3b95e4f99a38d50c771720e474","datavalue":{"value":{"amount":"+0.7182016968727112","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":"Q2931819$AE7B94CF-CA43-4353-849C-568B4BB3E928","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":"effd32e53a277ca6e0d1b80c701795d26348e651","datavalue":{"value":{"amount":"+0.7161323428153992","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":"Q2931819$92EE82B4-019F-4677-9B06-929479F786F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931819","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931819"}}}}}