@misc{indiciae5e2dd6f79230,
  title = {Determining Implication of Fixed Matrix Prenex Normal Forms Can Be Decided in Linear Time},
  author = {Adam Wang},
  year = {2025},
  url = {https://arxiv.org/abs/2504.15294},
  note = {Source identifier: 2504.15294}
}