@misc{wesolve:TOP-3340-A1-r1,
  title = {{A concrete first-order counterexample to the ternary Specker–Blatter extension}},
  author = {{we-solve research archive}},
  howpublished = {\url{https://we-solve.github.io/contributions/blatter-specker-theorem-for-ternary-relations/attempt-1/r1/}},
  note = {Revision r1 of TOP-3340-A1. Unverified research record. LLMs and submitter roles are disclosed in the record.}
}