{"entities":{"Q6649482":{"pageid":14260639,"ns":120,"title":"Item:Q6649482","lastrevid":100155566,"modified":"2026-06-05T21:31:03Z","type":"item","id":"Q6649482","labels":{"en":{"language":"en","value":"Reasonable space for the \\(\\lambda \\)-calculus, logarithmically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7954862"}},"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":"Q6649482$DBF286DC-48AC-40C3-AEC2-6856A8029D98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cfc89d5e8f4950f3bc075b4786c75a3fcdf5adf","datavalue":{"value":{"text":"Reasonable space for the \\(\\lambda \\)-calculus, logarithmically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6649482$E52C956A-FC01-4028-B253-60F256C5B3F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db0630c27e6ecf3152971bf2ede48834cf0604e9","datavalue":{"value":"10.1145/3531130.3533362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649482$1314A392-A753-4C84-91E5-7EFFE1A2F30D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a5fc175548a252094d9a283c297268d69f866a","datavalue":{"value":{"entity-type":"item","numeric-id":897927,"id":"Q897927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$2F2A902A-441B-401C-A9E0-9338E8210BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$7AED528C-E7BD-4AC3-883F-AA431D138974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9abec07fd2af15a9aaaa391006399418b62dd67","datavalue":{"value":{"entity-type":"item","numeric-id":1989324,"id":"Q1989324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$0D61CB7E-9889-4581-B673-9F0307942AAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66247bf01cf793896a6bcf8ae45be2cb3774bdfc","datavalue":{"value":{"time":"+2024-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6649482$F57A4B26-9A58-4EF4-AAE4-64A5DA2496D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649482$2C5EE818-D437-4CBE-9157-41AB8E32DB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649482$CCA61765-367D-4BC5-8F63-6EE413683B35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e136f025b2829f27734bccba498d7e452dee3561","datavalue":{"value":"7954862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649482$2FD1195B-B1A7-4BE5-BCC6-7CD3CBDFEBF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649482$505334D3-234F-4BC2-8778-FC25B92D92C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649482$D2C7BD72-E8BA-4288-B439-DCE92E285F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649482$EA2DFEA3-DC31-40FC-8FF6-8A8B49E02910","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":"Q6649482$C77D0EFD-8F5D-4E44-B1F6-AF8D440C0C7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$EF14C6FA-EC7B-4CDB-A30A-A12EE75C9B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e207e093bc0b7d07405b2cf42890588e429e43","datavalue":{"value":{"entity-type":"item","numeric-id":2819700,"id":"Q2819700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$08E8D19C-2A95-4D4D-B6A3-4C9250E1D02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83911d5fded9b66886662bafa44456e591bf1776","datavalue":{"value":{"entity-type":"item","numeric-id":5056004,"id":"Q5056004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$33C21347-F167-4365-8A68-D728F884C0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0727f3a0520dc2e660832037f7e16285269086","datavalue":{"value":{"entity-type":"item","numeric-id":5111892,"id":"Q5111892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$4C43A7E8-94E9-4113-B560-365260F72D61","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":"Q6649482$EE858F9E-FD5E-496E-87DB-CE0DC8284881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be9eb9c1b0ed55fc462a07fd876c48e7babce572","datavalue":{"value":{"entity-type":"item","numeric-id":1989325,"id":"Q1989325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$1CE6A650-3369-4BB5-9889-C76596CC1465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93abc8cbd64c4f911c19d33976e4cb7d84713d0","datavalue":{"value":{"entity-type":"item","numeric-id":2401632,"id":"Q2401632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$D72FE919-84A4-4AC3-BB34-037749BD81F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fc3b6c51983650406daa1623ecc24aaef0616b","datavalue":{"value":{"entity-type":"item","numeric-id":2038078,"id":"Q2038078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$01B1442F-DE0F-41F6-8EF8-6BCED74D948E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb13c04a9da978abd7932ce4144a8e1f010c5db4","datavalue":{"value":{"entity-type":"item","numeric-id":2817700,"id":"Q2817700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$65EC228C-B451-4BAF-812F-F86E7E005C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d936311a2779d160a9a465b09d037db12b9802","datavalue":{"value":{"entity-type":"item","numeric-id":3558224,"id":"Q3558224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$C39BD487-BCF3-4F6B-9286-C411DF3E0AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5a3ad8b2508272240077bd03f9ecc1d77febe3","datavalue":{"value":{"entity-type":"item","numeric-id":276265,"id":"Q276265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$349578BC-C21C-4FEE-892B-17C1D9CE358B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb9e1d8ac47b2da5172822d140197006c8b55fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842980,"id":"Q4842980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$74639487-AD38-4F7A-BA2B-57828A6B40CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a96a5ba8bbdb338396a6355dc109328a0f3140","datavalue":{"value":{"entity-type":"item","numeric-id":2464721,"id":"Q2464721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$279302FA-2760-4DE1-A4B0-2AC9DAC81A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56df4f447aee6f05fe2cb04682628f4dfe239a56","datavalue":{"value":{"entity-type":"item","numeric-id":2464718,"id":"Q2464718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$788758EE-6CDD-45C4-87EF-6FC096962E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6ea5c9ae564efea0f7e3df78bae35805929094","datavalue":{"value":{"entity-type":"item","numeric-id":2946666,"id":"Q2946666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$70D9BA46-867B-4D69-9B4B-307066EAFFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d10187fff317dfe3d4cdd2ed2a54a3b6c3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":3189816,"id":"Q3189816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$BE4FE4CD-1633-428F-B477-A74C09FA2102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$0A86D792-DF5A-4254-8050-4A80CB11C992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc601aad37b2780b5cf1d809eb7c3d5728ef7d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1575880,"id":"Q1575880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$E5B0329B-CDA8-423E-B2FA-69AE117140B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63a4230c1e113b1a8965564d38b5c0f44de4bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":2942856,"id":"Q2942856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$FA8D8EB3-5ABE-4081-8785-94888E1FD04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$539FF396-D4B3-498C-8051-F6D550E3DFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879ffd413e7b1e459cd59e4e2f8fcb99347eccd7","datavalue":{"value":{"entity-type":"item","numeric-id":5351948,"id":"Q5351948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$AEF5E0A4-130E-442C-A3A4-4728F7ED7724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e197ebaddeb9b57530afbd8a0bb07095fe1718d","datavalue":{"value":{"entity-type":"item","numeric-id":3613366,"id":"Q3613366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$FD3ACAB8-4552-4AFA-94AB-E34CEA5D04C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80b1ce6c7c55e134225781cab112803b76b1488","datavalue":{"value":{"entity-type":"item","numeric-id":4358457,"id":"Q4358457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$4EDCD55A-55D8-45AD-AA5F-CB49B1A3965E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca27b2e31264dc7ef43f84b65569a43b1a96915","datavalue":{"value":{"entity-type":"item","numeric-id":1102112,"id":"Q1102112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$51F7B621-73E9-442E-B4AB-D6077A885984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53be6a33524189fb84119342878d5d7c2fe96eff","datavalue":{"value":{"entity-type":"item","numeric-id":3021408,"id":"Q3021408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$E935A0D9-C4E5-4F29-A9FE-CD3D38EFAB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8263f4a7da24d1df168624ad61e935769e14bc0","datavalue":{"value":{"entity-type":"item","numeric-id":2891358,"id":"Q2891358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$23B3B895-B200-43EB-AE8A-6AD9242E11F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"467c53bbdd1dc227f69ea5f5fe41358cccee39b8","datavalue":{"value":{"entity-type":"item","numeric-id":2464724,"id":"Q2464724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649482$57F48820-9D99-4ECB-80E9-D5EFCE68AF0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11fe8b736fd1f729cc5c48193782bceacd1bc2d","datavalue":{"value":{"entity-type":"item","numeric-id":930866,"id":"Q930866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c684f62c54c7f57c0aa002745c891b414639dea4","datavalue":{"value":{"amount":"+0.8172346353530884","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":"Q6649482$57798D22-AAF2-42EF-8B2B-9A730861D03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acf756e6b4266a4841ad90b260d071afd065ca57","datavalue":{"value":{"entity-type":"item","numeric-id":2333310,"id":"Q2333310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb86c67a78777017474784bcdf4dff26357cf682","datavalue":{"value":{"amount":"+0.8158312439918518","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":"Q6649482$159E372F-EC46-4779-9C9C-BE717405AFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827afb396252b3b09d9b6009a6c68e913919f5f0","datavalue":{"value":{"entity-type":"item","numeric-id":6651955,"id":"Q6651955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1170a4c351d84317b2b37e5e1bb99df9d20f7874","datavalue":{"value":{"amount":"+0.7924433946609497","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":"Q6649482$AF4F36C1-A857-42C0-8FF7-4C5D63083B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41fe97f8b4f931e6f9f31eec588379410f4cbd0","datavalue":{"value":{"entity-type":"item","numeric-id":5898807,"id":"Q5898807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb363aa166f7a6d0373e3f202f288cae820c8704","datavalue":{"value":{"amount":"+0.7893729209899902","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":"Q6649482$002210D5-C3DF-4A5F-A442-DDACBF3EDB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cb4078fd2ca4380d1999e6c7395ad56b13cf09","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862186c9be350f2fe8044b81c70dca6a153be3ac","datavalue":{"value":{"amount":"+0.7782120108604431","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":"Q6649482$B523A284-7514-4243-A0EC-F21DBEC4FEB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasonable space for the \\(\\lambda \\)-calculus, logarithmically","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasonable_space_for_the_%5C(%5Clambda_%5C)-calculus,_logarithmically"}}}}}