{"entities":{"Q5224690":{"pageid":7254259,"ns":120,"title":"Item:Q5224690","lastrevid":91896098,"modified":"2026-06-05T00:20:52Z","type":"item","id":"Q5224690","labels":{"en":{"language":"en","value":"Linear depth increase of lambda terms in leftmost-outermost rewrite sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084952"}},"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":"Q5224690$224B81E4-2BC4-4925-AF3B-4D3A311DAEE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c6d824bef8da934bfecbc5e218edf3fcf128bb4","datavalue":{"value":"1418.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224690$514EC1AD-2B79-4B2F-8CE6-C9E1BADD3CEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226f031fbae3e27660d7d9a4703c5ba4b6d13509","datavalue":{"value":{"entity-type":"item","numeric-id":409314,"id":"Q409314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224690$570BDCCF-D096-4A87-8E4D-40636D7EB7BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224690$92A8B3E7-FBF3-4465-B863-BE9046D0C53B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224690$A9B64B18-0400-4665-8EDC-2ECABFD7EC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224690$2CC36480-1D50-4155-8B70-B4D952192817","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01dc812def3586b0d5d5689e72a562f8df316c4a","datavalue":{"value":"7084952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224690$31D5A6E2-89C0-4950-8B10-A9AAB3A63089","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":"Q5224690$980248FF-8064-451C-A9C4-CC04848055C4","rank":"normal"}],"P1643":[{"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":"a83e860e34e803dffc144a2077564be67fb8bb10","datavalue":{"value":{"amount":"+0.7891662120819092","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":"Q5224690$D7CD87F3-B6BD-4B73-8C58-51ECFBE300CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ffa585547f2cd25c61e589567dd1ffab529a87","datavalue":{"value":{"entity-type":"item","numeric-id":4635589,"id":"Q4635589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31321a7c32545152009882bdf5c89c62a5350075","datavalue":{"value":{"amount":"+0.7728332281112671","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":"Q5224690$F7E740D1-5F99-49FF-95C8-C8812D1BE06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592dbd5cbb0cff0033572b3a212ef55d68bbc7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2904629,"id":"Q2904629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdca76076e97a730ce53efcb44cc0150a2fa01c1","datavalue":{"value":{"amount":"+0.7356510758399963","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":"Q5224690$CD21692B-2B4F-42A5-9DD7-3EDCA7DE18C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e1d24aa94a413bd5eefe1104f8ec9789fdb8dd","datavalue":{"value":{"entity-type":"item","numeric-id":3638093,"id":"Q3638093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ee141ff153264b94b5ae7456a2a2cce0c1c1bf","datavalue":{"value":{"amount":"+0.7330648303031921","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":"Q5224690$CDE3CC04-C583-42CA-9D94-9FBCD9A99142","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":"fa3488fa882aa26a19d7c47ce1a58226cbedab8d","datavalue":{"value":{"amount":"+0.717499852180481","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":"Q5224690$4FFDB7E8-AF5D-461A-A724-813F1289322E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear depth increase of lambda terms in leftmost-outermost rewrite sequences","badges":[]}}}}}