EVA3.0 (bot)
Format de referències
14:52
Rebot
estandarditzant codi
18:57
−1
Misterspritz
ortogr. +enllaços
10:02
+27
ArnauBot
Robot estandarditza i catalanitza referències, catalanitza dates i fa altres canvis menors
21:04
−2
+ == Bibliografia == de https://en.wikipedia.org/wiki/Semantics_of_logic
20:23
+273
JoRobot
Robot endreça categories
12:47
Arnaugir
Afegida Categoria:Semàntica usant HotCat
12:48
+32
Legobot
Bot: Traient 8 enllaços interwiki, ara proporcionats per Wikidata a d:q963731
17:26
−247
Vriullop
format ref-llibre
11:20
−38
VriuBot
Corregint paràmetres en ref-llibre
19:11
+2
Robot insereix {{ORDENA:Semantica Formal}}
00:18
+59
Canviant listaref per referències
16:31
+4
RedBot
r2.5.2) (Robot modifica: en:Formal semantics (logic)
09:56
+8
SalviBot
Robot: unificació d'estil de les crides (sense espais)
23:20
−5
Luckas-bot
Robot afegeix: el:Τυπική σημασιολογία
00:56
+44
Mcapdevila
cap resum d'edició
00:25
−7
10:31
−39
D'ohBot
Robot afegeix: es, ja, ru, zh modifica: nl
17:16
+115
Pàgina nova, amb el contingut: «La ''' semàntica formal ''' és l'estudi de les interpretacions dels llenguatges formals. <ref Name=Cambridge...».
17:01
+1.606
