====== Přehled společných prvků GUHA procedur ======

BUDE DOPLŇENO 

Přehled

Zadání množiny relevantních tvrzení

Klonování

Spuštění procedury

Export hypotéz

Skupiny hypotéz

Hypotéza jako nový sloupec

Zadání vztahu množin α a β pro SD-procedury

Galerie uložených vzorů

Filtr pro cedenty
Category range
Doménová znalost