October 19, 2021 Software Open Access

Alexander Steen

JSON-LD (schema.org) Export

{
  "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>", 
  "license": "https://opensource.org/licenses/MIT", 
  "creator": [
    {
      "affiliation": "University of Luxembourg", 
      "@id": "https://orcid.org/0000-0001-8781-9462", 
      "@type": "Person", 
      "name": "Alexander Steen"
    }
  ], 
  "url": "https://zenodo.org/record/5578872", 
  "codeRepository": "https://github.com/leoprover/scala-tptp-parser/tree/v1.4", 
  "datePublished": "2021-10-19", 
  "keywords": [
    "TPTP", 
    "automated reasoning", 
    "logic", 
    "automated theorem prover", 
    "parser", 
    "reasoning", 
    "automated deduction", 
    "artificial intelligence"
  ], 
  "version": "v1.4", 
  "contributor": [
    {
      "affiliation": "Fernuniversit\u00e4t in Hagen", 
      "@type": "Person", 
      "name": "Philip Heltweg"
    }
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.5578872", 
  "@id": "https://doi.org/10.5281/zenodo.5578872", 
  "@type": "SoftwareSourceCode", 
  "name": "scala-tptp-parser v1.4"
}