{"entities":{"Q4916203":{"pageid":6945784,"ns":120,"title":"Item:Q4916203","lastrevid":91002353,"modified":"2026-06-04T22:00:37Z","type":"item","id":"Q4916203","labels":{"en":{"language":"en","value":"Comparing calculi of explicit substitutions with eta-reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156011"}},"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":"Q4916203$E63731D3-F082-43A0-8F78-3A94B95BC7DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7644174f518b7e2135e33ffda800c095b415591","datavalue":{"value":{"text":"Comparing Calculi of Explicit Substitutions with Eta-reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916203$3D66E9CD-1764-4C2D-9DB7-7A23DE1FAD85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce74197f4d324a63a42c6c3377be6446e2c71bbb","datavalue":{"value":"1261.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916203$5AC36A9B-5A20-4EF9-BE8D-2C9C78FBBEA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ace00f924c93028af56fd721450b248112457e4","datavalue":{"value":"10.1016/S1571-0661(04)80542-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916203$EBFAF548-054A-4A82-9174-42AF4E8F132D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$9D571295-532D-44CA-A28E-0999EBDDE8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f0a37a82c91a35e36561764c406163ac5986165","datavalue":{"value":{"entity-type":"item","numeric-id":1627456,"id":"Q1627456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$E4E59714-EB4F-48D9-B261-233D4125BE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$E1A20E52-3B53-4E8A-9D6E-481DD32EE28C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$D2280A1B-BB15-4CD4-8AEB-A8E8CB3EE7F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916203$DC9D697E-EC56-473C-9160-EE75CAC6178B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916203$830E134A-5645-4714-B798-8E1ACB7CDD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916203$1E4481C0-3C74-46C1-B2EA-9859498F78BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e10027d52e40ce524ce51e214f3a1d3a2769b6d","datavalue":{"value":"6156011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916203$DBD4EEDA-1BF8-4C4D-AF1E-2F505018FD48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dbf201e83f01673f4eda87bb86be096c13f3fbd","datavalue":{"value":"calculi of explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916203$A27E0792-4A5D-4988-B6C5-32C0E86848DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"079ed3bec02ce3c1ab4987afd153763ba357ac61","datavalue":{"value":"lambda-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916203$82FD7F7C-F875-4151-AE40-484F88A14F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"428de2698ad014742c01b6e9e1d1ab1fdb3fc69c","datavalue":{"value":"eta reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916203$02CD594A-6319-4556-9CBC-7B09F5EDC1A6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1daf5e1e60bfb74d6491d881f16a6ad3157598b4","datavalue":{"value":"Q58001559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916203$6EBB8328-5F8E-4B78-93DE-783BC9E74EB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$21EB6C22-B316-4707-9CBF-736C1AF3A5CC","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":"Q4916203$BB3B2AD2-EDF5-4FF8-9E63-199F107008DB","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":"Q4916203$24864D7A-F5E1-4BDD-AA40-2C159094A90B","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":"Q4916203$448FA1E1-ABF7-445C-942A-0469387012F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15019ccb1391ca723bb4cc5baf2d1998f1ea3274","datavalue":{"value":{"entity-type":"item","numeric-id":2743636,"id":"Q2743636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$4FA8A95B-4B51-4A25-B5DE-ACD9D04CF463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$D9B5B1B4-A8FC-464A-A50B-DD91EC50E9E5","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":"Q4916203$0246640A-5155-4C8B-BC74-3847FFEE7F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ad0292ce501c4706b9832036a05439f1dd84f6","datavalue":{"value":{"entity-type":"item","numeric-id":4357055,"id":"Q4357055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$EA85B136-D2D1-43C3-B6A5-7B032000C024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4004164fb76db92bcdf23fd385dc006c288396ae","datavalue":{"value":{"entity-type":"item","numeric-id":4371674,"id":"Q4371674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$8B01CBC2-2774-4089-B338-24AD5C30A406","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":"Q4916203$37B3A68F-6687-4B1E-B598-8CA6E1A7A1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5927659804eca2a32583cb94f8cceb03b87d2078","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$15D83D55-323A-4FD9-BE56-C5E69D586EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"374c655ccb9c0e0555939864bb7687975f17356d","datavalue":{"value":{"entity-type":"item","numeric-id":2956728,"id":"Q2956728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$C23FDF4E-D936-4C3D-90AE-E6832A964F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c872b21643ba9065fdf049fd77eff8b53fff3656","datavalue":{"value":{"entity-type":"item","numeric-id":4519171,"id":"Q4519171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$40A31BCE-9722-4D0E-AA4C-FD4DA3EA22EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b201d97ba51e9a469157bfcbb5963e8e4d8cc7b7","datavalue":{"value":{"entity-type":"item","numeric-id":4286110,"id":"Q4286110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$A4366D8C-441B-4FA4-90D9-307AD5015643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528791b2d72341145ead8443ceec77b79252da3","datavalue":{"value":{"entity-type":"item","numeric-id":1365680,"id":"Q1365680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$CA5653F4-CBCB-4E73-8249-8ACD2B79DE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acbc35a8cddd0d4b3e090c62de84c098dad3c37","datavalue":{"value":{"entity-type":"item","numeric-id":4236754,"id":"Q4236754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$F3D832EE-40D2-472B-8A45-D7E4125AD125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ec0158e8065da6b9ce4d4ea6c388167366ee3f","datavalue":{"value":{"entity-type":"item","numeric-id":4360125,"id":"Q4360125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$745025CD-8108-4A69-8FFA-F04A5F3F827E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42efcc39689c4413b537a9a2453afb9516d21c85","datavalue":{"value":{"entity-type":"item","numeric-id":4500175,"id":"Q4500175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$E31806C5-C968-4794-A90A-D91F828BBEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67013d816ea198eca113bfbb3c6f6ab575f53576","datavalue":{"value":{"entity-type":"item","numeric-id":4259970,"id":"Q4259970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$2C9AD96C-E85E-46E7-9FA6-43361EEA3C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef380137ed3b9839afc57611b9ae8d70c3e71aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4259974,"id":"Q4259974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$331D93A1-9F14-4364-B1D8-3DF78979B081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f424568afbee8e6c5fde4c7bebc92442b4ccc1c2","datavalue":{"value":{"entity-type":"item","numeric-id":1129257,"id":"Q1129257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$B5EF859C-ADE5-41E7-A585-F83A6E3D4893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$E8D57451-D954-4993-9237-2E1AAB8B8CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae1dc33a7248b2e43cfb679c86f839bc92c1649c","datavalue":{"value":{"entity-type":"item","numeric-id":2713355,"id":"Q2713355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916203$1A9C7781-1A13-44A2-80A5-ACF0EB42B8C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4cb95a22e038f1583c2f8eec6d85710c17770e9","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80542-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916203$ECAC44E5-B6B4-406B-A7BC-7C7A5EBDBB37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f4a12e77d3075921f874582901295caae56f1c2","datavalue":{"value":"W2158532214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916203$A995980E-6388-4D9B-ADBC-7552E4C3C556","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121b581597cd9ecd3713331f07d43f51b6cf0a39","datavalue":{"value":{"entity-type":"item","numeric-id":1779307,"id":"Q1779307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275bc8c2736f530e72575f49f11a5510ea311e3a","datavalue":{"value":{"amount":"+0.9559921026229858","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":"Q4916203$33FED322-EE2D-4FF0-B4BA-E4F4A5CCF01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aaf29c179a999a4f06873cdeda74204a8c79ec9","datavalue":{"value":{"entity-type":"item","numeric-id":3653146,"id":"Q3653146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc10b7b9dac55ca02339baf8f3f1c744a1e537bb","datavalue":{"value":{"amount":"+0.8592838644981384","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":"Q4916203$9F8D2279-F0BD-468A-BD89-073F042C0799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5cfe1ea6c16b7c96b21c2e311cec51d57d4ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1335136,"id":"Q1335136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45ce12ce75f17970131aec07b68211283b13231","datavalue":{"value":{"amount":"+0.8543664813041687","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":"Q4916203$7E52B9E2-213E-4B0A-A651-E50B3B517E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9691fcc967ab936f2f1e52cbff122bb54c3d82b8","datavalue":{"value":{"entity-type":"item","numeric-id":4500175,"id":"Q4500175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5634fc4954c3376ceea747ff8885a750a4a8e5d8","datavalue":{"value":{"amount":"+0.8338967561721802","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":"Q4916203$1AB75221-26CE-4AD2-A943-45CB872A107D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4015335f7c9d97fde5c94e9683cad9306e11f28","datavalue":{"value":{"entity-type":"item","numeric-id":4924548,"id":"Q4924548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5634fc4954c3376ceea747ff8885a750a4a8e5d8","datavalue":{"value":{"amount":"+0.8338967561721802","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":"Q4916203$0EDA9702-5900-425B-80C1-78F33926ED1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparing calculi of explicit substitutions with eta-reduction","badges":[]}}}}}