← back to paper

Review history

arxiv: 2606.12962 · 2 revisions

The reverse mathematics of the Ordered Variable Word theorem

1. 2026-07-04 UNVERDICTED LOW v0.9.1-grok novelty 8.0
   25590 ms 5601 in 1064 out 2026-07-04T00:01:55.483732+00:00
2. 2026-06-27 UNVERDICTED LOW v0.9.1-grok novelty 8.0
   19020 ms 5601 in 1129 out 2026-06-27T05:31:59.732013+00:00