{"entities":{"Q1791163":{"pageid":1801905,"ns":120,"title":"Item:Q1791163","lastrevid":72966435,"modified":"2026-04-14T09:04:34Z","type":"item","id":"Q1791163","labels":{"en":{"language":"en","value":"Efficient Mendler-style lambda-encodings in Cedille"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946983"}},"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":"Q1791163$313DDD37-BED3-4283-B6D7-B8F07304B4C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ed7658c69925fff7acacf96e7559398b80999c0","datavalue":{"value":{"text":"Efficient Mendler-style lambda-encodings in Cedille","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791163$4CCE6372-2DBA-445B-B3B1-D74E3DF3B63A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4de5e2d2d29c68ab501431e11945f00a3297dd3","datavalue":{"value":"10.1007/978-3-319-94821-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791163$5E999690-8290-40F1-AFD9-ADEF067B578C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9c5848e2e659f108ddd6570f42552ce40cdd3c","datavalue":{"value":{"entity-type":"item","numeric-id":465492,"id":"Q465492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791163$BB7C03F5-E522-4D51-81A0-C50C6447230A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd75eb26b3abb442063b651f2209c3254c2eace","datavalue":{"value":{"entity-type":"item","numeric-id":1791162,"id":"Q1791162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791163$4D6EF826-E699-4DE6-87F0-C33DC8E85C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791163$6BBFAAE8-CC60-46E6-ACC9-F3F84C5119D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791163$3E7973FA-7310-4FB1-AA6A-08F9637D0F7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33aee782e780b25ef77760b3fda5a1c293ad21c4","datavalue":{"value":"https://arxiv.org/abs/1803.02473","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791163$4A136D20-89D1-4744-8D09-2BE0E0686260","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791163$E9753722-CD38-46ED-8A96-E9618EE0E33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791163$5598335A-150E-4295-8895-AE7B72162E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791163$0F1AC3DD-648A-4DE5-9EB6-BA724268E93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791163$277BBEB8-DCF6-4C4D-8098-B017FE8D67B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae77bd82fba18c51b473060d9971fc7b08cece74","datavalue":{"value":"6946983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791163$B4A01023-8FDF-4751-BDFE-3C5460C9AA48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791163$4AAC92F9-192B-4E17-AC3A-8FB00D1C336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00f1c694edf054b829081d6b04e175fa0cd1b1d8","datavalue":{"value":"lambda-encodings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791163$72808BFD-AC03-4349-BA32-0EE9F65E90B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93914ef09ae1b2928c4a800314244e42dacf5175","datavalue":{"value":"Cedille","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791163$5773A9B3-F138-4ADF-B7A8-3AB122B455E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb82a6bb049eca827530aea8e4ff9bb2ba33b1cd","datavalue":{"value":"induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791163$31754BC2-C128-469F-A741-F48EF023C8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bff94b8869afa0a5f88d81c062347b207cbf9db","datavalue":{"value":"predecessor function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791163$D8DECFB0-B345-4DDD-A5D9-666ECAF0F6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9261e7176c355d25de550288f511ceb3b62960f2","datavalue":{"value":"inductive datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791163$4F8B74D9-201F-4210-8572-349DCF890E06","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":"Q1791163$CD275499-7ADD-410C-AFE9-B0406CECF4D5","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":"Q1791163$576D5E26-888C-4308-9A3C-85E016953134","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64c18142328190ac421c96942c7eecb3ed0cfe9a","datavalue":{"value":"W2962695160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791163$6A21E554-A607-4D57-A68B-19CB654AE88C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a66d2cbfaf3c4e6c1901b9fd3ccb0f17582079","datavalue":{"value":{"entity-type":"item","numeric-id":5020623,"id":"Q5020623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67510c84a11519749c408178101134fbf0795c73","datavalue":{"value":{"amount":"+0.8633978366851807","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":"Q1791163$265A470C-64CA-4D88-A3F5-4042F0297CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8b9b1ead44f7b2e3e7f4382d6eba6dfd4c1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5371961,"id":"Q5371961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376c2f0ede611f5daa2cee366561bfbe7b40cdcc","datavalue":{"value":{"amount":"+0.7944763898849487","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":"Q1791163$5DD86548-0CB5-452B-A514-7291D6EFF630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8230434b2ad6f33d1fc7cc0b757354a137c6c3","datavalue":{"value":{"entity-type":"item","numeric-id":5076393,"id":"Q5076393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95586111319bded7fd9ffd455c87222660cbc0e8","datavalue":{"value":{"amount":"+0.7944086790084839","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":"Q1791163$A35E2807-613E-4ED3-8E88-749C4BFB9588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b6d5d9914f2d37077df71dc6315d295973db81","datavalue":{"value":{"entity-type":"item","numeric-id":2829276,"id":"Q2829276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df008791a9572c5e0d4998b90c03a65318b184d7","datavalue":{"value":{"amount":"+0.7603641152381897","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":"Q1791163$467E2508-C03A-4D7B-94C9-4CAD5285D161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9215f975e6afcecdebf0bff135d969e49fa3864f","datavalue":{"value":{"entity-type":"item","numeric-id":5014449,"id":"Q5014449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7796fe5d46174587381619fee73adcf14e1fed7d","datavalue":{"value":{"amount":"+0.7492930889129639","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":"Q1791163$2C8DBCA9-70F2-460D-A70E-B95B2077FC4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient Mendler-style lambda-encodings in Cedille","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_Mendler-style_lambda-encodings_in_Cedille"}}}}}