{"entities":{"Q3549313":{"pageid":5579217,"ns":120,"title":"Item:Q3549313","lastrevid":80708582,"modified":"2026-05-06T16:49:17Z","type":"item","id":"Q3549313","labels":{"en":{"language":"en","value":"The Expansion Problem in Lambda Calculi with Explicit Substitution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5480663"}},"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":"Q3549313$20EC72D6-2C90-49F2-82CD-3A2655DDC36C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9836aae919375ab01900f44756ed0eb1e0cd5be3","datavalue":{"value":{"text":"The Expansion Problem in Lambda Calculi with Explicit Substitution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3549313$9540A12C-FAB5-46D8-ADD0-4609A4894D14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a0dfda76659731913c8685c535005edd7949123","datavalue":{"value":"1157.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549313$D8714D8B-54AA-4996-B295-05EC8DFE3057","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b74ddffb839e67fcf9cf810df1c9f370a382a84","datavalue":{"value":{"entity-type":"item","numeric-id":3527293,"id":"Q3527293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549313$C64ECE02-0E74-4F6C-B17F-A3B2DFD16905","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3bb71ba14b31de2de19854cf4d23d9d201b244","datavalue":{"value":{"time":"+2008-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3549313$94C37558-2AE9-4238-B213-879D4878F75A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549313$A07A1F03-8ABC-49F2-BC9B-7DF1048F7523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549313$CD1F9631-BF6F-47F0-B074-69E7A88AEA10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0fba4e1b728b69e116a2f36c7491f716834c741","datavalue":{"value":"5480663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549313$7DA6D7A0-8A82-46A7-BB0B-39DCB5A2B3F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d6685115c031ccd3c1c0f6cc8f7bdd41f1daf41","datavalue":{"value":"context-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549313$2722D84A-79E9-45E4-AF83-99E1A296BDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56e5793ea33870a204239ad40fe7f02bf24fac2","datavalue":{"value":"expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549313$4A2B8466-6B92-4E5D-B5E9-E28C84893BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eea116bddf8a4aa136f21923c9bdf061e63c53","datavalue":{"value":"explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549313$A1C3DB09-8FF0-486C-89DC-21E10F168742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549313$AB335534-92AC-4D6D-8FC6-9F4CE948A0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a3e60c6b7ce4b5ec12340d762b5ba7b4afab3d","datavalue":{"value":"lambda s","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549313$DB57B5E4-7124-43B0-9C9D-617F65DFF7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1080b514c7f9e11edc77fb741dfb22c7f12af8d1","datavalue":{"value":"lambda upsilon","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549313$135FBEFC-5726-47C3-BE6F-3C1CB177B62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afec1146d9075dcf0a4080c42ee24c7604101b18","datavalue":{"value":"recursive set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549313$E96961AF-7DB7-46D3-ABE2-46B6E8288EE8","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":"Q3549313$8429BA8D-F815-41D8-B946-D23FC90F1139","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1c5315cc0c445c87084320fcdcbbcd7cc0f598f","datavalue":{"value":"https://doi.org/10.1093/logcom/exn007","type":"string"},"datatype":"url"},"type":"statement","id":"Q3549313$0D795BE5-C25E-4CA7-ABE8-1180BD36CFD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"615e70e4895c76a2f2b91e931a0fd3cad5dbedd5","datavalue":{"value":"W2016296771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549313$2B2779E5-25EB-4D24-8D29-36257286E7F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80d912b4d153e881479bfc30bdb22430d0f3f561","datavalue":{"value":"10.1093/LOGCOM/EXN007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549313$054319A8-42EB-486D-8F84-AF1CB4F5B4CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549313$E9CF194A-A5B7-4D91-8F7F-A4A3602F5ECF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b831ee8c09ba3e9977779ca68ccb1cc211fba6","datavalue":{"value":{"entity-type":"item","numeric-id":1575247,"id":"Q1575247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c6d48b7f851abd3bf1a8ae9b69aef8687d4227","datavalue":{"value":{"amount":"+0.9046705","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":"Q3549313$F63C49F5-FEB8-44B6-A276-A052F3991708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae33ec0cec722ae39db812bfd7fd70874e418f99","datavalue":{"value":{"entity-type":"item","numeric-id":2713357,"id":"Q2713357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3455bcc5f2ac7aed89e434cb5e80559ba99ea0","datavalue":{"value":{"amount":"+0.8897145","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":"Q3549313$DCF6F3D3-823A-44C0-AD66-6CA8AA48725C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e54c07ad29f12c4bdd75800e72942c910f887bb","datavalue":{"value":{"entity-type":"item","numeric-id":3608416,"id":"Q3608416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b45ddb77ac522a1d2bb86d72053051543a578b","datavalue":{"value":{"amount":"+0.887161","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":"Q3549313$3B2C3BC2-C8BE-411C-B640-EB2F9BEBBF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e141b226b636c0195cdb86281dc698e4c7c920","datavalue":{"value":{"amount":"+0.88144","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":"Q3549313$14DA18DE-0318-48D9-A8BA-217AED16E3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268a7a1389d90c8337ebeaae3326824bf72a6d3e","datavalue":{"value":{"entity-type":"item","numeric-id":4364376,"id":"Q4364376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7680334af6260b029415a5b8108932c01e737c5","datavalue":{"value":{"amount":"+0.88053626","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":"Q3549313$D052B817-173E-4632-8660-CFEB47EC49B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d820de532ee70c4c5b79de888f7506e02ef34342","datavalue":{"value":{"entity-type":"item","numeric-id":5055860,"id":"Q5055860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c4691307ce423477b82fce473f58c32580eba4","datavalue":{"value":{"amount":"+0.8783958","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":"Q3549313$49DCF4FD-4AE6-432F-BA93-C4267E6B3A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c709d2f27e5ba6831540dead7a142db5ea30a774","datavalue":{"value":{"entity-type":"item","numeric-id":5405040,"id":"Q5405040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32937bcaaa5b09476fa6d943f12bebb3ccc809a2","datavalue":{"value":{"amount":"+0.87767315","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":"Q3549313$308C9F57-94AF-447D-9F77-5EB80563EF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b361ca1aa5526764549f3d95137afb2aca29dcf6","datavalue":{"value":{"entity-type":"item","numeric-id":6061881,"id":"Q6061881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e978d5bada360bb7854c7652030c4af97da432","datavalue":{"value":{"amount":"+0.8776318","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":"Q3549313$4817E677-92C0-410C-8B16-F71CEC3ED1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42797fc209eaaddb74c3306a25952bf259efdce8","datavalue":{"value":{"entity-type":"item","numeric-id":1850959,"id":"Q1850959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0316d704b5b86c960584004e333fb8c61d86e2","datavalue":{"value":{"amount":"+0.8760637","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":"Q3549313$8C38CBEF-F8F5-4BE8-A2DA-EF9E4EB60794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5c9262690b7f69508fe35256fe6a044e509c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2202676,"id":"Q2202676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1da2ab5c98a1cbe9e4a2d5d98b515082c1a645a","datavalue":{"value":{"amount":"+0.86765933","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":"Q3549313$38CCEDB1-DBB8-429F-9BB7-767BD1BA75FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Expansion Problem in Lambda Calculi with Explicit Substitution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Expansion_Problem_in_Lambda_Calculi_with_Explicit_Substitution"}}}}}