Rebot
eliminant text d'indexació automàtica ocult
17:15
−31
neteja i estandardització de codi
14:28
−1
Misterspritz
+ == Bibliografia == de https://en.wikipedia.org/wiki/Superposition_calculus
21:30
+340
Addbot
Bot: Traient 1 enllaços interwiki, ara proporcionats per Wikidata a d:q7644107
02:37
JoRobot
Robot endreça categories
22:16
+1
Robot insereix {{ORDENA:Calcul De Superposicio}}
20:26
+65
Pallares
cap resum d'edició
17:08
+54
Seiryu89
16:44
+4
Pàgina nova, amb el contingut: «El 'càlcul de superposició' és un càlcul per a Demostració automàtica de teoremes de la lògica equacional de primer ordre. Es va desenvolupar a la dè...».
+702
