{"entities":{"Q2565990":{"pageid":2576733,"ns":120,"title":"Item:Q2565990","lastrevid":72794688,"modified":"2026-04-14T07:53:07Z","type":"item","id":"Q2565990","labels":{"en":{"language":"en","value":"Equivalences between pure type systems and systems of illative combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2210070"}},"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":"Q2565990$4AB5325B-E029-4C38-8FA4-F4C2B7524BFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b89f9e901b07c87e6291a65a87998ce40d0dcdef","datavalue":{"value":{"text":"Equivalences between pure type systems and systems of illative combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565990$9C37C6A7-EC7A-4098-AC8F-F3EDFA18A53B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30aaf0e83a8fd60fd7010694c6f01e50bd4a4492","datavalue":{"value":"1081.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565990$0CC12771-407A-4B54-A163-27FC9257AFBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$226BD343-A75C-41BE-9B5A-A1BA3B94D4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"219a2f47f22fa561a103f4e2d26eaefd86ad9ae8","datavalue":{"value":{"entity-type":"item","numeric-id":1104310,"id":"Q1104310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$8C243F19-7FE1-403A-AD2F-F9416B7F90EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$2FFBA13E-8F98-4BE5-90EF-10C358DDAA25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149818fcb8bed0a5b750a95fd3a49925c0920292","datavalue":{"value":{"time":"+2005-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2565990$CE66BCD8-8003-4EA1-8799-3022E5BE6FE0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0302d64d45b46f484d425c6a385d94883362c29b","datavalue":{"value":"In continuation of the paper [``Pure type systems with more liberal rules'', J. Symb. Log. 66, No. 4, 1561--1580 (2001; Zbl 0997.03014)], the authors introduce Systems of Illative Combinatory Logic equivalent to the four Pure Type Systems PTS, APTS, SPTS, and SAPTS, introduced in the paper mentioned above. Properties of the Systems of Illative Combinatory Logic as well as the equivalences are proven in full detail.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565990$A53DA6AD-FE73-473C-AB03-9BEE5064C144","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$B23D85BA-5358-4C78-BCC6-A4F0A13C87B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565990$076DDED6-FC37-4C7B-BD7C-02517FB6D296","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc55379c84f7f8e40e6fb1ea3e68ca5ff88658c9","datavalue":{"value":"2210070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565990$08146F53-5FEC-40B3-A104-19FCC51934AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565990$D672355B-C28C-4A35-A8F7-61C869C72215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83df4fb2317fb4f07167bab99677f36891f7fdb0","datavalue":{"value":"illative combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565990$CF75B73B-9ACC-42A8-A16A-ADDB9408A2BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"125e24806a318d7876cfdef9a5b48bfaf8114305","datavalue":{"value":{"entity-type":"item","numeric-id":15937,"id":"Q15937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$8619E544-A556-46A9-866E-C9446DE9D853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$4C069643-C55B-4D88-AD6D-064ABCF379B8","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":"Q2565990$F6A73E07-4A6B-469F-94F4-717AA39F5208","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"488e570a019844976caeb094f15ef2f544216b86","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1117755149","type":"string"},"datatype":"url"},"type":"statement","id":"Q2565990$D533D081-76F1-4362-893E-D26AFFB1A5CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f43de535937e389b2bfd3dac16f4076cd7c6570b","datavalue":{"value":"W2019024348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565990$8AD4A0C2-AF83-4EFF-9A95-A0033CC2236E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$F26B0E84-FC0B-49BF-A15F-105A52604E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57753aa15f2bae4950b84abd6b61ffa3af7bb14f","datavalue":{"value":{"entity-type":"item","numeric-id":2539865,"id":"Q2539865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$9D129953-7164-4CCC-B1AA-52B4DAA1E24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41236bda407996d8785fa3f908598e0efce75ae","datavalue":{"value":{"entity-type":"item","numeric-id":5895441,"id":"Q5895441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$958DB7B3-930D-4E67-ABBA-91C2BBD0C771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b2f5022457b590aa244df7b93f8ce1d7e733f2","datavalue":{"value":{"entity-type":"item","numeric-id":4161296,"id":"Q4161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$4B259524-1FDE-4EEB-AB2E-3D817D2A596E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3e1f9c12daa0f480ccf6760e6126ab4e7f70dc","datavalue":{"value":{"entity-type":"item","numeric-id":3855148,"id":"Q3855148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$59957EB0-5791-4B33-B4FB-9C2425362090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b9d02f0f90530ad7214eeca708ab3af093b3ef0","datavalue":{"value":{"entity-type":"item","numeric-id":1234672,"id":"Q1234672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$6CEFDA84-FDF8-48B1-A472-7746F42CD140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d292dc576903835b81d946e53f09a19b4e80e8f","datavalue":{"value":{"entity-type":"item","numeric-id":1087865,"id":"Q1087865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$AB903835-416E-4F35-8C0F-0D85459ED700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce0b4c43ba20dba026c38bc07f89ab730899ea1","datavalue":{"value":{"entity-type":"item","numeric-id":4722038,"id":"Q4722038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$F778FAF7-28F9-4124-8A7C-73912431A898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8473f277775220f9e0e5d46b542cdfa7c0f78ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4175262,"id":"Q4175262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$962E0A66-F0CB-4224-89FE-3BBFEA1E69A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1e341586e2a9c7da0ee36939d0633c6d7fa098","datavalue":{"value":{"entity-type":"item","numeric-id":5921177,"id":"Q5921177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$497BB5A2-1B76-46B9-9D66-0AA6A0680547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47ea8650a341de323f47dcacc15dfc62e7f94cd","datavalue":{"value":{"entity-type":"item","numeric-id":4328821,"id":"Q4328821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$9A44B5AD-6C29-482A-A427-20241E8FC232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$9AEC47A7-6A42-404D-8F28-C9A0E6935D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee172cf1bbc62eabf7dd1b43feaebcac6a2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3886868,"id":"Q3886868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$F1F02682-BFFD-4A14-A3FE-6C2D736A38C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a821ac499f0496c149a9b10288f471c76016ba7","datavalue":{"value":{"entity-type":"item","numeric-id":5961667,"id":"Q5961667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565990$27BE7719-8440-435B-AF21-5F38FBEF5775","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"771942d50f6c158bedd56524939b4c5a28203ba9","datavalue":{"value":"10.1305/NDJFL/1117755149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565990$B6CAFD20-4C7C-41A1-9ADE-BB4584E08A77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e63968eb3680f1e5453af52986bdc1b38147093","datavalue":{"value":{"entity-type":"item","numeric-id":4703134,"id":"Q4703134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209c0a34771cc2835132ab58f444d52b818a6690","datavalue":{"value":{"amount":"+0.99665093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565990$48ABC50E-9385-4244-9427-DDEF9D279558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a0a142ad2c3598c030546208e0fe5fe3c05610","datavalue":{"value":{"entity-type":"item","numeric-id":4862761,"id":"Q4862761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c84aef0c55017ef971e343f36bbbb7cfddc4ea3","datavalue":{"value":{"amount":"+0.91932803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565990$B8D5DE3C-00B5-4476-B511-8EDF0C2A2C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2b94836e8a223c309d2d7e0996ff8f6a6e9fde","datavalue":{"value":{"entity-type":"item","numeric-id":1194249,"id":"Q1194249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a184928d06de88c763085c2e6fa266d28b4641b7","datavalue":{"value":{"amount":"+0.9078374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565990$E725D532-FEEF-419C-AA2C-E89795CBA26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b402c039b8ccc708c13bcdf831ab11b66aec08","datavalue":{"value":{"entity-type":"item","numeric-id":4227871,"id":"Q4227871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffab02c720f78cb64bd2474ac096574107b575b","datavalue":{"value":{"amount":"+0.902835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565990$DAC79F4C-34FB-4919-8B46-C767D964B239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380fe67206fa9f7f0a415ba641a43eb156d4dc86","datavalue":{"value":{"entity-type":"item","numeric-id":5390279,"id":"Q5390279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd27676e12f5236e95333468427f56036b7a1939","datavalue":{"value":{"amount":"+0.9027465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565990$D8FCEAA9-993F-4BB0-9AA2-1F11D41618EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa2eee3ed6ad7168b1a42f2db797c92b1a83881","datavalue":{"value":{"entity-type":"item","numeric-id":5692805,"id":"Q5692805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ad28d349b0a77118c408e5561490bfdbbd3197","datavalue":{"value":{"amount":"+0.9013791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565990$7CCAE5FC-D3B5-4937-94B4-F50C0C780BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f144cf8b5df1bcda076b6b64774af2d5eac7c703","datavalue":{"value":{"entity-type":"item","numeric-id":3377459,"id":"Q3377459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dcf690687110385795c7c40fd63b343cee525d0","datavalue":{"value":{"amount":"+0.8957889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565990$40F11E1A-4165-4DE9-8891-6E005435A4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fe68190ba6372f26e0cdb54cc291f7b4e60eb0","datavalue":{"value":{"entity-type":"item","numeric-id":4819369,"id":"Q4819369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dcf690687110385795c7c40fd63b343cee525d0","datavalue":{"value":{"amount":"+0.8957889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565990$45B642A4-8C8C-4CF1-BF79-EB714A00C1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66329513ed08c576d00231a95784464d1d411a61","datavalue":{"value":{"entity-type":"item","numeric-id":4028345,"id":"Q4028345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1107d98e71952ee162fbae2dd34cf1d67307ab90","datavalue":{"value":{"amount":"+0.8936972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565990$FC9B95C8-1F89-4914-80E5-BE24754B969F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4149079e333e9d5d431375275d4ce081e133b30b","datavalue":{"value":{"entity-type":"item","numeric-id":3019505,"id":"Q3019505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31db21b76143da964656e50316c0225f73c7212b","datavalue":{"value":{"amount":"+0.8934789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565990$9E5ACC6E-D427-43BC-89FC-25EC5AFB3A0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalences between pure type systems and systems of illative combinatory logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalences_between_pure_type_systems_and_systems_of_illative_combinatory_logic"}}}}}