There is a newer version of this record available.

Software Open Access

scala-tptp-parser v1.4

Alexander Steen


BibTeX Export

@software{alexander_steen_2021_5578872,
  author       = {Alexander Steen},
  title        = {scala-tptp-parser v1.4},
  month        = oct,
  year         = 2021,
  note         = {{The software development was supported by the 
                   Luxembourg National Research Fund (FNR) under
                   grant CORE C20/IS/14616644.}},
  publisher    = {Zenodo},
  version      = {v1.4},
  doi          = {10.5281/zenodo.5578872},
  url          = {https://doi.org/10.5281/zenodo.5578872}
}
143
7
views
downloads
All versions This version
Views 14325
Downloads 71
Data volume 411.7 kB75.5 kB
Unique views 10418
Unique downloads 61

Share

Cite as