JAnDbot
robot: přidáno {{Autoritní data}}
m21:07
+20
JAnDbot
formát zápisu šablon; kosmetické úpravy
m20:45
−4
Jj14
-link SAT
m16:07
+2
Jj14
reyoluce a klauyulu
16:05
+308
Jj14
++
15:44
+149
Jj14
fixx
15:32
+108
Jj14
tzpo
m15:08
+1
Martin Davídek
+ kat.
13:08
+35
Jvs
Sjednocení vzhledu formulí
12:01
+121
Jvs
Formátování
11:58
+50
Radegast
odkaz na unifikaci
m11:45
+23
88.103.89.44
Nová stránka: '''Rezoluce''' je v logice metoda automatického dokazování tvrzení zavedená Alanem Robinsonem v roce 1965. Pro výrokovou logiku má tvar <math>\frac{(p \lor A) \land (\neg p…
11:44
+777