h1

001004280 001__ 1004280
001004280 005__ 20250929093018.0
001004280 0247_ $$2ISSN$$a0167-7411
001004280 0247_ $$2ISSN$$a1572-8749
001004280 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85217158877
001004280 0247_ $$2WOS$$aWOS:001408450800001
001004280 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-01337
001004280 0247_ $$2doi$$a10.1007/s11245-025-10164-w
001004280 037__ $$aRWTH-2025-01337
001004280 041__ $$aEnglish
001004280 082__ $$a100
001004280 1001_ $$0P:(DE-82)836535$$aPantsar, Markus$$b0$$eCorresponding author$$urwth
001004280 245__ $$aHow to Recognize Artificial Mathematical Intelligence in Theorem Proving$$honline
001004280 260__ $$aDordrecht [u.a.]$$bSpringer Science + Business Media B.V$$c2025
001004280 300__ $$a14 Seiten
001004280 3367_ $$00$$2EndNote$$aJournal Article
001004280 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal
001004280 3367_ $$2BibTeX$$aARTICLE
001004280 3367_ $$2DRIVER$$aarticle
001004280 3367_ $$2DataCite$$aOutput Types/Journal article
001004280 3367_ $$2ORCID$$aJOURNAL_ARTICLE
001004280 500__ $$aPublished: 29 January 2025
001004280 536__ $$0G:(DE-82)021000-OAPKF$$aOAPKF - Open-Access-Publikation mit Unterstützung der RWTH Aachen University (021000-OAPKF)$$c021000-OAPKF$$x0
001004280 588__ $$aDataset connected to , , , CrossRef, Journals: publications.rwth-aachen.de
001004280 591__ $$aGermany
001004280 773__ $$0PERI:(DE-600)2012661-X$$a10.1007/s11245-025-10164-w$$tTopoi : an international review of philosophy$$x1572-8749$$y2025
001004280 8564_ $$uhttps://publications.rwth-aachen.de/record/1004280/files/1004280.pdf$$yOpenAccess
001004280 8767_ $$c100$$d2025-02-21$$eOther$$jDEAL$$v7.00$$x021000-711210$$zServicepauschale
001004280 8767_ $$c2600$$d2025-02-21$$eHybrid-OA$$jDEAL$$v182.00$$x021000-711210
001004280 909CO $$ooai:publications.rwth-aachen.de:1004280$$pOpenAPC_DEAL$$pVDB$$pdnbdelivery$$pdriver$$popenCost$$popen_access$$popenaire
001004280 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)836535$$aRWTH Aachen$$b0$$kRWTH
001004280 9141_ $$y2025
001004280 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
001004280 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001004280 915__ $$0StatID:(DE-HGF)0100$$2StatID$$aJCR$$bTOPOI-INT REV PHILOS : 2022$$d2024-12-06
001004280 915__ $$0StatID:(DE-HGF)0120$$2StatID$$aDBCoverage$$bArts and Humanities Citation Index$$d2024-12-06
001004280 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bClarivate Analytics Master Journal List$$d2024-12-06
001004280 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2024-12-06
001004280 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2024-12-06
001004280 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2024-12-06$$wger
001004280 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001004280 915__ $$0StatID:(DE-HGF)1170$$2StatID$$aDBCoverage$$bCurrent Contents - Arts and Humanities$$d2024-12-06
001004280 915__ $$0StatID:(DE-HGF)3002$$2StatID$$aDEAL Springer$$d2024-12-06$$wger
001004280 915__ $$0StatID:(DE-HGF)9900$$2StatID$$aIF < 5$$d2024-12-06
001004280 915pc $$0PC:(DE-HGF)0000$$2APC$$aAPC keys set
001004280 915pc $$0PC:(DE-HGF)0001$$2APC$$aLocal Funding
001004280 915pc $$0PC:(DE-HGF)0002$$2APC$$aDFG OA Publikationskosten
001004280 915pc $$0PC:(DE-HGF)0113$$2APC$$aDEAL: Springer Nature 2020
001004280 9201_ $$0I:(DE-82)711210_20140620$$k711210$$lLehrstuhl für Theoretische Philosophie und Philosophisches Institut (N.N.)$$x0
001004280 9201_ $$0I:(DE-82)080007_20140620$$k080007$$lHuman Technology Center (HumTec)$$x1
001004280 961__ $$c2025-02-10T08:43:39.539005$$x2025-02-10T08:43:39.539005$$z2025-02-10T08:43:39.539005
001004280 9801_ $$aFullTexts
001004280 980__ $$aAPC
001004280 980__ $$aI:(DE-82)080007_20140620
001004280 980__ $$aI:(DE-82)711210_20140620
001004280 980__ $$aUNRESTRICTED
001004280 980__ $$aVDB
001004280 980__ $$ajournal