← back to paper

Review history

arxiv: 2605.05840 · 2 revisions

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property

1. 2026-05-14 UNVERDICTED LOW v0.9.0 novelty 7.0
   43222 ms 5458 in 1224 out 2026-05-14T22:11:54.681079+00:00
2. 2026-05-08 UNVERDICTED LOW v0.9.0 novelty 7.0
   48977 ms 5458 in 1227 out 2026-05-08T04:43:53.104197+00:00