{"entities":{"Q4635589":{"pageid":6665170,"ns":120,"title":"Item:Q4635589","lastrevid":58315926,"modified":"2026-04-04T16:51:34Z","type":"item","id":"Q4635589","labels":{"en":{"language":"en","value":"Beta reduction is invariant, indeed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863066"}},"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":"Q4635589$BE8C57CA-0A8E-43D2-AEED-74FBA3544B0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d74978adb449784139c251e732410babd117534d","datavalue":{"value":{"text":"Beta reduction is invariant, indeed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635589$7398D09B-861D-4BE7-B2AB-15FB99002004","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"985b06cab7393b8c9dc37670406fc6c2d50aed43","datavalue":{"value":"1394.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635589$F5DCB00C-6977-465D-8260-A7EA9709ECFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ff3597bde2d44055a18b3f1607b76107915951e","datavalue":{"value":"10.1145/2603088.2603105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635589$A53F349D-5FC0-47DB-8748-1F2F07BF3EB0","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":"Q4635589$7D777BFC-F8D0-4364-B6B0-63C764796D67","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":"Q4635589$56806DF8-98B0-4B15-B56D-D8C2F56E3B8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635589$0CACB534-ADC1-4A05-9319-E0C863CBADCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635589$BAE43DCF-1031-4AAB-9E73-501725967E6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68f544c3d59ae3eeb572d5f23d4751664725c919","datavalue":{"value":"https://arxiv.org/abs/1405.3311","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635589$AD11EF41-6A31-4509-B973-687E2663B474","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635589$E1B562F7-8B50-41B7-B25B-96F019234EDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1718f46e105986ecab86860b1bd2b20a2a06d38e","datavalue":{"value":"6863066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635589$0A417253-D2DA-4045-B8B7-484B25ACE17C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635589$8537EBB3-40A8-4978-8905-FC2F1C43ABFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635589$931AE443-AB45-4BCC-B8C3-7D16FBA17734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4ae06aefb54dbc6e3577eee5227dfb50c701ac","datavalue":{"value":"cost models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635589$283682AC-1D13-400F-B253-B348D3D08153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635589$49593CE4-EF32-4413-A60E-113413B590A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e53df307452a0f493e5ea7f340e6394fad21772","datavalue":{"value":"sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635589$1610C4DE-9CC8-4614-9D48-33C139A8D2D6","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":"Q4635589$C5E34114-EA8E-42AE-B710-46265D85BEE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21b8770f5d197a951f547d3b98f2402474b99b40","datavalue":{"value":"W2010239186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635589$678FBB4A-E19B-4079-AE7F-D32626E53B83","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":"a3b4df51ccfcff81ad3a4cbe42b1b5be7217b62e","datavalue":{"value":{"amount":"+0.9913188219070436","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":"Q4635589$1265E1A8-85B2-4F08-9769-7343A490EA7F","rank":"normal"},{"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":"84a1b0338215e0bd1f7804e35df423bf8909780b","datavalue":{"value":{"amount":"+0.853274405002594","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":"Q4635589$A92DB36F-4C03-416C-8FDB-CC429A91B8AB","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":"903a99ab71de3404258383b450de503d2df799a9","datavalue":{"value":{"amount":"+0.8515850305557251","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":"Q4635589$8B48FB2E-E229-4C5D-B045-E80F08BE781E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d0892e42bc6f83eb7a7eff8fe2e29b739e8a18","datavalue":{"value":{"entity-type":"item","numeric-id":5111892,"id":"Q5111892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d027e8780c7f037f99b70b07a65911b0b99ca1aa","datavalue":{"value":{"amount":"+0.8221731781959534","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":"Q4635589$65F808F4-9740-4667-AC7E-9E31F504A940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f50b3f4d8d6370330324d8696805f0a9bf3b15d","datavalue":{"value":{"entity-type":"item","numeric-id":2820681,"id":"Q2820681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90abfe53dd13cfe6ec603b5ab295a4a4f83d6179","datavalue":{"value":{"amount":"+0.801236093044281","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":"Q4635589$84CCB30A-B57F-49B9-97C0-37324A29D4B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635589","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635589"}}}}}