User contributions for 117.200.2.52
Results for 117.200.2.52 talk block log logs global block log filter log
26 May 2021
- 19:3619:36, 26 May 2021 diff hist +251 True quantified Boolean formula →Naïve: added source of this algorithm, it is mentioned in the proof of TQBF belongs to PSPACE-complete Tag: Visual edit
 | 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. |