@misc{indiciaec985b757b19f,
  title = {A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem},
  author = {Dhruv Kulshreshtha},
  year = {2024},
  url = {https://arxiv.org/abs/2406.01336},
  note = {Source identifier: 2406.01336}
}