{"entities":{"Q877259":{"pageid":879107,"ns":120,"title":"Item:Q877259","lastrevid":65028771,"modified":"2026-04-11T23:50:38Z","type":"item","id":"Q877259","labels":{"en":{"language":"en","value":"Light affine lambda calculus and polynomial time strong normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5145097"}},"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":"Q877259$45E4AB54-4A71-43B8-AD26-CAA90FC9CCD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b947a58644f975249369f0f4eef847ee2bbe345f","datavalue":{"value":{"text":"Light affine lambda calculus and polynomial time strong normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877259$2A5A6E70-4658-4BC2-B5C8-945290A24C43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"956816fc58d6bd7d867a3e5092a0ebaa661e567d","datavalue":{"value":"1110.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877259$95CA373A-A00D-4FC3-BA29-57B549BD9F56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$D50C1609-26EF-4D7F-A1DC-53A54071CEEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$49D3CCE8-9D74-4942-8564-94CA362BDF66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c162f292d55d8cae8f707bd4c33cce3b2222d9aa","datavalue":{"value":{"time":"+2007-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":"Q877259$7EEDFBC7-BBEA-409B-9A8C-7B076A7D0D22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877259$D03DE3C9-32F7-4E76-9F3A-0BCCAC20C1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877259$642E90D0-1288-448D-B652-44AD79DD4EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877259$8AA5F797-D5B3-4523-AB6E-74B24BC170F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877259$EA853BB5-C0A3-44DE-93D1-FCBA9023F705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877259$6ABEBFBA-FFFC-4F6C-9585-103498CA895D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877259$97A73865-A20E-4B4A-9E0E-1F7000C8AAA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"621799e92347d38b8f41406d644511a9587e7937","datavalue":{"value":"5145097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877259$74A917A6-1B4F-4C86-962F-F1580F699392","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c48773c0832204f6cfa0b7ba54788344fd318a8","datavalue":{"value":"Light logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q877259$748DEBBC-700B-47FF-8F92-F1FE168C17FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q877259$5EFF3C86-CD8F-4AF5-8FB3-F96C5DDD6BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1dd932fe4656ff549247a9c8f635039e37e2f2b","datavalue":{"value":"Polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q877259$022154A4-488A-4FF6-8880-620B24270603","rank":"normal"}],"P1463":[{"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":"Q877259$C2377DBB-A121-4007-A7FA-4DE82EE79C1E","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":"Q877259$0626FF7B-B8FD-41BE-BE70-DFFDFBAD00A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80ead45d59f98f424302b8324a808bed593133ad","datavalue":{"value":"https://doi.org/10.1007/s00153-007-0042-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q877259$05338A3E-6853-4611-9FF7-FE3A91B5DF83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0730ade01189419f8932ecbcc583f1595f4a3f1b","datavalue":{"value":"W2070983411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877259$FE86BF07-E9D6-4443-AEB9-139E6BD8DED6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2426e99842aa598564f1d03f0e18e70e9f082a0","datavalue":{"value":{"entity-type":"item","numeric-id":4936120,"id":"Q4936120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$1490A2D9-0645-47F1-B25B-595C10893C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a553fedd51b2b7ac5a3e7474152ecb075ea6aed","datavalue":{"value":{"entity-type":"item","numeric-id":1827389,"id":"Q1827389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$CDEB7613-5E2A-42F2-B5F4-05009C29EB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d45a752190299df78fd797b5ebe48d984c1ba42","datavalue":{"value":{"entity-type":"item","numeric-id":1004289,"id":"Q1004289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$7C586134-D215-4014-8F1B-72623687BDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$576FFBA5-6960-45EB-B3B0-4DBF2CBE8446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31f2c064dbb4fcdff1fc3118ad6dfb9b36c8ee6","datavalue":{"value":{"entity-type":"item","numeric-id":1577477,"id":"Q1577477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$A88E8D3E-05A4-45B5-9EB1-1B5A53B3F8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b2380b35de576e2f3b9aec23341ed5906f3105","datavalue":{"value":{"entity-type":"item","numeric-id":1401946,"id":"Q1401946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$DAE50D44-0333-4B88-BE22-5E0E708071AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$215A1741-C683-43EF-B009-EEB43746E86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$171B94F4-725E-456A-9FC4-E1892AF2C880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fffc5404ef5f22452974abc741a98522b92bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":1577481,"id":"Q1577481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$0BC6166E-4D23-4610-AC37-3503EBCC7B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cefcd52617bfea9a40369ded027e984d4ea542f","datavalue":{"value":{"entity-type":"item","numeric-id":1398478,"id":"Q1398478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$90AC7F34-5BCE-4684-BCAC-DDD3E2C152E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9007f592c26c879cdc9d51881c070212b204dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1327386,"id":"Q1327386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$CCFFF27D-7E0E-44A5-AFCC-5B13A54BE0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0633baa2c22ddc2ddf3c89da84d2dc9ec96eb60","datavalue":{"value":{"entity-type":"item","numeric-id":4850553,"id":"Q4850553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$579D0A6B-E002-40F7-9BA2-5513D69070C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152c41dcba6e9bafd25dd7bd047d4cddb2c3b3d9","datavalue":{"value":{"entity-type":"item","numeric-id":5897348,"id":"Q5897348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$F54927D6-0156-49F1-B831-C3FE219E0E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693bf5d49b2dc1c71923779a46d08e2176174e00","datavalue":{"value":{"entity-type":"item","numeric-id":2753690,"id":"Q2753690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$DEFAB175-0A0C-49E6-8E03-731CA656CCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe7e76911713a7dd839db3253fb0238dd3c60cd","datavalue":{"value":{"entity-type":"item","numeric-id":1827399,"id":"Q1827399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$D1EDD936-EA87-4ABC-ACD6-07ADFEB3A153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7909451299d6025f7fc9557521737c4bcb71a660","datavalue":{"value":{"entity-type":"item","numeric-id":4945245,"id":"Q4945245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$3F4240B6-782F-4531-A326-EC2F6ABBF365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f02b62519f82b4f37f85990a9b4df6af1a94846","datavalue":{"value":{"entity-type":"item","numeric-id":5249032,"id":"Q5249032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$1FA6061D-7AB0-486F-8AAF-DAD247289030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bf808c34edd92c2b99b788129bd6db0f113c6b","datavalue":{"value":{"entity-type":"item","numeric-id":1876088,"id":"Q1876088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$F13C4095-0FFE-43E6-A88B-0ABFE9DD8774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac0238542245b8dba16f4222440bcd83dd0e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877259$B88E9932-B9B9-4CAF-B15C-BACAA5D263D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f50a478d791b7303ea07efcc380d6a8dcf5171b","datavalue":{"value":"10.1007/S00153-007-0042-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877259$C584B4A1-7287-4B35-8867-4865FF23A6A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ea36f0a0484e249d413f552df81af38e818779","datavalue":{"value":{"entity-type":"item","numeric-id":1004289,"id":"Q1004289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b16ba1613d884f5d66b5f3d8931e1675405617a","datavalue":{"value":{"amount":"+0.8478545546531677","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":"Q877259$3E32FB7E-0C17-4602-86FF-DF36B606E011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b973aa698753b140293751269338506d45ae6c3","datavalue":{"value":{"entity-type":"item","numeric-id":408540,"id":"Q408540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c912a9ca57fd981229b8f9e0a53b266319bd7c","datavalue":{"value":{"amount":"+0.8119293451309204","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":"Q877259$F1CC231D-0E95-4B73-B1E2-9762FAB01BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597c3fac56289fce62c29a176a72264ebd35f91f","datavalue":{"value":{"entity-type":"item","numeric-id":3419785,"id":"Q3419785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5edf988ff33a038aabc8067af3b68dbd263bb44d","datavalue":{"value":{"amount":"+0.8118264675140381","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":"Q877259$5A64CC9E-2FFF-4F89-8E14-80CADEEB272B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08290a903d4bd3bb1601220d42d7a1bd8945f880","datavalue":{"value":{"entity-type":"item","numeric-id":5738953,"id":"Q5738953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbeadad4a1ba413ee440f5a189706027837dc767","datavalue":{"value":{"amount":"+0.8079867959022522","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":"Q877259$D9BC4299-D0EE-47B8-BD7F-76A82945F27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91b08cc869afadd64502b6ae6945c389f4cc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":3612618,"id":"Q3612618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62de615699e46dd5bf6dd22d2788c0d9438f2bf","datavalue":{"value":{"amount":"+0.8025618195533752","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":"Q877259$7E31E8D2-5F4E-4F95-8AAF-06138E8D2B1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Light affine lambda calculus and polynomial time strong normalization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Light_affine_lambda_calculus_and_polynomial_time_strong_normalization"}}}}}