User contributions for 91.57.52.115
Results for 91.57.52.115 talk block log logs global block log filter log
21 July 2012
- 12:1512:15, 21 July 2012 diff hist +349 Satisfiability →Satisfiability in first-order logic: Add reference.
- 10:4510:45, 21 July 2012 diff hist +369 Talk:Satisfiability →satisfiability *is not* a semi-decidable problem for FOL: Add a link for verification.
 | This is the contributions page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address. |