{"entities":{"Q1891248":{"pageid":1901990,"ns":120,"title":"Item:Q1891248","lastrevid":73934967,"modified":"2026-04-14T17:47:06Z","type":"item","id":"Q1891248","labels":{"en":{"language":"en","value":"Enumerators of lambda terms are reducing constructively"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 759337"}},"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":"Q1891248$C70FA161-CA9B-4AC4-805B-814F81A17998","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4480eba634953793c50bc1b3454cb16abca6cc57","datavalue":{"value":{"text":"Enumerators of lambda terms are reducing constructively","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891248$C084A607-3CFE-4D22-B80F-68088EA01DE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1553da4a380685566b8213a72dd611fa8591698","datavalue":{"value":"0819.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891248$836BA667-ABBF-4EF5-B5EC-58210C473A14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8da14860636587212069c30e371c67c2b53ca7d6","datavalue":{"value":"10.1016/0168-0072(94)00022-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891248$FE82A137-2905-4955-9DD5-E9E23BC68893","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891248$6857C190-F320-4B52-B64A-AC60D50B6F3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891248$51CE5124-BF98-4427-A77C-7E8A4302AF40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"130e39adf7d31aeb394dfacb8a12a0f0ed2af467","datavalue":{"value":{"time":"+1995-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891248$B87A4058-840F-4CA0-AAC6-61B37DEA7427","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891248$A5ABC637-69EB-49E2-8026-E453C991C450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891248$8AAD5BA8-6A21-449F-AAE9-7956D6686058","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd13414b79714af8cf259acf5e1382567a97bbc0","datavalue":{"value":"759337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891248$3DFF852E-8AE5-42BB-9228-F184DD907F77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891248$A38B0E0D-F961-4F28-96AB-B7BDBF7A3662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2727a8aa72b48def25c3a46849d7120b3e1496","datavalue":{"value":"reducing enumerator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891248$66514637-419E-4A40-9F08-B7EF901DBAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5b9ca10bd8c33c6308bdf27e758f8e4643f1d05","datavalue":{"value":"intuitionistic version of Statman's proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891248$C21E7E21-72BA-4EBF-BAA3-A5A0E371F48F","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":"Q1891248$77EFFCE7-14FE-4362-B978-0AF11C03DB09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891248$E6D7B8CC-87F5-42D7-8A8A-C5217FB0180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50c4b55ba3a9db6101ee5980f3991113a5339352","datavalue":{"value":{"entity-type":"item","numeric-id":4763984,"id":"Q4763984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891248$BBB04248-B1D3-44D3-B300-BA57D3C3ADB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed53823d817192b4d96d4668449095e3a41e54d","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891248$260D6131-E765-4188-ABBB-AC764226A954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891248$7949730E-FD35-4E07-BB46-6E9D921037B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3b5f3a912e5ec08e947b113f1f258e4f5756c02","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)00022-u","type":"string"},"datatype":"url"},"type":"statement","id":"Q1891248$F070E985-6AD9-471E-A12C-15D12517BC85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fb91cd6ec821b3dad1754673897403d5a43d970","datavalue":{"value":"W2139830960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891248$58CA151F-9244-433A-B8BC-C96485B7DF8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fb39a71fbe51664174a3b47df2c38e4a98a44bf","datavalue":{"value":{"entity-type":"item","numeric-id":4763984,"id":"Q4763984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0aaaba076c0f3420f06b9d2a69d38aec6346aaf","datavalue":{"value":{"amount":"+0.9565898776054382","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":"Q1891248$E1479804-BA46-40F9-8867-42CD135D67F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d79b6fca9736398c8e571623dca56838dd6b3c6","datavalue":{"value":{"entity-type":"item","numeric-id":396960,"id":"Q396960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a733d20911280b78f2188b744956e45d68ea05ad","datavalue":{"value":{"amount":"+0.9529383182525636","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":"Q1891248$BCFA08B1-8F84-422E-BDE1-4F6CD5DAB1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5c9262690b7f69508fe35256fe6a044e509c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2202676,"id":"Q2202676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1f974a67984098a03fbc80f25a88f1c7d276b6","datavalue":{"value":{"amount":"+0.746688723564148","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":"Q1891248$7AEB5CA0-710F-4D68-807E-55E64EA34055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9907fc44d2b4fb48725b80e34fa8e190e2b685","datavalue":{"value":{"entity-type":"item","numeric-id":1314345,"id":"Q1314345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de462bd583f00973dade849d77ca32d55a382101","datavalue":{"value":{"amount":"+0.7277525067329407","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":"Q1891248$05AB4968-A1E7-45A7-A683-D31A8656B3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15aa220b93e84e099d06712df19be5193f3ff629","datavalue":{"value":{"entity-type":"item","numeric-id":1199546,"id":"Q1199546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1967660e94d3bf3bd0c76d195849de2bfebe344c","datavalue":{"value":{"amount":"+0.721448540687561","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":"Q1891248$49AB3303-0DD0-4358-80AC-B5B370305225","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enumerators of lambda terms are reducing constructively","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enumerators_of_lambda_terms_are_reducing_constructively"}}}}}