Similar to 反ユニフィケーション

Unification (computer science)

Prolog

DPLL algorithm

Thousands of Problems for Theorem Provers

Method of analytic tableaux

Sums of three cubes

Institut des Hautes Études Scientifiques

Publications Mathématiques de l'IHÉS

P-adic Teichmüller theory

P-adic distribution

Iverson bracket