LilyKitty
de logica propositionali
00:05
+28
de neccecitate et formula
19:33
+55
UV
Summarium vacuum
20:14
−84
AMahoney bot
use new formula for Vide etiam/Nexus interni section (using bot)
15:09
−4
Addbot
Addbot 9 nexus intervicos removet, quod nunc apud Vicidatam cum tessera d:q655328 sunt
12:53
−241
GrouchoBot
r2.7.2) (automaton addit: he:נוסחה בנויה היטב
10:14
+38
PixelBot
r2.7.2) (automaton addit: de:Logische Formel
22:42
+23
Luckas-bot
bot mutat: en:Well-formed formula
19:09
Ioscius
Paginam instituit, scribens 'In logica mathematica '''formula bene formata''' est sequentia (mathematica) symbolorum verborumve cuiusdam in quadam linguae formali sive ...'
19:03
+1 018