{"entities":{"Q5269004":{"pageid":7298579,"ns":120,"title":"Item:Q5269004","lastrevid":91745519,"modified":"2026-06-04T23:57:47Z","type":"item","id":"Q5269004","labels":{"en":{"language":"en","value":"Redexes are stable in the \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6731042"}},"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":"Q5269004$76A55AC9-C893-443B-BDC1-1D934993626D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48fbd14c15d9721cfaa18eb08f6a6ad2b457baf6","datavalue":{"value":{"text":"Redexes are stable in the \u03bb-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5269004$3B30BAFB-489C-43EB-B736-946D4B0EC02C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a1955619343d2b4814dbb50f1b560b0e0cf145d","datavalue":{"value":"1364.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269004$74119695-7EFC-4D80-83C4-443F79D370FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e0cc34529e5e69afc03b47d4347e513145e7295","datavalue":{"value":"10.1017/S0960129515000353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269004$5FCC59D3-0341-445B-BA5C-CC5121EE7646","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f256d5cf43befc80d25eef0366dda59dbd77d3","datavalue":{"value":{"entity-type":"item","numeric-id":1229200,"id":"Q1229200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$682F7998-7D45-47A3-8AD6-483F98E868A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$C194B26B-3BD1-42FC-8A03-3E4E985E6F60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ddcf31b914fb89853eab25f40bb8eca88606da0","datavalue":{"value":{"time":"+2017-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5269004$058C5365-E6CE-49C0-AAEF-CDBD5B2240F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269004$03BBA764-B6C1-43CE-98CE-8E4C9CA2C103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269004$608A9C39-F412-4E04-B403-C51DB3A63B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269004$1013EE74-33FF-445F-866B-947200646E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269004$8DBE0237-32BC-4146-9B62-3057203BAF88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64b596e36507c9c36639a0b28bee68436074c9fb","datavalue":{"value":"6731042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269004$045EAFDB-D067-45FE-BA98-8FDE3F2ACC3B","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":"Q5269004$5EDAF6CC-37E8-4FFF-975D-E4D58D9C566E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"963838883dfef9e3d7c439fda1257ac0df84ed40","datavalue":{"value":{"entity-type":"item","numeric-id":2817686,"id":"Q2817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$A481AD4D-ABE0-4650-8194-10EDE0C71E18","rank":"normal"},{"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":"Q5269004$98276982-4FDB-48ED-B855-6F5977C43574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$E467434A-DBA7-494A-A814-BB2876D85371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68afa5639a324128bcfccbec0a324c3bc880bbc7","datavalue":{"value":{"entity-type":"item","numeric-id":673626,"id":"Q673626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$FB1CFD0D-CC28-4E69-97D6-EB808E33CA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd3c6c07517d6c54f38de138e106e285808f76c","datavalue":{"value":{"entity-type":"item","numeric-id":1245931,"id":"Q1245931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$1111A240-BD75-4971-8F20-D1C9E0696728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$488F66B3-9824-45A4-986A-8007FEF1D5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f91e65f1361da728c4984b4e5cc0f45065012e4","datavalue":{"value":{"entity-type":"item","numeric-id":1170880,"id":"Q1170880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$6610A6D3-468F-4940-90E7-11399755AEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc323deec64bbcfc41477049dec1c23c2c0b598","datavalue":{"value":{"entity-type":"item","numeric-id":3756499,"id":"Q3756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$9AC79BAB-84FD-4F2E-8018-6E48BFA876A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356a0f0b42e72fda0f581b376bc9cf7570d77fd","datavalue":{"value":{"entity-type":"item","numeric-id":4170199,"id":"Q4170199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$3F5FBDFF-D4D7-4473-A11C-B735B0A683B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f029d75d16f28910d4e43fa506b7a97d7a9573b","datavalue":{"value":{"entity-type":"item","numeric-id":3750994,"id":"Q3750994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$3942C2FA-248C-45D5-86F0-7C693334912C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$6DCC1543-6B35-4758-A7AA-7D140142053C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$1DB23E6D-826F-4E1E-BF76-2ACF6EA4F05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$BE20F0CD-3851-4926-B7F0-453E6455E5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$E22906F0-BBD8-4E4B-A983-6428B66988EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dc0c8532706ce699c8fb6c4053837f9351103b","datavalue":{"value":{"entity-type":"item","numeric-id":4304752,"id":"Q4304752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$82C81D78-97A8-4B59-BB38-085E084BF783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$77602321-D167-4FBF-A893-C39F4BE8FF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd196cf4514721e426b132f5301a52c37591f9f","datavalue":{"value":{"entity-type":"item","numeric-id":3184148,"id":"Q3184148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$B517E759-37B8-470D-8577-FAEB1E05BA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$2585F822-F795-432D-9414-7FB2DDF85626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60207ca25bfa758b9590cffdf67a8ee6ad2806da","datavalue":{"value":{"entity-type":"item","numeric-id":2843602,"id":"Q2843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$E2A9E471-487A-4D5D-9E75-09A21B586AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269004$D551C97D-6D14-4A6F-B90A-D12254FF494C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109441a4acefdeda6601f0739efe6391d8fd6cda","datavalue":{"value":{"entity-type":"item","numeric-id":673626,"id":"Q673626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23287e6dc2e990427d95efca6de2976873ad4a2f","datavalue":{"value":{"amount":"+0.7583876252174377","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":"Q5269004$55778FB5-BDF6-4213-87D2-9B030CF66E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fb2cf4cd736c16f41eb6e7a209ec514c241e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5055792,"id":"Q5055792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636cd20ce0338eb62ac207fcf49af5a60c19c675","datavalue":{"value":{"amount":"+0.7555201649665833","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":"Q5269004$13E0F52C-D0C9-44D2-A5BB-52194774D151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63893315afbe4ebe880d30cea90d9a7c56ec7d1","datavalue":{"value":{"entity-type":"item","numeric-id":4500174,"id":"Q4500174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0afde6c0ed1c56e07b379a24e7c9dcd630d1515d","datavalue":{"value":{"amount":"+0.7242146730422974","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":"Q5269004$BE44EF6D-F991-4E48-8BF3-A6EB59A6132C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d37a044ccb139fb459fb405ce0cdc18876a40","datavalue":{"value":{"entity-type":"item","numeric-id":4880488,"id":"Q4880488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4377719c3c603363b0001f4304134135fa3384ea","datavalue":{"value":{"amount":"+0.7228062152862549","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":"Q5269004$E67E9BC3-9B01-4999-A946-15BF107263E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5096051ec20ac867655c8ecadc3f9d33edc4fec1","datavalue":{"value":{"entity-type":"item","numeric-id":5958611,"id":"Q5958611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c72c53e1a2f167e4f2d8de13a7ddc26becc3e6","datavalue":{"value":{"amount":"+0.7197982668876648","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":"Q5269004$2BDA04D2-FB0A-44E1-B0A4-C5213C708649","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Redexes are stable in the \\(\\lambda\\)-calculus","badges":[]}}}}}