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
More info on how stats are collected.
Available in Indexed in
Publication date:
October 19, 2021
DOI:
10.5281/zenodo.5578872

Zenodo DOI Badge

DOI 

10.5281/zenodo.5578872

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5578872.svg)](https://doi.org/10.5281/zenodo.5578872)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.5578872.svg
   :target: https://doi.org/10.5281/zenodo.5578872

HTML 

<a href="https://doi.org/10.5281/zenodo.5578872"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5578872.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.5578872.svg

Target URL 

https://doi.org/10.5281/zenodo.5578872

Keyword(s):
TPTP automated reasoning logic automated theorem prover parser reasoning automated deduction artificial intelligence
Related identifiers:
Supplement to
License (for files):
MIT License

Versions

Version v1.6.2 10.5281/zenodo.6497678 Apr 27, 2022
Version v1.6.1 10.5281/zenodo.6482544 Apr 25, 2022
Version v1.6 10.5281/zenodo.6113354 Feb 16, 2022
Version v1.5 10.5281/zenodo.5984919 Feb 6, 2022
Version v1.4 10.5281/zenodo.5578872 Oct 19, 2021
View all 7 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4468958. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export