f(

g(1) -> g(0)

R

↳Dependency Pair Analysis

F(X, g(X)) -> F(1, g(X))

G(1) -> G(0)

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**F( X, g(X)) -> F(1, g(X))**

f(X, g(X)) -> f(1, g(X))

g(1) -> g(0)

Duration:

0:00 minutes