{"entities":{"Q5089006":{"pageid":7118582,"ns":120,"title":"Item:Q5089006","lastrevid":55415290,"modified":"2026-02-17T15:57:09Z","type":"item","id":"Q5089006","labels":{"en":{"language":"en","value":"Towards the average-case analysis of substitution resolution in \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559273"}},"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":"Q5089006$0ECE9102-6E94-439E-9745-70DA497B9300","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36b03d965b708db71b66f91ec8846bbddfbb03ef","datavalue":{"value":{"entity-type":"item","numeric-id":2327213,"id":"Q2327213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$4219D367-D05A-4387-86F5-F2F8D0B714C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089006$4F5B396B-4577-4EE2-865A-D6CACF224662","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a893646491bf4bf8a0eafc0820c2c8f75d3bac15","datavalue":{"value":"https://arxiv.org/abs/1812.04452","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089006$E340CF72-F21E-45C3-A7DC-594EE8D68FF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089006$57D24050-9744-43BF-80BF-1E5E09A9B110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089006$135275D8-529A-40E0-B9CB-E287398C8F67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21c899861e01161ac81c372d6477ac0123a4bc74","datavalue":{"value":"7559273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089006$2C117639-47D4-47CB-A64C-1A18138CDEC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d84a39f7d277d59bd9e0565999aa9a6eed7d1c","datavalue":{"value":"\\(\\lambda\\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089006$2DCE3A49-1604-47F2-BCC8-A6E525DF9319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089006$76710F88-9A4E-4CB7-99B4-52AA1C5146FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089006$2B6E7D1A-B305-44EA-AB75-9BA45DAB0F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459ffded74521c7177e183238b11e0b004784b7c","datavalue":{"value":"combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089006$FCC10F78-F9CE-4A33-B8F5-BE8B94BD3F8C","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":"Q5089006$12B70584-EC2B-4FD6-856B-F9447E8100BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$B822CEF9-AE99-4EA8-9C2C-79A14293FAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cec3adab929cf6aae81987582e38a2192f7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$B72A3889-C24F-4374-A9AD-5F2873C5A4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1656b0af82a8a7cd6d647840a56e40b6d7fabf","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$4FC839D5-E93C-496B-AAE8-FCF5205BC305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45805b9b94a91db86ee6998b788470e3c2ba2428","datavalue":{"value":{"entity-type":"item","numeric-id":5372004,"id":"Q5372004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$EA4BD267-2351-44D9-93D7-C2C409423D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e16fe851a5ce3ea044a704a281d9dfdde2ab4c19","datavalue":{"value":{"entity-type":"item","numeric-id":3133181,"id":"Q3133181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$EA194061-E798-40AE-8AD2-6C498D005567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9bede3f4443490f4a218c9ed8aef1d95b3244d3","datavalue":{"value":{"entity-type":"item","numeric-id":3133193,"id":"Q3133193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$365D8601-279B-4D8E-AF80-598EC278ACF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9ecf6d7a66430dbdc6482904ce31f38079948c","datavalue":{"value":{"entity-type":"item","numeric-id":1262761,"id":"Q1262761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$66278F7E-7381-4883-A9D4-CCC6816D173F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c887a916675b75db16f0763bf81bf55c37dee9","datavalue":{"value":{"entity-type":"item","numeric-id":4264735,"id":"Q4264735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$2ED6B4F7-8558-4AEC-89B9-24B4DA7EB71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$EF0EF780-97DE-49DF-AD70-836B4BE27087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76988eeb330b74201f9a4ad033a0fa0935f14c68","datavalue":{"value":{"entity-type":"item","numeric-id":3496337,"id":"Q3496337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$7FB3AB17-7405-4207-8078-938B44AD4F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$4F1C844D-E880-4B95-8497-3A4363C2F573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a5a8927f019cbf5949048eaa2ee47d0dcb76ce","datavalue":{"value":{"entity-type":"item","numeric-id":2817687,"id":"Q2817687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$C7B8DD81-3660-423E-AF93-B75761ABE015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$6167850B-D077-407A-9285-DA1315493156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c81b131d03aa06a197356fdb2709864a0ec93b8","datavalue":{"value":{"entity-type":"item","numeric-id":2988360,"id":"Q2988360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089006$B47EF113-9799-4F58-B87C-3561A53155D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d21a4349aa682cb33067efbe0339ed8f4ea87a2a","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089006$975764C7-964B-4A30-A98F-52064438EA9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb61578bde630591878392b9686a1e5b9b3e57b","datavalue":{"value":{"entity-type":"item","numeric-id":2327214,"id":"Q2327214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36b5bf5fc730e6891fbcb5b482e87ddaa178963","datavalue":{"value":{"amount":"+0.7543420195579529","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":"Q5089006$2A10795E-A53F-4843-90DE-698A453EC925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0492288f242b78fcf8a6d12734fbb382f0b04f0b","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73aca25210c092e341d58cc932877d34b5fd209d","datavalue":{"value":{"amount":"+0.7380526661872864","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":"Q5089006$805460F4-A301-4253-89D1-364AA6B50EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b55c1e018dcc7d1fbd95aeb639eefcb65f04b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2785671,"id":"Q2785671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c075b946fafe8135c69164449aee85b6775723","datavalue":{"value":{"amount":"+0.7242498993873596","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":"Q5089006$A8DD60D7-C228-440A-BBD1-45FD7B61C390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e530b8c535baa9778dee7ca09761539505314d","datavalue":{"value":{"entity-type":"item","numeric-id":1989325,"id":"Q1989325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb93c8da460b98d3939d8325ee5589d752105921","datavalue":{"value":{"amount":"+0.7235648036003113","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":"Q5089006$30D7A8BD-E5BC-4734-BDF3-0EF39890D80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d5ba892fb50d0b2422e83b3c16041977fa38eb1","datavalue":{"value":{"entity-type":"item","numeric-id":2778819,"id":"Q2778819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbfc234db6c0c4dc342db9538acd829e0a87301","datavalue":{"value":{"amount":"+0.7229908108711243","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":"Q5089006$5D4AA5EA-21C4-404F-BA74-A81B4E65D6E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089006"}}}}}