RatRep(p,m,d) and RatRep(P,M,D) and exists k. p*D+M*d+S(k)=m*D+P*d.
Proposed arity: 6. Parameters: p m d P M D. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.
Unproved contract · No Alpha or Stable authority
RatRep(p,m,d) and RatRep(P,M,D) and exists k. p*D+M*d+S(k)=m*D+P*d.
Proposed arity: 6. Parameters: p m d P M D. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.