@misc{indiciae7649931fae36,
  title = {Explore Simpler Eigenmarking: Quantum Entailment Model Checking},
  author = {Tatpong Katanyukul},
  year = {2026},
  url = {https://arxiv.org/abs/2604.23531},
  note = {Source identifier: 2604.23531}
}