PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
[parent] Viewing Correction to 'quantifier free'
unbalanced parens by mps

Correction id: 1936
Filed on: 2003-05-23 07:57:38
Status: Accepted on 2003-07-25 10:52:30
Type: Meta/Minor

Correction text:
The condition listed at the end of the entry for $\phi(\bar{x})$ has unbalanced parens.

No comment from object owner mathcam.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
new correction | post message