3 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Yoshiki Nakamura
The validity problem for first-order logic is a well-known undecidable problem. The undecidability also holds even for FO3 and (equational formulas of) the calculus of r…