h1

h2

h3

h4

h5
h6
000955507 001__ 955507
000955507 005__ 20241111073941.0
000955507 037__ $$aRWTH-2023-03530
000955507 041__ $$aEnglish
000955507 1001_ $$0P:(DE-82)IDM04024$$aPago, Benedikt Thomas$$b0$$eCorresponding author$$urwth
000955507 245__ $$aFinite Model Theory and Proof Complexity revisited: Distinguishing graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus$$honline
000955507 260__ $$c2022
000955507 3367_ $$028$$2EndNote$$aElectronic Article
000955507 3367_ $$0PUB:(DE-HGF)25$$2PUB:(DE-HGF)$$aPreprint$$bpreprint$$mpreprint$$s1680527316_31709
000955507 3367_ $$2BibTeX$$aARTICLE
000955507 3367_ $$2DRIVER$$apreprint
000955507 3367_ $$2DataCite$$aOutput Types/Working Paper
000955507 3367_ $$2ORCID$$aWORKING_PAPER
000955507 588__ $$aDataset connected to DataCite
000955507 591__ $$aGermany
000955507 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04024$$aRWTH Aachen$$b0$$kRWTH
000955507 9141_ $$y2022
000955507 9201_ $$0I:(DE-82)117220_20140620$$k117220$$lLehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität)$$x0
000955507 9201_ $$0I:(DE-82)110000_20140620$$k110000$$lFachgruppe Mathematik$$x1
000955507 961__ $$c2023-04-03T15:12:40.570943$$x2023-04-03T15:12:40.570943$$z2023-04-04
000955507 980__ $$aI:(DE-82)110000_20140620
000955507 980__ $$aI:(DE-82)117220_20140620
000955507 980__ $$aUNRESTRICTED
000955507 980__ $$aVDBINPRINT
000955507 980__ $$apreprint