This study aims to examine the effect of labor and work skills on employee productivity at PT Manna Hanna Energi. research is a type descriptive quantitative where data used in this are qualitative data. The population included 60 employees Data collection using questionnaires, analysis techniques statistical while method PLS (Partial Least Square) SmartPLS version 3.0.m3. results showed that L...

Meneliti pemasaran hijau, promosi, dan layanan berkualitas dengan maksud untuk menghasilkan minat beli adalah tujuan dari penelitian ini. Semua calon pembeli Manna Kampus Godean yang juga memenuhi kriteria inklusi/eksklusi disertakan di sini. Seratus peserta dipilih menggunakan teknik sampling sistematik. Kuesioner digunakan sebagai instrumen dalam survei, mengumpulkan data. Analisis kuantitati...

This paper presents a case study of formalizing a normalization proof for Leivant’s Predicative System F [6] using the EQUATIONS package. Leivant’s Predicative System F is a stratified version of System F, where type quantification is annotated with kinds representing universe levels. A weaker variant of this system was studied by Stump & Eades [5, 3], employing the hereditary substitution meth...

Exact solutions of higher-dimensional nonlinear equations takes a major place in the study phenomena observed nature. In this article, some new kink type are investigated for (3+1)-dimensional Boiti-Leon-Manna-Pempinelli(BLMP) equation. Firstly, variety obtained by Hirota’s bilinear form, which include wave solution, periodic solitary and singular using extended homoclinic test approach. Second...