@article{Michalska2,
    author = {Maria Michalska},
    title = {Real nullstellensatz},
    date-added = {2023-11-25 10:9:39 +0100}
}

@article{Michalska2, author = {Maria Michalska}, title = {Real nullstellensatz}, date-added = {2023-11-25 10:9:39 +0100} }