%0 Conference Paper %1 conf/mkm/Huch22 %A Huch, Fabian %B CICM %D 2022 %E Buzzard, Kevin %E Kutsia, Temur %I Springer %K dblp %P 147-161 %T Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2022.html#Huch22 %V 13467 %@ 978-3-031-16681-5

@inproceedings{conf/mkm/Huch22, added-at = {2022-09-22T00:00:00.000+0200}, author = {Huch, Fabian}, biburl = {https://www.bibsonomy.org/bibtex/2258cca8cf8e3fcf945dda39cdb508379/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2022}, editor = {Buzzard, Kevin and Kutsia, Temur}, ee = {https://doi.org/10.1007/978-3-031-16681-5_10}, interhash = {e4ee1662a6339fdea694076d6241e6e9}, intrahash = {258cca8cf8e3fcf945dda39cdb508379}, isbn = {978-3-031-16681-5}, keywords = {dblp}, pages = {147-161}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:44:38.000+0200}, title = {Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2022.html#Huch22}, volume = 13467, year = 2022 }