{"entities":{"Q1854262":{"pageid":1865004,"ns":120,"title":"Item:Q1854262","lastrevid":73799490,"modified":"2026-04-14T17:17:49Z","type":"item","id":"Q1854262","labels":{"en":{"language":"en","value":"Alpha-conversion and typability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853028"}},"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":"Q1854262$1EC4727D-5EFC-4E71-AD7B-E39BBF1CC125","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47205bd4593c05a779360477df4dc09a48e41cfc","datavalue":{"value":{"text":"Alpha-conversion and typability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854262$E052A7C8-DBD4-449F-B657-817CBB6FD5D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0078a06a1a94028857b3c6d869422edd8f7ed91c","datavalue":{"value":"1004.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854262$65C8A484-D462-40AD-862F-471E943737BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d9747839bcddbd973b100af1b34777607177c4","datavalue":{"value":{"entity-type":"item","numeric-id":801664,"id":"Q801664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854262$2FD111B9-A5A7-492F-800D-B5EB18F86FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854262$79A87851-40DA-449E-86C4-927B5E63ED6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854262$8DDE87B7-0851-457E-ADF5-FEEA3521A986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854262$7D1DD607-EA21-4FBF-8D10-CD9D83AB60AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854262$E34DA3FE-2FCC-4931-B53E-260B8E90AFB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854262$3F17AFF3-8C27-438A-B0B1-CEB161CFF42E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854262$020811DB-3516-4EB5-974B-C3614EB4CF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854262$3C528D05-EAF0-48D7-8B96-8136CAE61E55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3073893a0977feafb82a0067b9536d6d45c1635c","datavalue":{"value":"1853028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854262$50990F43-D061-4CED-8145-A1FC6C70319D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1f6a9eaa9f1cc3c6f301116167e32d2a85a046","datavalue":{"value":"alpha-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854262$7000B161-B66C-46D6-918F-F115426239A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcee3f81e6741695ab88a0cf63a03383d19305a","datavalue":{"value":"second-order \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854262$8A281D5B-F846-48FC-87F9-D37699860DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c153a9e65035c783448051c619ec69580f144066","datavalue":{"value":"higher-order \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854262$8C9FE7CC-64CB-41BE-94D6-86C553E586BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4c07935a385e2ff679b7b381dad17af9f0ec4d","datavalue":{"value":"typability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854262$D179ECF7-07EB-4BF7-A1D2-C555A8268A00","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":"Q1854262$8D244D51-95C2-4FBA-ABB7-A9E18F9F751C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7642fad8a91837522d35432b65ebee42a716bc54","datavalue":{"value":"https://doi.org/10.1006/inco.1998.2756","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854262$A06D9E5D-0F04-452D-9F8F-66C23E5EFC98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e120111e55dffd70ae52e5842398ffaf2baf38e4","datavalue":{"value":"W2028243582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854262$E7C637D6-3D8C-4CDA-8CE6-71DEB57BC8AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"822fb800f6e4b0909ae356724c2acfe53f72f0eb","datavalue":{"value":{"entity-type":"item","numeric-id":4385533,"id":"Q4385533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854262$9DB8E604-5DB7-4AB8-9C0C-3A3A1CAF8690","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":"Q1854262$815B813E-D394-4769-BC0A-8E55C61DAEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a617080dd13aff3798a44628b7edcbf9f79a272e","datavalue":{"value":{"entity-type":"item","numeric-id":3142164,"id":"Q3142164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854262$60DF9059-2AEF-4775-84E4-28926DA22692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4714151d6433009295b091bf40040bb50712ffb3","datavalue":{"value":{"entity-type":"item","numeric-id":1175334,"id":"Q1175334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854262$714AD8C4-F326-4846-8C0A-5A8A2D9E2783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854262$10418E65-8B97-47B0-A6B0-1D799492106E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854262$81CCF0CE-F304-438A-A870-F9FC3CBD1043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e943059f11e6052ed511d609da082d75ab2cddfb","datavalue":{"value":{"entity-type":"item","numeric-id":4347376,"id":"Q4347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854262$CAAB84C4-A1DE-40B7-A3C9-57F7F5E1E3A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c248ec59e7fef992ea203986802a50935daffc8b","datavalue":{"value":"10.1006/INCO.1998.2756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854262$0B6459E5-908E-42EC-9E2E-FB8284880FAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b5cf848b0acd0b36e4f2147ed2883074ac86","datavalue":{"value":{"entity-type":"item","numeric-id":5444695,"id":"Q5444695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7130b9ab010f55f29f116421480a18a2bf215cbe","datavalue":{"value":{"amount":"+0.8347712","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":"Q1854262$FDD76A9C-EDAD-44ED-8575-59C685188407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34efaed3e2faf79adc16d01d27c9b1b07f9ea3b","datavalue":{"value":{"entity-type":"item","numeric-id":913792,"id":"Q913792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea722b8584cea551230755295f9be149a818f8b","datavalue":{"value":{"amount":"+0.78824985","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":"Q1854262$282B7B34-BBFB-4A86-AC22-D0829AAEAE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b180fd7c37aca86db24433ac508ad2c0acfe7e62","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90319ec1e730b86d37dfc8325574009fd1c13e87","datavalue":{"value":{"amount":"+0.7825749","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":"Q1854262$2C9E49FA-19F9-4703-AEC0-387AA18C135E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7527db06f7c6e29be78244efd0640f3c1c84b4e4","datavalue":{"value":{"entity-type":"item","numeric-id":3358643,"id":"Q3358643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d28fd1b9a220e0d37922cc1e92973ed879bf39a","datavalue":{"value":{"amount":"+0.76969683","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":"Q1854262$689914FA-E0BC-4F98-BE2E-3A87C46E51F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff5126dd001baac3ddf5af7bc274b203fe2225da","datavalue":{"value":{"entity-type":"item","numeric-id":3561767,"id":"Q3561767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4454b3159ba726fedca349da1d5301472e1bcf2a","datavalue":{"value":{"amount":"+0.76659024","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":"Q1854262$DF2CBD7E-800F-42A4-B8D9-9E192E93C14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"277edaabed8bce3d06d19f4c0b4cdd5b0bb1f460","datavalue":{"value":{"entity-type":"item","numeric-id":3461924,"id":"Q3461924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d50f5e87aabaabbf2a47413f37ee6263537c65","datavalue":{"value":{"amount":"+0.7623714","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":"Q1854262$AB7AC1AE-100F-4842-B27C-EA9AD30210E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb79d02854395724c79dc86c855b5a92d671ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1931900,"id":"Q1931900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3b4b74389af13918ce8feb18ab532eea2c3430","datavalue":{"value":{"amount":"+0.7542094","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":"Q1854262$BC9FB27D-F5D9-49C5-AB2F-91A4D693AB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd7a8af2bc4243e0c107cbc680aa1e7fd6c32bc","datavalue":{"value":{"entity-type":"item","numeric-id":2073729,"id":"Q2073729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdd2c947f47109fd9ae1055e4abc2259e9946d3","datavalue":{"value":{"amount":"+0.7519117","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":"Q1854262$D9BE2A2C-624F-4758-A8F1-2D75B88CAD8A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854262$E82EACF1-6F72-4285-8253-8216CBF6373F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alpha-conversion and typability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alpha-conversion_and_typability"}}}}}