Author

Miguel Ángel Martínez Vázquez

0 works0 citationsORCID

Recent research

AI & ComputingOpen access
TRINITY ORIGIN CLOSED v1.0 - Q REMAINS Q
TRINITY ORIGIN CLOSED v1.0 - Formal proof artifact: Q REMAINS Q, with ∅+Q_unique=EXISTS. Origin document archived 2026-05-13. Author: Miguel Ángel Martínez Vázquez.
Open Science Framework2026-08-220 citationsDOI