Historio de versioj de "Lambda-kalkulo"

Por montri iun de malnovaj versioj, klaku al ĝia datumo. Pliaj informoj estas en la paĝoj Helpo:Historio de paĝo kaj Vikipedio:Resumo.
Pliaj iloj: Statistikoj pri historio de revizioj · Serĉado en malnovaj revizioj · Kontribuantoj · Redaktoj fare de uzanto · Nombro de atentantoj · Statistiko de vizitoj

(nuna) = diferenco inter nuna versio, (antaŭa) = diferenco inter antaŭa versio, e = eta redakto, → = redakto de sekcio, ← = aŭtomata resumo de redakto

nunaantaŭa 19:2619:26, 1 sep. 2023‎ LiMrBot diskuto kontribuoj‎ 37 730 bitokoj +17‎ formatigo de titoloj, +Projektoj malfari [aŭtomate patrolita]

nunaantaŭa 00:1500:15, 27 mar. 2023‎ Ĉaŭ-ĉaŭ-bot diskuto kontribuoj‎ e 37 713 bitokoj −82‎ →‎Aritmetiko: esperantigo de citŝablonoj per AWB malfari [patrolita de Kani]

nunaantaŭa 10:4510:45, 9 mar. 2023‎ Dotyoyo diskuto kontribuoj‎ e 37 795 bitokoj +30‎ Aldonado de tri aliaj funkciaj programlingvoj: Agda, Coq, kaj Idris. malfari

nunaantaŭa 23:1423:14, 5 jul. 2022‎ 85.53.241.131 diskuto‎ 37 765 bitokoj −7‎ Ŝanĝis flankefikojn al kromefikoj. malfari Etikedo: Vida redakto

nunaantaŭa 21:3421:34, 25 maj. 2022‎ 73.79.137.170 diskuto‎ 37 772 bitokoj 0‎ →‎Rikuro malfari Etikedo: Vida redakto [patrolita de Tlustulimu]
nunaantaŭa 21:3421:34, 25 maj. 2022‎ 73.79.137.170 diskuto‎ 37 772 bitokoj −1‎ →‎Rikuro malfari Etikedo: Vida redakto
nunaantaŭa 20:5420:54, 25 maj. 2022‎ 73.79.137.170 diskuto‎ 37 773 bitokoj +1‎ →‎Notacio malfari Etikedo: Vida redakto

nunaantaŭa 12:0012:00, 2 jan. 2022‎ InternetArchiveBot diskuto kontribuoj‎ 37 772 bitokoj +69‎ Rescuing 0 sources and tagging 1 as dead.) #IABot (v2.0.8.5 malfari [aŭtomate patrolita]

nunaantaŭa 12:4412:44, 14 aŭg. 2021‎ InternetArchiveBot diskuto kontribuoj‎ 37 703 bitokoj +246‎ Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.8 malfari [aŭtomate patrolita]

nunaantaŭa 05:0105:01, 4 mar. 2021‎ Audreycious diskuto kontribuoj‎ 37 457 bitokoj −2‎ *estiel -> kiel malfari [aŭtomate patrolita]

nunaantaŭa 19:2619:26, 18 apr. 2020‎ Xqbot diskuto kontribuoj‎ e 37 459 bitokoj +144‎ Bot: Replace deprecated <source> tag and "enclose" parameter; kosmetikaj ŝanĝoj malfari [aŭtomate patrolita]

nunaantaŭa 14:2814:28, 27 nov. 2018‎ Robin Bot diskuto kontribuoj‎ e 37 315 bitokoj 0‎ Roboto: Automata tekst-anstataŭigo: (- defini + difini ) malfari [aŭtomate patrolita]
nunaantaŭa 14:2314:23, 27 nov. 2018‎ Robin Bot diskuto kontribuoj‎ e 37 315 bitokoj 0‎ Roboto: Automata tekst-anstataŭigo: (- definita + difinita ) malfari [aŭtomate patrolita]

nunaantaŭa 18:1918:19, 23 maj. 2018‎ WOSlinker diskuto kontribuoj‎ 37 315 bitokoj +6‎ fix malfari [patrolita de Goren]

nunaantaŭa 21:3121:31, 27 jun. 2017‎ Robin van der Vliet diskuto kontribuoj‎ e 37 309 bitokoj −278‎ Neniu resumo de redakto malfari [aŭtomate patrolita]

nunaantaŭa 04:3704:37, 26 jan. 2016‎ Mctpyt diskuto kontribuoj‎ e 37 587 bitokoj 0‎ Neniu resumo de redakto malfari [patrolita de Goren]

nunaantaŭa 22:0222:02, 19 mar. 2013‎ Addbot diskuto kontribuoj‎ e 37 587 bitokoj −808‎ Roboto: Forigo de 30 interlingvaj ligiloj, kiuj nun disponeblas per Vikidatumoj (d:q242028) malfari [aŭtomate patrolita]

nunaantaŭa 17:0917:09, 10 jan. 2012‎ RedBot diskuto kontribuoj‎ e 38 395 bitokoj −1‎ r2.7.1) (robota modifo de: fi:Lambdakalkyyli malfari [aŭtomate patrolita]
nunaantaŭa 13:0813:08, 10 jan. 2012‎ ZéroBot diskuto kontribuoj‎ e 38 396 bitokoj +23‎ r2.7.1) (robota aldono de: fi:Lambda-kalkyyli malfari [aŭtomate patrolita]

nunaantaŭa 17:0717:07, 4 dec. 2011‎ Marcos diskuto kontribuoj‎ 38 373 bitokoj +3‎ Neniu resumo de redakto malfari [aŭtomate patrolita]

nunaantaŭa 04:1804:18, 20 okt. 2011‎ Rezabot diskuto kontribuoj‎ e 38 370 bitokoj +3‎ r2.7.1) (robota modifo de: ta:லாம்டா நுண்கணிதம் malfari [aŭtomate patrolita]

nunaantaŭa 15:1415:14, 27 jul. 2011‎ Luckas-bot diskuto kontribuoj‎ e 38 367 bitokoj +25‎ r2.7.1) (robota aldono de: is:Lambda-reikningur malfari [aŭtomate patrolita]

nunaantaŭa 01:1201:12, 20 jul. 2011‎ Luckas-bot diskuto kontribuoj‎ e 38 342 bitokoj +21‎ r2.7.1) (robota aldono de: bs:Lambda račun malfari [aŭtomate patrolita]

nunaantaŭa 01:1201:12, 10 dec. 2010‎ Mjbmrbot diskuto kontribuoj‎ e 38 321 bitokoj −1‎ r2.7.1) (robota modifo de: vi:Phép tính lambda malfari [patrolita de Yekrats]

nunaantaŭa 22:5422:54, 5 jul. 2010‎ Xqbot diskuto kontribuoj‎ e 38 322 bitokoj −12‎ roboto modifo de: he:תחשיב למדא; cosmetic changes malfari [aŭtomate patrolita]

nunaantaŭa 04:2204:22, 22 dec. 2009‎ Luckas-bot diskuto kontribuoj‎ e 38 334 bitokoj +35‎ roboto aldono de: ar:حسابات اللامدا malfari [aŭtomate patrolita]

nunaantaŭa 22:4922:49, 12 dec. 2009‎ Marcos diskuto kontribuoj‎ e 38 299 bitokoj −2‎ lingvaj plibonigoj malfari [aŭtomate patrolita]

nunaantaŭa 21:4421:44, 4 aŭg. 2009‎ TXiKiBoT diskuto kontribuoj‎ e 38 301 bitokoj +21‎ roboto aldono de: sh:Lambda račun malfari [aŭtomate patrolita]

nunaantaŭa 12:2212:22, 9 maj. 2009‎ DragonBot diskuto kontribuoj‎ e 38 280 bitokoj +27‎ roboto aldono de: vi:Giải tích lambda malfari [aŭtomate patrolita]

nunaantaŭa 03:5703:57, 1 maj. 2009‎ Melancholie diskuto kontribuoj‎ e 38 253 bitokoj +54‎ roboto aldono de: ta:லம்டா நுண்கணிதம் malfari [aŭtomate patrolita]

nunaantaŭa 18:3918:39, 5 apr. 2009‎ Alexbot diskuto kontribuoj‎ e 38 199 bitokoj +21‎ roboto aldono de: ko:람다 대수 malfari [aŭtomate patrolita]

nunaantaŭa 12:1212:12, 16 feb. 2009‎ NicoRay diskuto kontribuoj‎ 38 178 bitokoj 0‎ Neniu resumo de redakto malfari [aŭtomate patrolita]

nunaantaŭa 07:1207:12, 6 feb. 2009‎ Goren diskuto kontribuoj‎ 19 580 bitokoj +2 056‎ →‎Logiko kaj predikatoj malfari [aŭtomate patrolita]
nunaantaŭa 04:4104:41, 6 feb. 2009‎ Goren diskuto kontribuoj‎ 17 524 bitokoj +4 440‎ →‎Aritmetiko malfari [aŭtomate patrolita]
nunaantaŭa 01:3501:35, 6 feb. 2009‎ Goren diskuto kontribuoj‎ 13 084 bitokoj 0‎ →‎η-konverto malfari [aŭtomate patrolita]

Historio de versioj de "Lambda-kalkulo"

1 sep. 2023

27 mar. 2023

9 mar. 2023

5 jul. 2022

25 maj. 2022

2 jan. 2022

14 aŭg. 2021

4 mar. 2021

18 apr. 2020

27 nov. 2018

23 maj. 2018

27 jun. 2017

26 jan. 2016

19 mar. 2013

10 jan. 2012

4 dec. 2011

20 okt. 2011

27 jul. 2011

20 jul. 2011

10 dec. 2010

5 jul. 2010

22 dec. 2009

12 dec. 2009

4 aŭg. 2009

9 maj. 2009

1 maj. 2009

5 apr. 2009

16 feb. 2009

12 feb. 2009

9 feb. 2009

8 feb. 2009

6 feb. 2009