Hornova klauzule: Porovnání verzí

Přidáno 20 bajtů ,  před 14 lety
m
robot přidal: ja:ホーン節
(sloučení příspěvku, mírné rozšíření, aplikace v Prologu (s konfliktem))
m (robot přidal: ja:ホーン節)
[[hu:Horn-klóz]]
[[it:Clausola di Horn]]
[[ja:ホーン節]]
[[pl:Klauzula Horna]]
[[pt:Cláusula de Horn]]
86 573

editací