{"entities":{"Q6079236":{"pageid":13213543,"ns":120,"title":"Item:Q6079236","lastrevid":55502431,"modified":"2026-02-17T17:49:58Z","type":"item","id":"Q6079236","labels":{"en":{"language":"en","value":"\\(\\eta\\)-equivalence in core dependent Haskell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7756112"}},"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":"Q6079236$C4E9F09B-1942-4771-BDA0-48C65DE9D826","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe1d021e2d1f0f95509eefcde10fdfea17e84329","datavalue":{"value":{"entity-type":"item","numeric-id":6079234,"id":"Q6079234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$942AFB23-A2D5-428B-9975-F56BA4F63D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bef8432c0713a82b0a45d505275d13d87153ccb","datavalue":{"value":{"entity-type":"item","numeric-id":6079235,"id":"Q6079235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$2E2E900A-0E5B-460C-B889-203470D26568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe52ffa1b7468cd548841738a45dc4a65b5c47ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763692,"id":"Q2763692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$6910A808-4FA9-4310-9264-E2B22E7DE302","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85e9fa56e4bc3415a8bc443701bc1ff7ec8b61a3","datavalue":{"value":{"time":"+2023-10-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":"Q6079236$819E43CF-5CD3-447A-9430-3542F5B52074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079236$E0D059CE-5673-421B-B171-C52365EB9F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079236$91C1A460-35D3-4BEA-BC44-CB194F0A3E6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5c80cb28ac52633d6fc1afbb539222769007b4b","datavalue":{"value":"7756112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079236$B0B67E15-2F33-4D9D-920D-0D3C6581BB84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079236$5FFEFE58-3F00-461A-9373-0761363B247A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079236$D848CF2F-9414-4C9D-8A3B-BB9265B4348B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be9170a0fd289d48a3dca14fb8198b4f247b70c6","datavalue":{"value":"irrelevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079236$4662C77C-AD56-442F-8ED4-CD1EA67F33A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854649d26466929eed9b611533d2d93c2cdb87f6","datavalue":{"value":"eta-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079236$0A9EFEAF-2137-44D1-805A-488F3302BE18","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":"Q6079236$9D185507-0D24-41DB-A17A-4C64C62E1A19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"febdfbc8632d1acb83c5e1ccd98288b2f6bba3a0","datavalue":{"value":{"entity-type":"item","numeric-id":5166618,"id":"Q5166618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$CF14810D-0408-4C54-8C69-7B321167CF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833079337a3c2f303ddbc3fe894c26799c99160e","datavalue":{"value":{"entity-type":"item","numeric-id":2881097,"id":"Q2881097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$EBB225B7-2F8D-4FB8-9B83-5558A88DB74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"590bafa3f5ab2539f54e87a74876e71f860845ef","datavalue":{"value":{"entity-type":"item","numeric-id":3377462,"id":"Q3377462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$72BAD4DC-1443-491B-A2E6-600B5FFF6089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324ecf1b83629f49a2cf02432ea440e2d5e9d22","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$CF0A444D-F5B7-46BA-AB83-52767B3A85AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$14F32F5E-DA37-40F7-BEC6-285FD0E8FB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$A983D270-E814-4BE7-98D6-59E5F2C6F0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f804ba9bd933e99538ba26edc67730d9ee308ef","datavalue":{"value":{"entity-type":"item","numeric-id":5458373,"id":"Q5458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$6326D4FF-EAED-40C0-A8E8-083FE57E8C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$191D359B-FB55-49CE-AA99-98418BBD2F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6224dd9008c6167ab2abbf67da65d1f726ff5d94","datavalue":{"value":{"entity-type":"item","numeric-id":1916364,"id":"Q1916364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$16C8CE1F-66BD-4154-9EC4-0779F6B35D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71cab0da64d8702c22179d9a10bdc20344a6c561","datavalue":{"value":{"entity-type":"item","numeric-id":4736389,"id":"Q4736389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$384DA52A-FE14-4AC3-A748-87AEA8FE69EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$91F567C2-C722-4FF5-AFE5-0C75E71DFC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3c69fa2672b8fa81e2d2be45ac3f1049ef642d","datavalue":{"value":{"entity-type":"item","numeric-id":5277716,"id":"Q5277716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$4B974641-7F19-45B4-9D86-E7254E698538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28d48517ea43dcf1dc2bbbada71a7d7b49291bd","datavalue":{"value":{"entity-type":"item","numeric-id":2778831,"id":"Q2778831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$EA6E54D4-2C2F-44CC-B91C-1B043AC9D9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5e06440707ca6152cde9cf3ed60059f573beac","datavalue":{"value":{"entity-type":"item","numeric-id":5458371,"id":"Q5458371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$DBB5720D-4F6B-4A7C-A69C-803C69406045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418ca3d9431f35ad8a25d0f1fd92efe2aed16e9d","datavalue":{"value":{"entity-type":"item","numeric-id":5145355,"id":"Q5145355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$1D5B1C64-DD6E-4B29-B78C-E27A1F7F04DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$60D8F96B-F4AF-4F3C-9F26-0DAB17AA7B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a37d46eed0861d3cef1d05ad4dceb687abd1a86","datavalue":{"value":{"entity-type":"item","numeric-id":5189646,"id":"Q5189646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$CFB68040-8DC7-40FF-BE1D-A7D7E6B55263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726a045bfe5bcf27b308fa8553c106d6b5ec2d30","datavalue":{"value":{"entity-type":"item","numeric-id":4918240,"id":"Q4918240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$DC2D15F3-CB13-411B-9396-AE55FD97BA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d265d2199a319510205fbc61950a83e53359bc","datavalue":{"value":{"entity-type":"item","numeric-id":5244807,"id":"Q5244807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$77EF34E9-F9C4-4419-94D5-488CFFE5A4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac0238542245b8dba16f4222440bcd83dd0e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$0112C3FF-74DA-4DB3-98E2-FD68C5C569FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079236$3B687AA1-33C8-43E1-8928-7406EE19A6D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02dd3ac915ca27fb35729bd74260af0220c8b6bd","datavalue":{"value":"10.4230/LIPICS.TYPES.2019.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079236$87EE4B1E-FEE8-46FE-8B6A-055DA218E9AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fd43a44f3b9cfd7bd0b81a0d97cefc78cec0ad","datavalue":{"value":{"entity-type":"item","numeric-id":5276136,"id":"Q5276136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4b29db19cde00d5615b02ec103a80874e173fa","datavalue":{"value":{"amount":"+0.7336862683296204","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":"Q6079236$96E96CE5-2CA7-443B-B46C-6285C1A22553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a36bd0d73762f577c35def3f3195dc83f5eb171","datavalue":{"value":{"entity-type":"item","numeric-id":3558328,"id":"Q3558328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd51824aabc58105d0091c8198dd9a1cc277f795","datavalue":{"value":{"amount":"+0.733014702796936","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":"Q6079236$6969A90A-2C33-48DD-AA97-554C66594F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fdc387bd755386d5018226729b82d32c15d7b1f","datavalue":{"value":{"entity-type":"item","numeric-id":5854731,"id":"Q5854731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f842e18bbcd40ad1b5f8acbb4b0ecd2a97b813bf","datavalue":{"value":{"amount":"+0.7302893400192261","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":"Q6079236$4472BAA6-7803-4312-94D2-31F9428F665C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a0473919ea6c5017bb146da85656b42d602fe2","datavalue":{"value":{"entity-type":"item","numeric-id":3024906,"id":"Q3024906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806331429c41367d5a6f0b0103be5b0aa698f549","datavalue":{"value":{"amount":"+0.7265113592147827","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":"Q6079236$CBCDA9E4-66C9-4E24-A4D0-3D32C1EEE527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e67cdf29232ab448658688d6140fa53c786a36","datavalue":{"value":{"entity-type":"item","numeric-id":4263801,"id":"Q4263801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c09a135c32f49a63da97ca15e96214c75aec7e","datavalue":{"value":{"amount":"+0.7182841897010803","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":"Q6079236$3008FE74-727F-4549-8124-7344C53DD82A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6079236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6079236"}}}}}