Nagrinėjami du skulemizavimo modalumo logikos formulėms būdai: išorinis ir vidinis. Įrodoma, kad skulemizuotos skirtingais būdais formulės yra deduktyviai ekvivalenčios. Remiantis aprašytu skaičiavimu skulemizuotoms formulėms, įrodomas vienos klasės išsprendžiamumas.
Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.