{"entities":{"Q2988360":{"pageid":2999084,"ns":120,"title":"Item:Q2988360","lastrevid":52810793,"modified":"2026-01-23T13:34:45Z","type":"item","id":"Q2988360","labels":{"en":{"language":"en","value":"Almost every simply typed \\(\\lambda\\)-term has a long \\(\\beta\\)-reduction sequence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6720983"}},"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":"Q2988360$120044C7-BBEF-4F85-A5ED-EBB6C5F729FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"487f4b86db26cdb227dc76bcf1d4f6ccff811d80","datavalue":{"value":{"text":"Almost Every Simply Typed $$\\lambda $$-Term Has a Long $$\\beta $$-Reduction Sequence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988360$5A2BA1CA-D478-42E2-B961-F969B2740B4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d388c66dfb64199092dfa97540ff1fa6118f79c8","datavalue":{"value":"1486.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988360$FF49026F-4948-491A-9D69-35FA0C3145F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a3388a5859449118a69155f7ef69a17dbe9ed69","datavalue":{"value":"10.1007/978-3-662-54458-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988360$DBDC09CF-2725-4C31-9EA4-F3F79419A130","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90349d0d821571b3d66dd602ae7d46ae4fe0f666","datavalue":{"value":{"entity-type":"item","numeric-id":831784,"id":"Q831784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$9A85C1C2-EDDA-4E22-B57A-F26FE567F4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c5047119a2367a11254d195462d65d22f2a042","datavalue":{"value":{"entity-type":"item","numeric-id":2029492,"id":"Q2029492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$AB2877E3-9F8F-423F-B422-25743A7C6887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$214B56C9-B95C-438F-BD5D-58B10337D3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$239793FD-3D13-4FBF-83FC-A16112A44F61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$85FDB495-0382-4569-B602-DD3EC67EAC37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-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":"Q2988360$EA877236-EDD6-401D-B891-5C6181D50D4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988360$D9FCE6FB-A63F-41D9-866F-6E303E60ED5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988360$E4053985-0FFA-4A71-8010-99ABEDE45435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988360$01BA291A-8A8F-4F86-8AE1-832530437446","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2898ba0c97b3231d8f4edc2eff2f5eb97bb417a","datavalue":{"value":"6720983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988360$72059F5E-516C-44CA-A1C2-2057E8AE2F30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c48993fbd85f379ae45effaa429a7f913736c21f","datavalue":{"value":{"entity-type":"item","numeric-id":33285,"id":"Q33285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$4BC05E30-AFF9-427A-B8D0-9C85570D157C","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":"Q2988360$200D413A-F0DD-4E5D-B7DF-496BC77FCEA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d4affd67f8fd1d690946aefd9269d43f3407587","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54458-7_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988360$7F86083C-D403-4251-9755-E4B5AA1B6987","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"065133d4f3ef9bdd318cbe70f22124e39eedacc5","datavalue":{"value":"W2963145380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988360$917C5D13-5579-429F-A975-F1336F3735B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db641df6040a1f12d84299126da223d00ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$6D45604D-0F33-481A-90DD-FF883D315EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2952ac915f2cca31818fefbfaf85498ff6aa1f","datavalue":{"value":{"entity-type":"item","numeric-id":4913764,"id":"Q4913764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$A2E28BFD-F4C9-49F1-B808-9B3D71C659FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ddb8400e0e4fe44c62fc549cdf01587605b639","datavalue":{"value":{"entity-type":"item","numeric-id":5398332,"id":"Q5398332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$EC0221D4-9B61-4784-9FD2-6355C2858D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b8f69189173aa4ba19756ce3c57a9c34200a3e","datavalue":{"value":{"entity-type":"item","numeric-id":2794357,"id":"Q2794357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$0AB75FEC-0395-42A7-B65F-C9232F3484BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$8D4DAD24-D867-442F-8AEF-8C12B2E86FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd70181a109c9c53308b7092100e6ab2212aae2","datavalue":{"value":{"entity-type":"item","numeric-id":2958519,"id":"Q2958519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$922EA500-12CF-419C-9F93-A86DA6631A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dc5730c6956a442fe56abd4ce427894b06e399","datavalue":{"value":{"entity-type":"item","numeric-id":5408403,"id":"Q5408403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$59C79CDD-282E-4FCB-853C-3944C07E2F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83107292cc9d1671f2c4ce6828754df1cc86128a","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$3BB8A193-654D-4111-9C42-304F22C4261C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa2d23ab889941428910dce1c5f472bc9edd6d","datavalue":{"value":{"entity-type":"item","numeric-id":5408579,"id":"Q5408579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$12EE19EE-CBAA-46FC-94D9-228F104CAD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55bb26f80db37b9b4d2cbcccb135ebaceaff472c","datavalue":{"value":{"entity-type":"item","numeric-id":4027630,"id":"Q4027630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$8991A596-559A-4169-9383-D3E7DD315285","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":"Q2988360$8B4472CA-7B33-4646-A504-D91F1C9E0DBB","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":"Q2988360$9D9C384F-3844-49AF-BA49-7B5A9B1995C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f0732f471883320ebec889a518f3eaf523eadd","datavalue":{"value":{"entity-type":"item","numeric-id":5900112,"id":"Q5900112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988360$12BDEE8F-7DEE-44D2-96E5-74B056065BAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9786710b6bc443c79f95fa3fa09fbbcf5ae1b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4625705,"id":"Q4625705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a2991ddab21f2fcbcc257363c15f35648739bb","datavalue":{"value":{"amount":"+0.9833181500434875","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":"Q2988360$54C6453A-E354-4399-AD04-A55054C9371B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1491f6d09198e9f252bd9971e6f856cb1eb8dd9f","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7589816ef4a6363f983b3675653d5284cbf0e734","datavalue":{"value":{"amount":"+0.7962610125541687","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":"Q2988360$3947F7B3-A5BC-4BF5-9938-236FAAAB44FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c849d33f13cca487b27c42b5fb87268f8b2a0159","datavalue":{"value":{"entity-type":"item","numeric-id":2639840,"id":"Q2639840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc445409fcb676bc6cd5a22466ec0d2d23b3355f","datavalue":{"value":{"amount":"+0.7931360602378845","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":"Q2988360$8EE27A37-33F6-473E-BAB9-9277E48A0825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6b506bc6c20617e49cb3694507236168c8039c","datavalue":{"value":{"entity-type":"item","numeric-id":3322086,"id":"Q3322086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759d6854d7c7acadb38451c84e673b682536c4bd","datavalue":{"value":{"amount":"+0.7787178754806519","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":"Q2988360$B5C07927-E223-4A61-818A-B3905B087F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17215187995c9c0785164b4c00218352fb012a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4913764,"id":"Q4913764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc6bd5513ad78e6789a6219e118a80d8bc37ada","datavalue":{"value":{"amount":"+0.735612154006958","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":"Q2988360$C1CFD222-3B35-4AA2-903B-F661F0AEB088","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988360"}}}}}