{"entities":{"Q5408546":{"pageid":7438120,"ns":120,"title":"Item:Q5408546","lastrevid":51972524,"modified":"2026-01-20T16:11:39Z","type":"item","id":"Q5408546","labels":{"en":{"language":"en","value":"Generative type abstraction and type-level computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282606"}},"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":"Q5408546$4FBF9A30-E050-4228-BDFA-5656C3BC1FA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a62c45b3183ce4e69fbf20beea896e46e9317fc","datavalue":{"value":{"text":"Generative type abstraction and type-level computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408546$10C94EC2-AD31-481D-9CCA-2416C4A9396C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7ca9a206227e0a3bb92ec6dfd01c4321289f617","datavalue":{"value":"1284.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408546$6EE916D5-1996-49EA-97DF-313099CAFF50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a779941a0e48b2720f7c0e8978c08bd307ccd0d","datavalue":{"value":"10.1145/1926385.1926411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408546$70414C11-BEDD-4929-92BB-454354D1883F","rank":"normal"}],"P16":[{"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":"Q5408546$0994FAEE-9A44-48A9-AE78-121A4B79705E","rank":"normal"},{"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":"Q5408546$A569C6CA-95D0-416A-8763-CEBF7CB1E0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"009b7b8cbfea2fbcb395e57ee3935b49b0504fc8","datavalue":{"value":{"entity-type":"item","numeric-id":276493,"id":"Q276493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408546$6E4218DB-3FDB-4DFF-9C2C-79D46DFBB27E","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":"Q5408546$9BE0C803-895F-413D-A77B-713511098873","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408546$457513BC-8C35-4AB3-8B8D-ABD34F33F1DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408546$2F7CAEED-7CFE-4E85-A726-F172DF5A6A2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8be8e5098c31f878255e888752f62e92ddcc9b99","datavalue":{"value":"https://repository.upenn.edu/cgi/viewcontent.cgi?article=1598&context=cis_papers","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408546$61361A62-E723-4DCE-84B5-18CA6E61CE84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408546$90014637-0D1E-4BCC-A007-78CE2604CC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408546$F3D40CF6-731C-4838-A77A-4A13464562FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"106a00cb31f7659926fa26987bccea5fb34845fb","datavalue":{"value":"6282606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408546$9BA213B2-14B5-4075-A4CC-092BFE3F26B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408546$581C7A82-120E-4549-9BC5-31C5942D4C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78fa531b0ee9d5df0bd840a971e648fbd2a6f061","datavalue":{"value":"newtype deriving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408546$7D5DBA62-AF3D-4F52-BD54-FA2ED7F58F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c2003c1608559b509e785d1265059aacc0f9d23","datavalue":{"value":"type functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408546$3630021B-497C-41C1-859E-C1A06C1609F1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408546$59D1C374-52F0-4F9E-BEB7-0F0C3D9E3658","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":"Q5408546$3E114381-CC09-4560-9709-CCDFAB7E6A48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4a8ebabb2d1e3b7751b784098c77410b6c945da","datavalue":{"value":"W4213422035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408546$D4321A76-6844-43EE-A712-9700216A0268","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03e4918ac0037e2e9a993716aaf54b0b49b6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2936811,"id":"Q2936811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd2c2b4b0aabfdc1600e5fcdb133a3814778df52","datavalue":{"value":{"amount":"+0.7353065013885498","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":"Q5408546$3A67840C-1E72-400C-A6F8-68FB86B0C697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb4e542a40723c8916484588099ff298902d74f","datavalue":{"value":{"entity-type":"item","numeric-id":4918243,"id":"Q4918243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df51981dd9c8c023e46ce9ac4276ec67dce8fb19","datavalue":{"value":{"amount":"+0.7352343201637268","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":"Q5408546$7D663251-AE74-433A-B161-396F3FCF573C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c570d7df92cafcd2336cf3ce87c91d53b29ae22","datavalue":{"value":{"entity-type":"item","numeric-id":2942929,"id":"Q2942929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f83c1e3645cb410627438641af5e388b2a17362","datavalue":{"value":{"amount":"+0.7129227519035339","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":"Q5408546$C0BBB8E0-57E0-4EF3-A658-226FCF30F213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c6eef8832514760855960e9f45d9444cb78cec","datavalue":{"value":{"entity-type":"item","numeric-id":532406,"id":"Q532406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9294c5ebe2030d73be2f67c5758b2795277430a8","datavalue":{"value":{"amount":"+0.7016903758049011","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":"Q5408546$B9CE851A-A18B-4598-923B-85F71857D12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2d0643a765b2977b238213a4687490501cdea8","datavalue":{"value":{"entity-type":"item","numeric-id":2936766,"id":"Q2936766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1215189143d1016cd0dd0ee78668d5b3b41bda6e","datavalue":{"value":{"amount":"+0.7006816267967224","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":"Q5408546$DCAD269C-5704-44B9-81DF-9B940E343173","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408546"}}}}}