Bewerkingsgeschiedenis van Lambdacalculus

10 mrt 2024

• huidigvorige 12:1610 mrt 2024 12:16‎ Glennznl overleg bijdragen‎ 50.513 bytes 0‎ Link ongedaan maken

21 sep 2023

• huidigvorige 14:3821 sep 2023 14:38‎ JVdP100 overleg bijdragen‎ 50.513 bytes −1‎ Geen bewerkingssamenvatting ongedaan maken

20 sep 2023

• huidigvorige 21:5120 sep 2023 21:51‎ Ynse01 overleg bijdragen‎ 50.514 bytes +13‎ Functie voor linksuggesties: 1 link toegevoegd. ongedaan maken Labels: Visuele tekstverwerker Nieuwkomer-taak Voorgesteld: voeg links toe

7 sep 2023

• huidigvorige 17:087 sep 2023 17:08‎ Wikiwernerbot overleg bijdragen‎ k 50.501 bytes +1‎ Botverzoeken: toevoegen archieflinks en vervangen http:// door https:// ongedaan maken

27 apr 2023

• huidigvorige 15:5427 apr 2023 15:54‎ InternetArchiveBot overleg bijdragen‎ 50.500 bytes +43‎ 1 (onbereikbare) link(s) aangepast en 0 gemarkeerd als onbereikbaar) #IABot (v2.0.9.3 ongedaan maken

6 nov 2019

• huidigvorige 11:376 nov 2019 11:37‎ 185.22.143.188 overleg‎ 50.457 bytes +1‎ →‎Booleans ongedaan maken

26 jul 2019

• huidigvorige 14:5526 jul 2019 14:55‎ 212.92.81.175 overleg‎ 50.456 bytes 0‎ →‎Voorstelling van datatypes ongedaan maken

1 nov 2018

• huidigvorige 19:051 nov 2018 19:05‎ Texvc2LaTeXBot overleg bijdragen‎ k 50.456 bytes +1‎ Bot: corrigeren verouderde syntax in formules - mw:Extension:Math/Roadmap ongedaan maken

3 mei 2018

• huidigvorige 03:503 mei 2018 03:50‎ ErikvanB overleg bijdragen‎ 50.455 bytes −1‎ Geen bewerkingssamenvatting ongedaan maken

2 feb 2018

• huidigvorige 15:452 feb 2018 15:45‎ JVdP100 overleg bijdragen‎ k 50.456 bytes +38‎ →‎Voorstelling van datatypes ongedaan maken
• huidigvorige 15:422 feb 2018 15:42‎ JVdP100 overleg bijdragen‎ k 50.418 bytes +4‎ →‎Voorstelling van datatypes ongedaan maken
• huidigvorige 15:402 feb 2018 15:40‎ JVdP100 overleg bijdragen‎ 50.414 bytes +957‎ →‎Voorstelling van datatypes ongedaan maken
• huidigvorige 13:592 feb 2018 13:59‎ JVdP100 overleg bijdragen‎ 49.457 bytes +116‎ →‎Voorstelling van datatypes ongedaan maken

29 nov 2017

• huidigvorige 23:5429 nov 2017 23:54‎ Bdijkstra overleg bijdragen‎ k 49.341 bytes 0‎ →‎Abstractie: sp ongedaan maken Label: Visuele tekstverwerker

24 nov 2017

• huidigvorige 08:5624 nov 2017 08:56‎ Bob.v.R overleg bijdragen‎ k 49.341 bytes +1‎ →‎Standaardcombinatoren en Barendregtse rekenkunde: het was geen grammaticale zin ongedaan maken
• huidigvorige 08:5024 nov 2017 08:50‎ Bob.v.R overleg bijdragen‎ k 49.340 bytes +1‎ →‎De dekpuntcombinator: grammatica: een zin moet een onderwerp en een gezegde bevatten ongedaan maken
• huidigvorige 08:4124 nov 2017 08:41‎ Bob.v.R overleg bijdragen‎ 49.339 bytes +22‎ →‎Ongetypeerde lambdacalculus en berekeningsprincipe: lees: vereenvoudigd ongedaan maken

3 jul 2017

• huidigvorige 21:333 jul 2017 21:33‎ 82.217.246.7 overleg‎ 49.317 bytes +1‎ →‎β-reductie ongedaan maken

10 mrt 2017

• huidigvorige 22:5510 mrt 2017 22:55‎ JVdP100 overleg bijdragen‎ 49.316 bytes +2‎ →‎Bewerkingen op natuurlijke getallen: Hernummering lemma's ongedaan maken

25 feb 2017

• huidigvorige 18:2425 feb 2017 18:24‎ Wikiwerner overleg bijdragen‎ k 49.314 bytes −1‎ Spelling, replaced: overeen komt → overeenkomt met AWB ongedaan maken

6 nov 2016

• huidigvorige 21:386 nov 2016 21:38‎ 2001:983:fe3e:1:d179:7c05:7361:6c5f overleg‎ 49.315 bytes +1‎ →‎Voorbeeld ongedaan maken

18 okt 2016

• huidigvorige 20:0118 okt 2016 20:01‎ Leopard overleg bijdragen‎ 49.314 bytes +353‎ cosmetisch + links externe bronnen ongedaan maken

6 okt 2016

• huidigvorige 17:196 okt 2016 17:19‎ 84.31.45.228 overleg‎ 48.961 bytes −6‎ →‎Substitutie ongedaan maken

5 jun 2016

• huidigvorige 14:095 jun 2016 14:09‎ Maiella overleg bijdragen‎ 48.967 bytes −65‎ minus datumlink, conform Help:Gebruik van links#Wanneer is een link functioneel?, 3e alinea – details ongedaan maken

5 mei 2016

• huidigvorige 12:125 mei 2016 12:12‎ Frouke10 overleg bijdragen‎ k 49.032 bytes +1‎ gebuik > gebruik ongedaan maken

26 feb 2016

• huidigvorige 13:4926 feb 2016 13:49‎ 193.173.113.122 overleg‎ 49.031 bytes 0‎ →‎Equivalentie en reductie ongedaan maken

29 nov 2015

• huidigvorige 20:0529 nov 2015 20:05‎ 62.195.29.21 overleg‎ 49.031 bytes 0‎ →‎Bewerkingen op natuurlijke getallen ongedaan maken
• huidigvorige 20:0129 nov 2015 20:01‎ 62.195.29.21 overleg‎ 49.031 bytes −2‎ →‎α-conversie ongedaan maken
• huidigvorige 19:5629 nov 2015 19:56‎ 62.195.29.21 overleg‎ 49.033 bytes 0‎ →‎Vrije en gebonden variabelen ongedaan maken

22 nov 2015

• huidigvorige 19:0222 nov 2015 19:02‎ Matrin van nijnatten overleg bijdragen‎ 49.033 bytes +3‎ →‎Termen (expressies) ongedaan maken
• huidigvorige 18:5622 nov 2015 18:56‎ Matrin van nijnatten overleg bijdragen‎ 49.030 bytes −4‎ →‎Termen (expressies) ongedaan maken

16 sep 2015

• huidigvorige 15:4116 sep 2015 15:41‎ JP001 overleg bijdragen‎ 49.034 bytes +4‎ Duidelijke schrijffouten: doormiddel van => door middel van ongedaan maken

19 aug 2015

• huidigvorige 12:2719 aug 2015 12:27‎ PieterJanR overleg bijdragen‎ k 49.030 bytes 0‎ Correctie ongedaan maken

1 aug 2015

• huidigvorige 10:281 aug 2015 10:28‎ JVdP100 overleg bijdragen‎ 49.030 bytes −56‎ →‎Voorstelling van datatypes ongedaan maken
• huidigvorige 10:251 aug 2015 10:25‎ JVdP100 overleg bijdragen‎ 49.086 bytes +5.399‎ HERWERKING eerste deel van het artikel ongedaan maken

28 jul 2015

• huidigvorige 17:2528 jul 2015 17:25‎ Wikiwerner overleg bijdragen‎ k 43.687 bytes +23‎ WPCleaner v1.36 - Link naar doorverwijspagina aangepast. Help mee! - Substitutie ongedaan maken
• huidigvorige 11:0528 jul 2015 11:05‎ JVdP100 overleg bijdragen‎ 43.664 bytes +222‎ Geen bewerkingssamenvatting ongedaan maken

18 jul 2015

• huidigvorige 10:1818 jul 2015 10:18‎ JVdP100 overleg bijdragen‎ 43.442 bytes +2.878‎ Toevoegen gedeelte over substitutie ongedaan maken

17 jul 2015

• huidigvorige 21:1617 jul 2015 21:16‎ JVdP100 overleg bijdragen‎ 40.564 bytes +378‎ →‎Termen ongedaan maken
• huidigvorige 20:3017 jul 2015 20:30‎ Hoopje overleg bijdragen‎ 40.186 bytes +63‎ →‎Termen ongedaan maken
• huidigvorige 09:2417 jul 2015 09:24‎ Hoopje overleg bijdragen‎ 40.123 bytes +281‎ →‎Termen ongedaan maken

16 jul 2015

• huidigvorige 20:4716 jul 2015 20:47‎ JVdP100 overleg bijdragen‎ 39.842 bytes +107‎ →‎Termen ongedaan maken

13 jul 2015

• huidigvorige 11:4213 jul 2015 11:42‎ JanK123 overleg bijdragen‎ k 39.735 bytes −103‎ →‎Externe bronnen ongedaan maken

1 mrt 2015

• huidigvorige 00:151 mrt 2015 00:15‎ Hoopje overleg bijdragen‎ 39.838 bytes −155‎ Versie 43466686 van JVdP100 (overleg) ongedaan gemaakt - het gaat om een zeer algemene notatie ongedaan maken

28 feb 2015

• huidigvorige 22:5728 feb 2015 22:57‎ JVdP100 overleg bijdragen‎ 39.993 bytes +155‎ Geen bewerkingssamenvatting ongedaan maken

15 nov 2014

• huidigvorige 22:2215 nov 2014 22:22‎ 77.164.97.19 overleg‎ 39.838 bytes −17‎ →‎Termen: link structuurinductie vervangen ongedaan maken

7 nov 2013

• huidigvorige 21:567 nov 2013 21:56‎ DiamantBot overleg bijdragen‎ k 39.855 bytes −1‎ WPCleaner v1.30b - Opgelost met behulp van WP:CW - Code 002: Verkeerde br-tag<nowiki><br/></nowiki> ongedaan maken

9 sep 2013

• huidigvorige 16:059 sep 2013 16:05‎ BotteHarry overleg bijdragen‎ k 39.856 bytes −3‎ Z&V: teveel ongedaan maken

25 aug 2013

• huidigvorige 14:3725 aug 2013 14:37‎ Capaccio overleg bijdragen‎ k 39.859 bytes −8‎ →‎Principe van berekening in lambdacalculus: herstel parserfout in math-code met AWB ongedaan maken

9 mrt 2013

• huidigvorige 00:139 mrt 2013 00:13‎ Legobot overleg bijdragen‎ k 39.867 bytes −808‎ Verplaatsing van 30 interwikilinks die op Wikidata beschikbaar zijn op d:q242028 ongedaan maken