Historial de canvis

Pàgina Discussió

Lògica de primer ordre

30 set 2022

EVA3.0 (bot)
Bot prepara el format de cometes per a posterior revisió tipogràfica.
m
04:03
−4

28 maig 2022

EVA3.0 (bot)
Bot estandarditza crida a plantilla per facilitar-ne el manteniment.
m
22:20
+15

19 ago 2021

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

6 març 2021

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

30 set 2020

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

18 abr 2019

95.17.139.57
Sintaxis
10:21
+9

6 gen 2019

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

6 jul 2018

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

20 oct 2017

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

19 jul 2016

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

7 jul 2016

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

6 jul 2016

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

20 des 2015

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

19 des 2015

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

31 jul 2015

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

14 gen 2015

26 oct 2014

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

19 juny 2014

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

3 juny 2014

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

6 maig 2014

Langtoolbot
Correcció tipogràfica: espais sobrants
m
22: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
19:34
+3

16 març 2014

Panotxa
correcció
09:24
−684

8 gen 2014

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

5 gen 2014

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

3 gen 2014

ArnauBot
Robot estandarditza plantilles de referències
02:31
−5

2 gen 2014

Alvaro Vidal-Abarca
→‎Vegeu també: desambiguació
m
23:37
+14

23 feb 2013

20 feb 2013

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

21 des 2012

14 oct 2012

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

6 març 2012

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

21 ago 2011

Beussonbot
Bot:Desambiguació assistida: Quantificador - Canviant enllaç(s) per quantificador (lògica), Quantificador (lògica)
m
07: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
14:47
−196

30 juny 2011

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

21 maig 2011

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

4 gen 2011

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

8 oct 2010

14 maig 2010

19 març 2010

24 feb 2010

Solde
correccions
09:29
−54

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