Mnohem kratší verze s povolením klauzul "s":
Taelin
Taelin7. 12. 01:14
Bez zvláštního důvodu šlo o plně lineární (nejen afinní) třídění. To znamená, že v každé klauzuli jsou LHS komponenty použity v RHS přesně jednou.
nebo bez vět s větami
6,09K