Problem algebry licealnej Tarskiego (Polish Wikipedia)

Analysis of information sources in references of the Wikipedia article "Problem algebry licealnej Tarskiego" in Polish language version.

refsWebsite

Global rank Polish rank

2^nd place

6^th place

doi.org

dx.doi.org

JianJ. Zhang JianJ., Computer Search for Counterexamples to Wilkie’s Identity, [w:] RobertR. Nieuwenhuis (red.), Automated Deduction – CADE-20, Springer, Berlin, Heidelberg, 22 lipca 2005, s. 441–451, DOI: 10.1007/11532231_32, ISBN 978-3-540-31864-4 (ang.).