🌐EnglishEnglishDeutschEspañolFrançaisItalianoPolskiPortuguêsEntityQ64224457· pop 6skolemizationAlso known as skolemisation, skolemnizationREDIRECT Skolem normal formArticleREDIRECT Skolem normal formAvailable in 6 languagesEspañolFrançaisPortuguêsItalianoPolskivia Wikidata sitelinks · CC0ConnectionsSkolem normal formEntity