{"entities":{"Q5020623":{"pageid":7050200,"ns":120,"title":"Item:Q5020623","lastrevid":54194138,"modified":"2026-01-26T10:57:01Z","type":"item","id":"Q5020623","labels":{"en":{"language":"en","value":"Efficient lambda encodings for Mendler-style coinductive types in Cedille"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7453169"}},"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":"Q5020623$244B9A57-D275-4291-8ABE-520BDB228604","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe249405086956ef8032adf5c2cac0f3279d4d94","datavalue":{"value":{"entity-type":"item","numeric-id":5020621,"id":"Q5020621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$22C35819-D50D-471B-A026-5C10932AB887","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":"Q5020623$7F9E20C8-3563-4B39-ADBA-803CE7665C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f81395139838cac6197cd512f660083e88955db5","datavalue":{"value":{"entity-type":"item","numeric-id":5020622,"id":"Q5020622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$47AB5F53-5669-45D9-BE4E-F3E8D56BA98B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5eeef85fccb3b9ec0f1e08769d6215b8e0218bd","datavalue":{"value":{"time":"+2022-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5020623$E292142E-2BD3-4BFC-B66B-ACA18773B4A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1612b2085323086b07265a4154b0028b1eb7d656","datavalue":{"value":"https://arxiv.org/abs/2005.00199","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020623$E74EDB2E-33B4-4229-A94B-1D2B58D9A4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9724ef46fccb0f1b8da62c6dbd6cca7f5c312642","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2020.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020623$D8769C04-A151-4188-8A25-D8D1D81CC857","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020623$2B8D5E10-DFBE-40D3-8335-3B25910F79B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020623$2717223B-8AE1-443D-A1A1-3212407931B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0cf5de059c09191f75c67a9359ce287d4f55d2c","datavalue":{"value":"7453169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020623$04FC811F-C6DE-4C89-A5A6-91B32D64B08F","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":"Q5020623$A9FE5C08-CCE1-4833-8359-5755143D436B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ea5885832b9f867e6bed74c7137f05eec86479","datavalue":{"value":{"entity-type":"item","numeric-id":2931780,"id":"Q2931780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$D4478756-F98E-4DEB-93E8-B508697C4BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02420b55b611e11c71fb1baf0d07be65f4765be8","datavalue":{"value":{"entity-type":"item","numeric-id":5244799,"id":"Q5244799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$A69F4132-8BD3-4C10-8262-E1A5CF9825B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33bf517641d12fc4df4d7fdbda832f3ef440e8b","datavalue":{"value":{"entity-type":"item","numeric-id":865639,"id":"Q865639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$772ADD87-F12C-43D1-9C79-19211253261F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dac06384dc787a405949068340510a6602af80","datavalue":{"value":{"entity-type":"item","numeric-id":4463991,"id":"Q4463991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$4BE80052-B687-4D9E-A773-CFBB3995AAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4259fb8b3702d8889aff93bd6ef193a826320701","datavalue":{"value":{"entity-type":"item","numeric-id":5371973,"id":"Q5371973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$CFCB1431-7DC8-4698-A49F-379280EFD360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb25dd7f01109043db25ec1276aefa0a257d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":1257009,"id":"Q1257009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$874EEF46-91D3-4A5D-8189-C021F8FA2745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$558A7023-F220-47E4-B60D-301429879284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42005bb3116815354c4371b0da1229b09744f2c2","datavalue":{"value":{"entity-type":"item","numeric-id":1791163,"id":"Q1791163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$3FB27D19-B5BD-4510-8E84-B76088A87825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eadddf82feaf866848bc8cb4dd929adcda9009d","datavalue":{"value":{"entity-type":"item","numeric-id":2778821,"id":"Q2778821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$F7A98A55-A279-473F-9F49-1AE6114D1DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$C73E7242-EAC2-4874-A27D-C1138768AFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$33CAC102-CCC9-403D-92F1-BCBAADDAD9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7e7dfa9d530d207d8af0616a7342a81c167185","datavalue":{"value":{"entity-type":"item","numeric-id":4720069,"id":"Q4720069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$E87DACEE-DFCF-4266-B8A7-6BFE534F617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32371224712c3013bdc19605ccedf407ef52a6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4263804,"id":"Q4263804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$1B27B16A-087B-4586-8E00-1245B42474AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3a2f7197df934ecfd449921324a4c71efc0982","datavalue":{"value":{"entity-type":"item","numeric-id":4943544,"id":"Q4943544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$EF4AD3CF-9F70-4D46-8CE1-07A3D7321F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f1cf971569108cacdad2f6af4c416617bcf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639842,"id":"Q2639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$124B8EF1-4053-46D9-B2E8-758CFF0450A4","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":"Q5020623$DFD97D36-8453-41F3-AEB2-A0E432E72418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0882b92509d86167082a58bce5848b4bbe9f50ea","datavalue":{"value":{"entity-type":"item","numeric-id":4268477,"id":"Q4268477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$CA957156-FDCC-49A4-9E7E-2F6B077BBA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e485adcd5eabcbfc1550f63607a59b1d485ebfc","datavalue":{"value":{"entity-type":"item","numeric-id":2817715,"id":"Q2817715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$DEDE5142-00A1-48FE-B853-466CFD5BECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980de19aad36b35085980c3806cdf17c9c9c82b8","datavalue":{"value":{"entity-type":"item","numeric-id":5372010,"id":"Q5372010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$B4CD5C3A-2CD2-4CE3-8EE4-55BE64CB6AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22130529177978d51b41ad2c5cdd3582a80fb3dd","datavalue":{"value":{"entity-type":"item","numeric-id":2636522,"id":"Q2636522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$C10AD6B0-F563-458D-9608-0C29D4452024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$7BA50C96-D07D-4F90-83DC-57970314D41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0976b9baebcfe9b64ff735439b9a2ee30d9b405","datavalue":{"value":{"entity-type":"item","numeric-id":4939621,"id":"Q4939621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$AF02A8DB-144D-4ADF-953F-D3C450B8429B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb253f5e5ed6313b31d572da8a6830ce788f9767","datavalue":{"value":{"entity-type":"item","numeric-id":4524982,"id":"Q4524982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020623$C0828C22-43AC-4A03-AA69-844718CD4D82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512fbd36e27741965404e29ed9ad22c82889f878","datavalue":{"value":{"entity-type":"item","numeric-id":1791163,"id":"Q1791163"},"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":"Q5020623$D935A069-CFEA-4535-9D2F-73C62D1FEAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55446309c0901cc7b227f20e9eb6f3af5322b55","datavalue":{"value":{"entity-type":"item","numeric-id":5372010,"id":"Q5372010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bebe3622049748fe1f29a7663c6ea7479e557e8","datavalue":{"value":{"amount":"+0.7563693523406982","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":"Q5020623$69CA1061-D4B4-47C9-9846-21601370B354","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":"9ce45dd8394d132cd9746e95d93f8b14f87d3c0a","datavalue":{"value":{"amount":"+0.7558177709579468","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":"Q5020623$C896FA2A-843F-4EC1-83C8-996CEE3B66D0","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":"a08046a1d298545ec60d73de5cd59aa44a6f5999","datavalue":{"value":{"amount":"+0.7558113932609558","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":"Q5020623$8CBF46F3-572D-43CA-8D94-6DFA441A2BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941255af1156caa8f0c80bb23c5f0fe65fc60b95","datavalue":{"value":{"entity-type":"item","numeric-id":5170819,"id":"Q5170819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e94463af70987b3e2c310376ae1f745d72e7e88b","datavalue":{"value":{"amount":"+0.7153798341751099","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":"Q5020623$7BC8A70B-C586-4087-B599-63E775BA9797","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5020623","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5020623"}}}}}