human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "a wiki for mizar motivation considerations and initial prototype"
  Abstract: Formal mathematics has so far not taken full advantage of ideas from collaborative tools such as wikis and distributed version control systems (DVCS). We argue that the field could profit from such tools, serving both newcomers and experts alike. We describe a preliminary system for such collaborative development based on the Git DVCS. We focus, initially, on the Mizar system and its library of formalized mathematics.

Connected through hyperedge HE-1 (induced by source paper "prototyping systems that explain themselves for education"):
  with members:
    - "teaching the formalization of mathematical theories and algorithms via the automatic checking of finite models"
    - "isabelle jedit a prover ide within the pide framework"
    - "isabelle pide as platform for educational tools"
    - "automated generation of user guidance by combining computation and deduction"

Connected through hyperedge HE-2 (induced by source paper "documentation generator focusing on symbols for the html ized mizar library"):
  with members:
    - "pide for asynchronous interaction with coq"
    - "premise selection for mathematics by corpus analysis and kernel methods"
    - "pide as front end technology for coq"
    - "isabelle jedit a prover ide within the pide framework"
    - "atp and presentation service for mizar formalizations"
    - "large formal wikis issues and solutions"
    - "licensing the mizar mathematical library"

Connected through hyperedge HE-3 (induced by source paper "formal mathematics on display a wiki for flyspeck"):
  with members:
    - "proof in context web editing with rich modeless contextual feedback"
    - "point and write documenting formal mathematics by reference"
    - "learning assisted automated reasoning with flyspeck"
    - "proviola a tool for proof re animation"

Connected through hyperedge HE-4 (induced by source paper "theorem proving in large formal mathematics as an emerging ai field"):
  with members:
    - "premise selection for mathematics by corpus analysis and kernel methods"
    - "atp and presentation service for mizar formalizations"
    - "otter 3 3 reference manual"
    - "mace4 reference manual and guide"

Connected through hyperedge HE-5 (induced by source paper "a web interface for matita"):
  with members:
    - "large formal wikis issues and solutions"
    - "proviola a tool for proof re animation"

Connected through hyperedge HE-6 (induced by source paper "point and write documenting formal mathematics by reference"):
  with members:
    - "automated reasoning and presentation support for formalizing mathematics in mizar"

Connected through hyperedge HE-7 (induced by source paper "isabelle pide as platform for educational tools"):
  with members:
    - "isabelle the next 700 theorem provers"

Connected through hyperedge HE-8 (induced by source paper "large formal wikis issues and solutions"):
  with members:
    - "automated reasoning and presentation support for formalizing mathematics in mizar"
    - "proviola a tool for proof re animation"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.DL(Digital Libraries)