Skolem normal form has 5 translations in 5 languages

translations of Skolem normal form

EN FR French 1 translation
EN PT Portuguese 1 translation
EN DE German 1 translation
EN PL Polish 1 translation
EN HU Hungarian 1 translation