References from A quantifier elimination for the theory of p -adic numbers. Local targets link to admitted publications; unresolved targets remain external evidence.
No reference evidence is available for this admitted work.
References for A quantifier elimination for the theory of p -adic numbers | ResearchHub - ResearchHub
