{"entities":{"Q4913764":{"pageid":6943343,"ns":120,"title":"Item:Q4913764","lastrevid":40775221,"modified":"2025-04-04T15:55:51Z","type":"item","id":"Q4913764","labels":{"en":{"language":"en","value":"Asymptotically almost all \\lambda-terms are strongly normalizing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152232"}},"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":"Q4913764$36B05F4A-1D4E-4009-9F35-CB38B70920E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"942e95fd7459aeb001c1f735800771c874cfe726","datavalue":{"value":{"text":"Asymptotically almost all \\lambda-terms are strongly normalizing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913764$A4746FE2-3A7A-4572-B50D-0E4935FD98A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"751b4f70cbd50601b93f153f2e54582362ab16b0","datavalue":{"value":"1278.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913764$40B481FE-F18E-4CA6-803F-3E7A99DD009F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb041d16b38d25ab17c80c1acc297bd1be17f22e","datavalue":{"value":"10.2168/LMCS-9(1:2)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913764$6670CF48-2F34-49ED-A56E-884EDC8649DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8a2b41fc82fc820470803336cf6817ae0318cec","datavalue":{"value":{"entity-type":"item","numeric-id":172779,"id":"Q172779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913764$68F39330-6197-4714-8AA2-5FC7A1FF6627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc629f0be60f72a336737629e351e85a1cdd011c","datavalue":{"value":{"entity-type":"item","numeric-id":322291,"id":"Q322291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913764$253FE2B5-B658-42FA-B714-A6E3BF85EE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36b161d0c62cab8ddd6713a08a3bed658f9a59e7","datavalue":{"value":{"entity-type":"item","numeric-id":384928,"id":"Q384928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913764$DCAFFBB1-6097-4F3F-BFC8-A96B7B6AFCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"213b864dc54d93cbd8178686850f26280c0ee2c3","datavalue":{"value":{"entity-type":"item","numeric-id":751645,"id":"Q751645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913764$2BDF4BDD-61AB-4BA6-8EAA-9A5D3232058D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab9c3115ba643d68fc4878b05a220fd5206e3717","datavalue":{"value":{"entity-type":"item","numeric-id":2376303,"id":"Q2376303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913764$F390B97C-F2DC-4A11-8000-A923318B3260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d839fd7cc47e26695d7e86daac1e29277216273","datavalue":{"value":{"entity-type":"item","numeric-id":1382181,"id":"Q1382181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913764$8894786C-7D5F-49F0-8C38-DA08B9570389","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913764$D7B9C710-BE3F-4450-818B-1A83758ADD33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913764$9D213721-7765-4A9E-AD40-D8AB4BCA1699","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913764$576E4454-B974-43F5-9053-1F2780EC5137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913764$7206F883-4819-49B3-A49C-2161B94D0CDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba89a41e5a63f3e44b650b299a80a8342d8acc5a","datavalue":{"value":"6152232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913764$83FB0374-FEB6-49DA-A138-490FF821C4E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913764$98DD0075-9A24-4489-BF4C-B3A038D162F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459ffded74521c7177e183238b11e0b004784b7c","datavalue":{"value":"combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913764$9FF6AC41-3F7C-4458-AA37-A6C27CE3F2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913764$40C53CE5-13D4-47D2-8677-8CEF4BEA5BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913764$A1542474-9DA8-4D5D-BCAE-34247BCE959C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913764$87F51830-BDE8-4192-B191-71D4222A50BE","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":"Q4913764$2BBAA600-DC6C-4E95-93AD-5D14AC8BBB50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8233962fd49c5bd66fdd2bf3acc23a8f3975c30","datavalue":{"value":{"entity-type":"item","numeric-id":4993849,"id":"Q4993849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af11b39a669a940e22a85a906244f59681a3ba66","datavalue":{"value":{"amount":"+0.88126403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913764$ADF8426D-75D9-43BE-9BC8-0DEA6B84C3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75407d2dee4ad5e018ce8512ddece7c06b3a4a92","datavalue":{"value":{"entity-type":"item","numeric-id":2811355,"id":"Q2811355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4efdf98113f1cdc2e7cc0c917a4551d30758b2","datavalue":{"value":{"amount":"+0.86903787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913764$37868A9D-23BD-410D-8C8B-1500EE3FBCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23966f4ef4046e1b88eda7a2c6e14dc7626e1fbc","datavalue":{"value":{"entity-type":"item","numeric-id":3791151,"id":"Q3791151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b655286c6342a5d208d9c95b6977804fa66de8cb","datavalue":{"value":{"amount":"+0.84670275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913764$5BDCAA10-05EC-4235-A6D0-7182D6839717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b1d07abfc90d154e6255b5dfd7fd3e99caed68","datavalue":{"value":{"entity-type":"item","numeric-id":3067641,"id":"Q3067641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed649f4822b7178cea2841455dc724456bd7a0b","datavalue":{"value":{"amount":"+0.84355146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913764$949597CE-181F-4C44-8FD1-793B6D84CFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a59cc9f998e01330f563136f238af0aa7062f","datavalue":{"value":{"entity-type":"item","numeric-id":5308466,"id":"Q5308466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e5d4a9c9893a3591992a6184ed249754e25715","datavalue":{"value":{"amount":"+0.8340031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913764$801B6649-5C3D-4D2F-BE4B-E00FFF5E670B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93dc9b5f616c91f77cd8cad7edebdc81cb033ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4645240,"id":"Q4645240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0cb65da93acb250976254b4a7ec754749d4c4c","datavalue":{"value":{"amount":"+0.83296174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913764$FDC44EE8-EFDF-4AC3-966B-2E9B6D8D2D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205f6d0e7a081153abff00e1f1265f684cd4c10b","datavalue":{"value":{"entity-type":"item","numeric-id":1899911,"id":"Q1899911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569984d4f6ce33a7898b1b5b33df5ef1f0a685df","datavalue":{"value":{"amount":"+0.8307931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913764$12C2CC41-507A-42F8-99CA-313894ED1FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9e9ec6b2cede43c610c23b53e50d77f5e52021","datavalue":{"value":{"entity-type":"item","numeric-id":4472466,"id":"Q4472466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b97cc32900efc11a5b65c303954b7e9520ed7c7","datavalue":{"value":{"amount":"+0.82823396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913764$F0001878-51D7-4B1A-9CE3-2F7B3A1A0AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685d265adf2c83da358eb92c8fcb2753e44c03ef","datavalue":{"value":{"entity-type":"item","numeric-id":5310640,"id":"Q5310640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6381bdd8e4537fc6fd88fc2781f79ebca0535683","datavalue":{"value":{"amount":"+0.8279249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913764$CA6A13F0-92A5-46B2-A110-2CC5484643DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b311129986e338c879f28527b6a269f8381609c7","datavalue":{"value":{"entity-type":"item","numeric-id":5367073,"id":"Q5367073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1490aa0833dd317f1cf69fe208c4b7ec7a24f4b3","datavalue":{"value":{"amount":"+0.8278109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913764$0725B8A1-4C5C-48A8-960F-24A215069819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913764"}}}}}