h1

h2

h3

h4

h5
h6

001     1004280
005     20250929093018.0
024 7 _ |2 ISSN
|a 0167-7411
024 7 _ |2 ISSN
|a 1572-8749
024 7 _ |2 SCOPUS
|a SCOPUS:2-s2.0-85217158877
024 7 _ |2 WOS
|a WOS:001408450800001
024 7 _ |2 datacite_doi
|a 10.18154/RWTH-2025-01337
024 7 _ |2 doi
|a 10.1007/s11245-025-10164-w
037 _ _ |a RWTH-2025-01337
041 _ _ |a English
082 _ _ |a 100
100 1 _ |0 P:(DE-82)836535
|a Pantsar, Markus
|b 0
|e Corresponding author
|u rwth
245 _ _ |a How to Recognize Artificial Mathematical Intelligence in Theorem Proving
|h online
260 _ _ |a Dordrecht [u.a.]
|b Springer Science + Business Media B.V
|c 2025
300 _ _ |a 14 Seiten
336 7 _ |0 0
|2 EndNote
|a Journal Article
336 7 _ |0 PUB:(DE-HGF)16
|2 PUB:(DE-HGF)
|a Journal Article
|b journal
|m journal
336 7 _ |2 BibTeX
|a ARTICLE
336 7 _ |2 DRIVER
|a article
336 7 _ |2 DataCite
|a Output Types/Journal article
336 7 _ |2 ORCID
|a JOURNAL_ARTICLE
500 _ _ |a Published: 29 January 2025
536 _ _ |0 G:(DE-82)021000-OAPKF
|a OAPKF - Open-Access-Publikation mit Unterstützung der RWTH Aachen University (021000-OAPKF)
|c 021000-OAPKF
|x 0
588 _ _ |a Dataset connected to , , , CrossRef, Journals: publications.rwth-aachen.de
591 _ _ |a Germany
773 _ _ |0 PERI:(DE-600)2012661-X
|a 10.1007/s11245-025-10164-w
|t Topoi : an international review of philosophy
|x 1572-8749
|y 2025
856 4 _ |u https://publications.rwth-aachen.de/record/1004280/files/1004280.pdf
|y OpenAccess
876 7 _ |c 100
|d 2025-02-21
|e Other
|j DEAL
|v 7.00
|x 021000-711210
|z Servicepauschale
876 7 _ |c 2600
|d 2025-02-21
|e Hybrid-OA
|j DEAL
|v 182.00
|x 021000-711210
909 C O |o oai:publications.rwth-aachen.de:1004280
|p openaire
|p open_access
|p openCost
|p driver
|p dnbdelivery
|p VDB
|p OpenAPC_DEAL
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)836535
|a RWTH Aachen
|b 0
|k RWTH
914 1 _ |y 2025
915 1 _ |0 StatID:(DE-HGF)0031
|2 StatID
|a Peer reviewed article
|x 0
915 _ _ |0 LIC:(DE-HGF)CCBY4
|2 HGFVOC
|a Creative Commons Attribution CC BY 4.0
915 _ _ |0 StatID:(DE-HGF)0100
|2 StatID
|a JCR
|b TOPOI-INT REV PHILOS : 2022
|d 2024-12-06
915 _ _ |0 StatID:(DE-HGF)0120
|2 StatID
|a DBCoverage
|b Arts and Humanities Citation Index
|d 2024-12-06
915 _ _ |0 StatID:(DE-HGF)0199
|2 StatID
|a DBCoverage
|b Clarivate Analytics Master Journal List
|d 2024-12-06
915 _ _ |0 StatID:(DE-HGF)0200
|2 StatID
|a DBCoverage
|b SCOPUS
|d 2024-12-06
915 _ _ |0 StatID:(DE-HGF)0300
|2 StatID
|a DBCoverage
|b Medline
|d 2024-12-06
915 _ _ |0 StatID:(DE-HGF)0420
|2 StatID
|a Nationallizenz
|d 2024-12-06
|w ger
915 _ _ |0 StatID:(DE-HGF)0510
|2 StatID
|a OpenAccess
915 _ _ |0 StatID:(DE-HGF)1170
|2 StatID
|a DBCoverage
|b Current Contents - Arts and Humanities
|d 2024-12-06
915 _ _ |0 StatID:(DE-HGF)3002
|2 StatID
|a DEAL Springer
|d 2024-12-06
|w ger
915 _ _ |0 StatID:(DE-HGF)9900
|2 StatID
|a IF < 5
|d 2024-12-06
915 p c |0 PC:(DE-HGF)0000
|2 APC
|a APC keys set
915 p c |0 PC:(DE-HGF)0001
|2 APC
|a Local Funding
915 p c |0 PC:(DE-HGF)0002
|2 APC
|a DFG OA Publikationskosten
915 p c |0 PC:(DE-HGF)0113
|2 APC
|a DEAL: Springer Nature 2020
920 1 _ |0 I:(DE-82)711210_20140620
|k 711210
|l Lehrstuhl für Theoretische Philosophie und Philosophisches Institut (N.N.)
|x 0
920 1 _ |0 I:(DE-82)080007_20140620
|k 080007
|l Human Technology Center (HumTec)
|x 1
980 1 _ |a FullTexts
980 _ _ |a APC
980 _ _ |a I:(DE-82)080007_20140620
980 _ _ |a I:(DE-82)711210_20140620
980 _ _ |a UNRESTRICTED
980 _ _ |a VDB
980 _ _ |a journal

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21