Historial de canvis

Lògica de primer ordre

19 ago 2021

EVA3.0 (bot)
Format de referències
m
13:49

6 març 2021

EVA3.0 (bot)
Manteniment de referències
m
16:45
+3

30 set 2020

Rebot
estandarditzant codi encapçalaments i llistes
m
11:58
+6

18 abr 2019

95.17.139.57
Sintaxis
11:21
+9

6 gen 2019

Texvc2LaTeXBot
Substitueix la sintaxi de matemàtiques obsoletes d'acord amb mw:Extension:Math/Roadmap
m
19:16
+10

6 jul 2018

90.174.2.109
→‎Axiomes: error tipogràfic a la fórmula
18:04
+1

20 oct 2017

Rebot
{{Referències|2}} --> {{Referències}}
m
06:45
−2

19 jul 2016

Langtoolbot
bot: - comportament del mateix. + comportament d'aquest.
m
18:51
−2

7 jul 2016

ArnauBot
Robot estandarditza i catalanitza referències, catalanitza dates i fa altres canvis menors
19:07
−3

6 jul 2016

Vivarés
nombre(s)
m
18:47
−8

20 des 2015

ArnauBot
Robot catalanitza noms i paràmetres de plantilles
17:35
−1

19 des 2015

Bestiasonica
cap resum d'edició
17:02
−31

31 jul 2015

ArnauBot
Canviant Reflist per Referències
m
11:48
+5

14 gen 2015

26 oct 2014

Langtoolbot
Corregit: manera més comú > manera més comuna
m
23:30
+1

19 juny 2014

Langtoolbot
Corregit: requereix d'un > requereix un
m
18:23
−2

3 juny 2014

Langtoolbot
Corregit: mateix (a fi de comptes, ''x > mateix (al cap i a la fi, ''x
m
20:40
+1

6 maig 2014

Langtoolbot
Correcció tipogràfica: espais sobrants
m
23:54
−4

5 abr 2014

Langtoolbot
Corregit: als que són aplicalbes els teoremes de Lindström son aplicables > als quals són aplicables els teoremes de Lindström són aplicables
m
20:34
+3

16 març 2014

Panotxa
correcció
10:24
−684

8 gen 2014

Solde
Check Wikipedia - correcció errors
m
13:19
−54

5 gen 2014

Alvaro Vidal-Abarca
→‎Notes i referències: elimino interwikis, substitueixo per wikidata
m
11:07
−88

3 gen 2014

23 feb 2013

20 feb 2013

EVA (bot)
Robot: Reemplaçament automàtic de text (-{{segona llegida}} +{{2L|data=febrer de 2013}})
m
19:07
+8

21 des 2012

14 oct 2012

MerlIwBot
Robot esborra: de:Prädikatenlogik (strongly connected to ca:Lògica de predicats)
m
16:11
−25

6 març 2012

Pere prlpz
{{segona llegida}}
14:32
+19

21 ago 2011

Beussonbot
Bot:Desambiguació assistida: Quantificador - Canviant enllaç(s) per quantificador (lògica), Quantificador (lògica)
m
08:48
+72

21 jul 2011

MerlIwBot
Robot esborra: cs:Predikátová logika prvního Radu,pt:Lògica de primeira Ordem,it:Teoria del cosí ordine,pl:Rachunek predykatów pierwszego rzedu,id:Logik predikat tingkat Pertama
m
15:47
−196

30 juny 2011

ArnauBot
Canviant listaref per referències
m
16:31
+4

21 maig 2011

Barcelona
cap resum d'edició
21:54
+8

4 gen 2011

SalviBot
Robot: unificació d'estil de les crides (sense espais)
m
20:37
−9

8 oct 2010

14 maig 2010

19 març 2010

24 feb 2010

Solde
correccions
10:29
−54

23 feb 2010

JoRobot
Robot insereix {{ORDENA:Logica De Primer Ordre}}
m
02:45
+65

19 feb 2010

Mcapdevila
→‎Notes i referències
08:47
−22

Obtingut de «https://ca.wikipedia.org/wiki/Especial:History/Lògica_de_primer_ordre»