{"entities":{"Q2866338":{"pageid":2877058,"ns":120,"title":"Item:Q2866338","lastrevid":51890480,"modified":"2026-01-20T11:54:18Z","type":"item","id":"Q2866338","labels":{"en":{"language":"en","value":"Type-level computation using narrowing in \\(\\Omega\\)mega"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238197"}},"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":"Q2866338$29E123C4-E881-43E1-B33C-7F714ABC241F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"115e74f045aaf81c519ebc361dcfd8589cfc5719","datavalue":{"value":"1277.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866338$F9FCFA14-7E5B-4959-8033-7FBF83B8861C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d68f626b81ca56cdf77c612696c146f6f79bb2e","datavalue":{"value":{"entity-type":"item","numeric-id":1583362,"id":"Q1583362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$CC4362F2-C87A-4163-8E6A-BFC6F5309F99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$9F1A8F04-AB42-4DC8-BD34-5396E97CC264","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866338$ECA312E9-9744-4AF6-BF9F-59CD282782E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866338$CB23D3C6-83A0-4A39-9F31-B79D116AB3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866338$5951EA75-DA77-46B7-90C9-77A0B0244E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866338$F1D56FA0-D5C7-4102-904E-DF67DA1B0E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866338$1EF34B51-15B6-451E-8A65-7B8B81CCD3C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c914e20ac3d30db4702c049d8334665f5de4070","datavalue":{"value":"6238197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866338$CCC0FD89-F35C-49D2-BC04-EC189E39C71D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866338$1B3B3DC2-165C-4C86-AC0B-01ED5E9C699C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49704f34af712f97ef31c9f6b0fabf56f737349","datavalue":{"value":"logical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866338$88E69330-ACF1-4D58-9F8A-2DE066554BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866338$F3A05A4F-7246-4E11-B310-8AED1BFAF402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866338$19627A8D-30AF-48C5-92E9-C08C00D4BFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866338$6013B436-4361-4185-85CD-7154A80377E3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$20414F40-B7D5-444C-B6BD-7053E10FF73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$1FDEA10B-FCB0-4AC0-B40F-45286B958C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e41927344b9397ba2eb05288d661d38c0f0d55a6","datavalue":{"value":{"entity-type":"item","numeric-id":21665,"id":"Q21665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$7A610D02-DDF7-47B1-877E-13A503348842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e74e65aea50b572ed5cc320d9d0d7a2d70ec494a","datavalue":{"value":{"entity-type":"item","numeric-id":21666,"id":"Q21666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$024DDBC6-0AD3-4550-80B3-D6EF8855E514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$F01DCAA6-6417-4C42-84D8-B038175EFE5C","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":"Q2866338$240854B7-CD47-4050-A581-40AB5243A8EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5010e8dfb6333369eb3f4b39519c0d0b6fce00a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.10.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866338$04B70496-08D8-4C40-B83F-4E6D5838585C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49ef6c608f622d7fa25bf20bf82f34512e50a7ad","datavalue":{"value":"W2000139857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866338$366CBFC7-649F-4A84-8EAD-57B5BBC2DED7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be460cf8a6fc084e059559ca1ad3fbf5a71ea202","datavalue":{"value":{"entity-type":"item","numeric-id":2456576,"id":"Q2456576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$19287C66-6CCA-4B4F-84E0-AF01FD083245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc19f055d55f9abb4a7f436135735a8657522ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5234272,"id":"Q5234272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$09564FA0-57CC-410D-832F-BAAC2CDE5BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$53C7BA4C-2882-4786-82F7-E4396EE13A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cc56edd0b254dfef982e0d78e55a31ce4a585d","datavalue":{"value":{"entity-type":"item","numeric-id":2726244,"id":"Q2726244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$45A57E8F-3041-4E39-B8A4-F35586AEFE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c905609ba1a69ac6cba3a72bf833c26796dee0df","datavalue":{"value":{"entity-type":"item","numeric-id":2936769,"id":"Q2936769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$BEE74D87-1C9F-440A-B74F-5AFDD29F99C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ca3169b9facb7516f26162b8b9f1adfa3076fd","datavalue":{"value":{"entity-type":"item","numeric-id":1850959,"id":"Q1850959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$38DD0DD1-726E-49B8-AA93-CF3B52ACA999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd30f54dc1172b6a050747015824abf8853f3b64","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$9FC5F3FF-21B0-45F4-9734-2EDF8480F091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d19ade3ffc553010cf9e6ee8073844684ea8de","datavalue":{"value":{"entity-type":"item","numeric-id":5348906,"id":"Q5348906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$C96DEFCD-640B-413A-8A78-164A69BCCF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5166b17f4c3bc56240a69096dcffdd2ee6438c83","datavalue":{"value":{"entity-type":"item","numeric-id":3177881,"id":"Q3177881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$0CD3640E-4E22-411A-9042-E3466F3DBE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5765b1c70da77537c6e225225ff527afc50bcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$4D48FA6A-1BD7-4BC7-A961-B8CA85792B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234a72454df53d61ac16bbd43d99bc7ef1ed77f2","datavalue":{"value":{"entity-type":"item","numeric-id":3419812,"id":"Q3419812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$5B034435-C427-41B2-8675-0E61D1E64833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$5FFB881A-438B-43D9-B281-6421790F20F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8b694d70fc75aa502f005dbcdfea291d709051","datavalue":{"value":{"entity-type":"item","numeric-id":5178908,"id":"Q5178908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$3B272859-7A93-4D1F-A3A3-2578AFD19B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8690a256ff79e7f12aebcc1a7a9e001a7674d9a","datavalue":{"value":{"entity-type":"item","numeric-id":5178854,"id":"Q5178854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$E0ACAA79-3E5B-4B97-AF3C-182EDE72DC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb97a01d1b2fb36defd5091f2c371db7c8e89d6","datavalue":{"value":{"entity-type":"item","numeric-id":2936790,"id":"Q2936790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$4EE0CC4B-7159-475F-B046-4C750D0D65FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3672c8b02758806da440a6d77105fdfedf9117e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308083,"id":"Q5308083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$B05338E2-616B-4BBD-B85D-99BB0C150344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a202c15d6f0203e77f6eb394d88152eebfc809d5","datavalue":{"value":{"entity-type":"item","numeric-id":5712319,"id":"Q5712319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866338$441AB302-FBF8-4A37-B6BC-51CC53CD9BD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0701a28522f3b238200c652ef3be1f0b8093f053","datavalue":{"value":"10.1016/J.ENTCS.2006.10.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866338$C430B40E-0DA5-4A52-9B0A-831665D73B93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"430bf68ecc673f1b6138e7ecf4e485261ce4ad40","datavalue":{"value":{"text":"Type-level computation using narrowing in \\(\\Omega\\)mega","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866338$F2533F46-17BC-49AA-AE7A-209476C749C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a03d4af679a00d4f6a88bc1bc1736ccec11922","datavalue":{"value":{"entity-type":"item","numeric-id":2871838,"id":"Q2871838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2130efbece53411574b2f1d7c20cc998fe1a7b","datavalue":{"value":{"amount":"+0.7259963154792786","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":"Q2866338$60007165-21C2-463D-A998-4422A560982F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d8da06e6ce303ac3ae20132e8d81ed52ea1bcc","datavalue":{"value":{"entity-type":"item","numeric-id":2766793,"id":"Q2766793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02bd5e01c96b5502e97abbd2db1d0dbd299fdf2f","datavalue":{"value":{"amount":"+0.7053318023681641","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":"Q2866338$02E99DF2-4151-46D4-878A-0016022862EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58155a92e39d4db88bc5dc6a9bd708533775264e","datavalue":{"value":{"entity-type":"item","numeric-id":5096386,"id":"Q5096386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48bd2df1e59ded0838e3b50ba39e2d6603480a2b","datavalue":{"value":{"amount":"+0.6867259740829468","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":"Q2866338$503A2C2E-8456-4AD5-9B81-BB4E0259D52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8efbc65ee17b7b568bd7ab7197e7ec610c8b517","datavalue":{"value":{"entity-type":"item","numeric-id":968524,"id":"Q968524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3953e7d0f724b6c2b50247df06b2a4fac3eceac2","datavalue":{"value":{"amount":"+0.6839309930801392","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":"Q2866338$B61171D8-A3C0-4905-A1FD-86F556CF08D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de5131f54b9aae96506aea5f385bd74795af01a","datavalue":{"value":{"entity-type":"item","numeric-id":3599181,"id":"Q3599181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cabb4b3a9b35cfc63e53638739eeca309e88cdb","datavalue":{"value":{"amount":"+0.6763309836387634","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":"Q2866338$20875CDB-E1DB-4FFD-A9A7-1158964C54AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2866338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2866338"}}}}}