{"entities":{"Q1365680":{"pageid":1376420,"ns":120,"title":"Item:Q1365680","lastrevid":68559150,"modified":"2026-04-13T00:33:18Z","type":"item","id":"Q1365680","labels":{"en":{"language":"en","value":"A useful \\(\\lambda\\)-notation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1058327"}},"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":"Q1365680$340EFA4C-FC97-4480-BA03-5A4A29CCDC33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3d1ac3f2eb2510b4d2511ec14304499a5f2a473","datavalue":{"value":{"text":"A useful \\(\\lambda\\)-notation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1365680$F9135F98-EB76-4E46-9F0E-2C59478C9D43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3e6eaeb910979f134930d5dc9debe8c47518605","datavalue":{"value":"0873.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365680$5FF5FB50-2818-4186-8D77-C98A793F353B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0842c8d09d34380f32a48f114722e82d359c60f8","datavalue":{"value":"10.1016/0304-3975(95)00101-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365680$DA1E6E9C-C560-47D5-81C7-8E9AC61F8E38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$1C83EDB1-24F1-42D7-B8B9-8BC0880E620D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccf0e6228bb42cc5ee8cdb809da3f851a52cf91a","datavalue":{"value":{"entity-type":"item","numeric-id":740480,"id":"Q740480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$DD72B169-3019-4FAC-88C7-823DF7D2365A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$75ACD66C-3458-4226-BFA8-A2DD655BBF06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6be3e37c641cde91cfa734d9536de0ec5c1b8bc6","datavalue":{"value":{"time":"+1997-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1365680$BD5F95B0-E822-4D56-BCCA-91AC3DE697EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365680$F9593781-12FF-4546-8830-BA55FECC2D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365680$D004A26D-5C54-4A4E-888E-7B996F8D7F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365680$2E371D7C-676E-40CB-872E-8E5ECD85F836","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89c5f89c3eb0ed142cfab68f042dd9f79564b38e","datavalue":{"value":"1058327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365680$E08E1541-24DF-4227-A4BA-F023ADA68A84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365680$1B41180C-8963-4DCE-92FA-0E1352223123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58fb4f417bc17db469e478d7cf4aa45530127932","datavalue":{"value":"item notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365680$026CB39A-C708-4CD4-9A27-02DCB5908F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cad92bce031d3a76cb9efd6f5e39e947fbc717","datavalue":{"value":"reduction relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365680$DF16DDE1-5F23-4D59-9EF1-06D6884BB80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5093f97a0a90231cc1aa9254cead7e1f906c29d","datavalue":{"value":"canonical type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365680$2BD636A3-E9F8-442C-B870-391DF260596F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8706ac445d92b0bc11d881490f1174dd42d9cb9","datavalue":{"value":"preference type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365680$0A3EB815-A81E-4179-9CBD-14B616927501","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":"Q1365680$FC4E6D57-1621-43F7-84F3-DFD2E2402362","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":"Q1365680$CDDECFCD-C884-45AA-9ADC-40D18D68F19D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"706f229dd7476591189e353a590bb05dda3d236c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00101-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1365680$33AED565-C974-4593-8336-6C6CF68CA388","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8866c458c58cd8cd4bcb53a421fa7b6ee35320f7","datavalue":{"value":"W2155411851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365680$95C8F8AD-A8D9-4D8C-9348-911548018946","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$894CE113-B829-4FC0-9D54-4E08A1BA6DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$9CF3305E-F44A-47D3-9490-89801C152430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10774e8d02830db876d904c079b5a73474490ce0","datavalue":{"value":{"entity-type":"item","numeric-id":1917101,"id":"Q1917101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$7595D842-096B-4BA5-BDBA-3F395CC51677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96d815032a9222574f9ee6391d2a7c90b0f09e9","datavalue":{"value":{"entity-type":"item","numeric-id":3793765,"id":"Q3793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$07D5A30C-1AB7-4298-9F93-B2897FFDC013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f494acf3a97ba3d08e24c888dfea76899fb6aa","datavalue":{"value":{"entity-type":"item","numeric-id":3857730,"id":"Q3857730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$F43C5788-4066-400E-A3EF-CAE973BB77B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$74116D96-DEFF-4170-AB50-2DB548C67C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b201d97ba51e9a469157bfcbb5963e8e4d8cc7b7","datavalue":{"value":{"entity-type":"item","numeric-id":4286110,"id":"Q4286110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$5BF26F44-4610-4F71-B6E1-256D0F809B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7aa565bdb2a148fd351c269e59a364d9556ee2","datavalue":{"value":{"entity-type":"item","numeric-id":1349674,"id":"Q1349674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$41AB8834-00E9-4684-A939-7D5161524994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5465db99f8f30dc187c2ac3fa858fe8ab1debc4","datavalue":{"value":{"entity-type":"item","numeric-id":4895552,"id":"Q4895552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$5F332692-DD5E-4190-AE8D-C972EEA6DE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ec0158e8065da6b9ce4d4ea6c388167366ee3f","datavalue":{"value":{"entity-type":"item","numeric-id":4360125,"id":"Q4360125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$26700717-FA0C-44EA-AA3A-811634597E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365680$44031022-E449-48C7-B35C-2C61781ECA2E","rank":"normal"}],"P1643":[{"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":"4c8fa5a020cef13a443d45d7724c41a913c17fc1","datavalue":{"value":{"amount":"+0.8023865818977356","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":"Q1365680$0C4097CE-4439-441C-B8E7-77982326755E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec85779271fed97e87f11dda770b3487c3b1710","datavalue":{"value":{"entity-type":"item","numeric-id":4259974,"id":"Q4259974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3fccbd969d8a5ccd6c1ca9ac1e654e4a73bfb4","datavalue":{"value":{"amount":"+0.7916648983955383","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":"Q1365680$5919167A-ECE8-42FD-A8FB-64E3FED76A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99bf599bc35b72cf5355d10b0df15a41a68fadb9","datavalue":{"value":{"entity-type":"item","numeric-id":1129257,"id":"Q1129257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6999601acae291aa6f8436cdcf2fab0c7ab0226b","datavalue":{"value":{"amount":"+0.7885650992393494","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":"Q1365680$0D4DA6FB-188E-4EFC-8DAE-76057FC86378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13029a6b13b531e3fd4463a75576676ce8fae15a","datavalue":{"value":{"entity-type":"item","numeric-id":1764799,"id":"Q1764799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f65a26e02ecb590d86e70384fe2f5306fa5816","datavalue":{"value":{"amount":"+0.7766605019569397","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":"Q1365680$98EF180E-A7C8-4616-BBD3-A3EEF0AC6B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a48af0d279b1fc9562bc9d0470a7922269329f","datavalue":{"value":{"entity-type":"item","numeric-id":4286110,"id":"Q4286110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b560807b7253d65175950d9178fa336f0339ccbc","datavalue":{"value":{"amount":"+0.7704010009765625","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":"Q1365680$70E42FED-12B9-4DC6-B75C-A53ED369F57B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A useful \\(\\lambda\\)-notation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_useful_%5C(%5Clambda%5C)-notation"}}}}}