نتایج جستجو برای: square
تعداد نتایج: 129074 فیلتر نتایج به سال:
Journal:
:Mathematical Research Letters
1996
Journal:
:Annals of Mathematics and Artificial Intelligence
2021
The unification problem in a propositional logic is to determine, given formula φ, whether there exists substitution σ such that σ(φ) logic. In case, unifier of φ. When unifiable has minimal complete sets unifiers, it either infinitary, finitary, or unitary, depending on the cardinality its unifiers. Otherwise, nullary. this paper, we prove modal $\mathbf {K}+\square \square \bot $ , formulas a...
Journal:
:Tamkang Journal of Mathematics
2021
Journal:
:Journal of the Illuminating Engineering Institute of Japan
1999
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید