{"entities":{"Q1012131":{"pageid":1013979,"ns":120,"title":"Item:Q1012131","lastrevid":66008775,"modified":"2026-04-12T06:54:57Z","type":"item","id":"Q1012131","labels":{"en":{"language":"en","value":"A family of syntactic logical relations for the semantics of Haskell-like languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5543811"}},"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":"Q1012131$2BF3610E-2BFB-4803-A1E0-56A4C580273D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8574c71788d97c5aaa37d9f830f088b3ade7a2c3","datavalue":{"value":{"text":"A family of syntactic logical relations for the semantics of Haskell-like languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1012131$4D86CD9E-0E03-46B2-B427-5A6E0D1A4F04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0176ffb8f1d4fe5179ffd49c62a9e3c413a7b2cd","datavalue":{"value":"1165.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012131$C54FE782-FE70-4FAD-AFA6-1F1A77C0C734","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$ADF0DF22-9C36-424C-87EA-0690959A2DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdffff0f9ddf6cf8affa63ec8f5198caf4ea3","datavalue":{"value":{"entity-type":"item","numeric-id":347390,"id":"Q347390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$DCE109BF-C464-4CBA-AD82-6E5C1AF5F6EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$A9891452-CEE4-4FB7-8D72-45D7E2F903D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a70e3fb7efc077ae8b5215707528be5246c293fd","datavalue":{"value":{"time":"+2009-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1012131$AB8DF178-E5F5-4D74-BBCC-E97200D22ED6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72b04cd7bd9410c549b47feaaad13fc34f7356c5","datavalue":{"value":"http://libres.uncg.edu/ir/asu/f/Johann_Patricia_2009_A_Family_Of_Syntactic_logical.Haskell.semantics.Logical.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1012131$AF2FE384-F5C9-407F-A05C-14F1C0AD51AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012131$0252231C-02C1-4058-A824-2D1AA29915A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012131$DDABB210-255B-49EF-BE8E-A10B90D28888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012131$4F3ACAA2-C46A-4AF6-AEFF-FE9CFB26A53D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87a2d3664e6367da68aada97106b1904f2f73d35","datavalue":{"value":"5543811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012131$DA8C0E5C-AF8B-4356-9938-4CF93AD5D65C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a302b89044af48e8c123fbcaff028e26b2b59af","datavalue":{"value":"languages with parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012131$56C43793-7D44-4807-B530-CBFB2FBC7810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a3b1abf6c10d7ce46589aac0b10431128ee473","datavalue":{"value":"GHC Core","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012131$B759F156-3D0F-48D6-A960-AB263E9EA788","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":"Q1012131$EE721FFA-4A41-4770-B2A7-2D9981954E43","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":"Q1012131$7558E047-4C26-4FEB-8C7C-0FA974F2307E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10e69e11f2503bfb7c83cc1556496130fb7c607a","datavalue":{"value":"W2131167088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012131$A43B6FF0-F316-4366-AE47-3948A2256B2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$AB56788B-7FA0-4401-9D6C-C95F210E2A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40404716a12d90a16b901c97377966fe1558fa17","datavalue":{"value":{"entity-type":"item","numeric-id":4002146,"id":"Q4002146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$6E7B87BD-85D3-4D7C-AA9E-C58AABD31FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c3802cfa729d682f7033d9bb1654f69e301cf8","datavalue":{"value":{"entity-type":"item","numeric-id":2817726,"id":"Q2817726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$5454C248-C576-4F8C-A598-FB0CB8A6E830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3637f322544aae9daf432caf7314a879834a0e","datavalue":{"value":{"entity-type":"item","numeric-id":2864153,"id":"Q2864153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$07026628-9041-43BA-8D52-A3E69B5BD2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5810792b74141ccfc6f5dbd4c267aa44a0da5ec","datavalue":{"value":{"entity-type":"item","numeric-id":3623948,"id":"Q3623948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$CAA6C78F-97B4-46EA-827E-C51C887EC142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$2DE9CBBF-14E2-40CA-9D7C-311092A274B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f92060474cc5deca301aa9f3fd6d51a093f4e2c4","datavalue":{"value":{"entity-type":"item","numeric-id":5428372,"id":"Q5428372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$670B9CCD-095E-4E3D-8CB8-86324A7C9A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914c0c6edc5cdf0cde4428945012a8e1bf383439","datavalue":{"value":{"entity-type":"item","numeric-id":4461770,"id":"Q4461770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$F8D97ED8-3AD5-4B41-9E8B-876ED2C856C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc444a1bec4f7c55cbe2eee1d14d89dbf7c1cac8","datavalue":{"value":{"entity-type":"item","numeric-id":3452253,"id":"Q3452253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$048AC2BD-7C2F-4300-B652-EB09C4AA4E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574b6ddda0bad034428bdfbc84a61f9b3f3a3c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5472909,"id":"Q5472909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$9E5C5814-422A-4FAE-9803-4187E978DE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce92c481582263d6eb421db36b7cdc6499db959e","datavalue":{"value":{"entity-type":"item","numeric-id":3591407,"id":"Q3591407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$07E63C37-816C-4AD6-BEAF-EA44F28F7BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef2a792e38241b51304c15351761bb71e09d5ff","datavalue":{"value":{"entity-type":"item","numeric-id":4499187,"id":"Q4499187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$49FC51CB-840F-4349-834B-A0FE43F3158A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$4A27E4D9-C2C3-49E3-9EA4-9942E62B279E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$9E03A0A7-11D4-4020-9AA0-B9FADC6DAD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$AB7C1F14-24BA-44B8-AD43-A5A4E81168DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$B2C47C5B-AF61-4ED0-86D3-4BFFE6D1CC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036e5c22d0346ebd8afe2f0065acf9457584fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1566861,"id":"Q1566861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$7D0C1AB3-173C-4993-A38E-C3732A12949F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99f40b0b2d622ac0a1c1914f5fa2269832233f0","datavalue":{"value":{"entity-type":"item","numeric-id":2949199,"id":"Q2949199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$7A65B3E5-015A-45BB-AF33-F48341EAD1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e664f7904f880be5828017e4e2b0d35dc97abdff","datavalue":{"value":{"entity-type":"item","numeric-id":2949187,"id":"Q2949187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$FB2B073B-4F39-4119-9CF2-1A33C40BF71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82492b21c24abfdefd72b1558ed58e412cb1efbc","datavalue":{"value":{"entity-type":"item","numeric-id":2464947,"id":"Q2464947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012131$E5FEAA71-D34A-48EE-B146-0CF9B7957FDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0471f76c44a829f2889a73900aab9874a124e0c4","datavalue":{"value":"10.1016/J.IC.2007.11.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012131$D4FE6D1E-FCEF-4D5E-9C97-6E7C68D34739","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd9ea76e6c7f8f1d69e926643d33614a3f1b56b","datavalue":{"value":{"entity-type":"item","numeric-id":2864153,"id":"Q2864153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057b080814f4b5f8e04e32ce82844516fcc90df1","datavalue":{"value":{"amount":"+0.7533980011940002","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":"Q1012131$98AC0B1B-5788-476B-9646-9E4F45E845A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76f3bbf2e4dbc198b27d1e5e6691993c280f12e","datavalue":{"value":{"entity-type":"item","numeric-id":2464947,"id":"Q2464947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07014c26fb97b82e831fa1fa5131e5e7ae44369a","datavalue":{"value":{"amount":"+0.7489662170410156","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":"Q1012131$1F8B4F04-FE47-45E8-9D2A-ADF3E62396BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2624a540748b4e158f71ea38175e16e629b1bd78","datavalue":{"value":{"entity-type":"item","numeric-id":3476794,"id":"Q3476794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c5079ed8e848fb775e3ccf520d906fa6e846f8","datavalue":{"value":{"amount":"+0.7444707155227661","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":"Q1012131$672EA84E-6FEA-4B3D-8E3B-A6F57CA9AE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c8fc29a8abd66aec0f889dccada072e7d5d3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3545276,"id":"Q3545276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d36469a8e85d0f3f6e5064bfc9d358434f98ed","datavalue":{"value":{"amount":"+0.7406622171401978","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":"Q1012131$52B26A13-DBA5-4F13-BDE7-0DEEEDFE4A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959832de3369a3e6ac2ca60ca2a2f962f8ee1ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4411847,"id":"Q4411847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691fcf251b13b76558dfb88eef9f2bf4cdfacb6d","datavalue":{"value":{"amount":"+0.7368431687355042","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":"Q1012131$E714C2C5-0E1B-4F96-8FCA-4436A1FA1622","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A family of syntactic logical relations for the semantics of Haskell-like languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_family_of_syntactic_logical_relations_for_the_semantics_of_Haskell-like_languages"}}}}}