There is a newer version of this record available.

Software Open Access

scala-tptp-parser v1.4

Alexander Steen


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/b9404607-792a-4d7b-b225-15592be95e43/leoprover/scala-tptp-parser-v1.4.zip"
      }, 
      "checksum": "md5:dae6ba014d6fd8ebe935afaa7113e32f", 
      "bucket": "b9404607-792a-4d7b-b225-15592be95e43", 
      "key": "leoprover/scala-tptp-parser-v1.4.zip", 
      "type": "zip", 
      "size": 75523
    }
  ], 
  "owners": [
    187698
  ], 
  "doi": "10.5281/zenodo.5578872", 
  "stats": {
    "version_unique_downloads": 6.0, 
    "unique_views": 18.0, 
    "views": 25.0, 
    "version_views": 144.0, 
    "unique_downloads": 1.0, 
    "version_unique_views": 105.0, 
    "volume": 75523.0, 
    "version_downloads": 7.0, 
    "downloads": 1.0, 
    "version_volume": 411674.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.5578872", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.4468958", 
    "bucket": "https://zenodo.org/api/files/b9404607-792a-4d7b-b225-15592be95e43", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.4468958.svg", 
    "html": "https://zenodo.org/record/5578872", 
    "latest_html": "https://zenodo.org/record/6497678", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.5578872.svg", 
    "latest": "https://zenodo.org/api/records/6497678"
  }, 
  "conceptdoi": "10.5281/zenodo.4468958", 
  "created": "2021-10-19T14:05:10.267315+00:00", 
  "updated": "2022-04-27T13:06:08.618099+00:00", 
  "conceptrecid": "4468958", 
  "revision": 14, 
  "id": 5578872, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.5578872", 
    "description": "<p><code>scala-tptp-parser</code>&nbsp;is a Scala library (for Scala 2.13.x) for parsing the input languages of the&nbsp;<a href=\"http://tptp.org/\">TPTP infrastructure</a>.</p>\n\n<p>The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see&nbsp;<a href=\"http://tptp.org/\">http://tptp.org</a>&nbsp;for details. In particular, the parser supports:</p>\n\n<ul>\n\t<li>THF (TH0/TH1): Monomorphic and polymorphic higher-order logic,</li>\n\t<li>TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX),</li>\n\t<li>FOF: Untyped first-order logic,</li>\n\t<li>TCF: Typed clause-normal form,</li>\n\t<li>CNF: (Untyped) clause-normal form, and</li>\n\t<li>TPI: TPTP Process Instruction language.</li>\n</ul>\n\n<p>The parser is based on v7.4.0.3 of the TPTP syntax BNF (<a href=\"http://tptp.org/TPTP/SyntaxBNF.html\">http://tptp.org/TPTP/SyntaxBNF.html</a>).</p>\n\n<p>&nbsp;</p>\n\n<p>Version 1.4 of the scala-tptp-parser library.</p>\n\n<p><strong>Updates:</strong></p>\n\n<ul>\n\t<li>Bumped Scala version to 2.13.6</li>\n\t<li>Support for TFX (see <a href=\"http://tptp.org/TPTP/Proposals/TFXTHX.html\">http://tptp.org/TPTP/Proposals/TFXTHX.html</a>)</li>\n\t<li>Support for TPTP non-classical format, partly experimental (see <a href=\"http://tptp.org/NonClassicalLogic/\">http://tptp.org/NonClassicalLogic/</a>)</li>\n\t<li>Fixed a few minor bugs</li>\n</ul>\n\n<p>See the README for further information.</p>", 
    "contributors": [
      {
        "affiliation": "Fernuniversit\u00e4t in Hagen", 
        "type": "Other", 
        "name": "Philip Heltweg"
      }
    ], 
    "title": "scala-tptp-parser v1.4", 
    "license": {
      "id": "MIT"
    }, 
    "notes": "The software development was supported by the Luxembourg National Research Fund (FNR) under grant CORE C20/IS/14616644.", 
    "relations": {
      "version": [
        {
          "count": 7, 
          "index": 2, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "4468958"
          }, 
          "is_last": false, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "6497678"
          }
        }
      ]
    }, 
    "version": "v1.4", 
    "keywords": [
      "TPTP", 
      "automated reasoning", 
      "logic", 
      "automated theorem prover", 
      "parser", 
      "reasoning", 
      "automated deduction", 
      "artificial intelligence"
    ], 
    "publication_date": "2021-10-19", 
    "creators": [
      {
        "orcid": "0000-0001-8781-9462", 
        "affiliation": "University of Luxembourg", 
        "name": "Alexander Steen"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "software", 
      "title": "Software"
    }, 
    "related_identifiers": [
      {
        "scheme": "url", 
        "identifier": "https://github.com/leoprover/scala-tptp-parser/tree/v1.4", 
        "relation": "isSupplementTo"
      }, 
      {
        "scheme": "url", 
        "identifier": "https://search.maven.org/artifact/io.github.leoprover/scala-tptp-parser_2.13/1.4/jar", 
        "relation": "isSupplementTo"
      }, 
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.4468958", 
        "relation": "isVersionOf"
      }
    ]
  }
}
144
7
views
downloads
All versions This version
Views 14425
Downloads 71
Data volume 411.7 kB75.5 kB
Unique views 10518
Unique downloads 61

Share

Cite as