h1

h2

h3

h4

h5
h6
% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Pantsar:1004280,
      author       = {Pantsar, Markus},
      title        = {{H}ow to {R}ecognize {A}rtificial {M}athematical
                      {I}ntelligence in {T}heorem {P}roving},
      journal      = {Topoi : an international review of philosophy},
      issn         = {1572-8749},
      address      = {Dordrecht [u.a.]},
      publisher    = {Springer Science + Business Media B.V},
      reportid     = {RWTH-2025-01337},
      pages        = {14 Seiten},
      year         = {2025},
      note         = {Published: 29 January 2025},
      cin          = {711210 / 080007},
      ddc          = {100},
      cid          = {$I:(DE-82)711210_20140620$ / $I:(DE-82)080007_20140620$},
      pnm          = {OAPKF - Open-Access-Publikation mit Unterstützung der RWTH
                      Aachen University (021000-OAPKF)},
      pid          = {G:(DE-82)021000-OAPKF},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:001408450800001},
      doi          = {10.1007/s11245-025-10164-w},
      url          = {https://publications.rwth-aachen.de/record/1004280},
}