Download all versions of scala-tptp-parser_2.13 JAR files with all dependencies
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.7.1)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. 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 http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.7.1
Last update 25. March 2023
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.7.1
Last update 25. March 2023
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.7.0)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. 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 http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.7.0
Last update 16. March 2023
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.7.0
Last update 16. March 2023
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.6.5)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. 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 http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.6.5
Last update 03. February 2023
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.6.5
Last update 03. February 2023
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.6.4)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. 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 http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.6.4
Last update 19. July 2022
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.6.4
Last update 19. July 2022
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.6.3)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. 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 http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.6.3
Last update 17. July 2022
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.6.3
Last update 17. July 2022
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.6.2)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. 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 http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.6.2
Last update 27. April 2022
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.6.2
Last update 27. April 2022
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.6.1)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. 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 http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.6.1
Last update 25. April 2022
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.6.1
Last update 25. April 2022
Tags: data reasoning available language parsing details html different knowledge order based package including tree particular input contains parser keep http parsed updated higher scala polymorphic updates representation syntaxbnf tptp extended library track clause normal process languages abstract continuously structure monomorphic typed form infrastructure instruction untyped syntax well initially logic first
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.6)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. 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 http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.6
Last update 16. February 2022
Tags: normal package higher particular contains untyped languages tree updated polymorphic structure form tptp available logic input syntax parsed http representation language parser different knowledge data syntaxbnf well scala typed initially continuously details order parsing instruction abstract updates track extended process reasoning including library monomorphic html infrastructure first based keep clause
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.6
Last update 16. February 2022
Tags: normal package higher particular contains untyped languages tree updated polymorphic structure form tptp available logic input syntax parsed http representation language parser different knowledge data syntaxbnf well scala typed initially continuously details order parsing instruction abstract updates track extended process reasoning including library monomorphic html infrastructure first based keep clause
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.5)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. 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 http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.5
Last update 06. February 2022
Tags: normal package higher particular contains untyped languages tree updated polymorphic structure form tptp available logic input syntax parsed http representation language parser different knowledge data syntaxbnf well scala typed initially continuously details order parsing instruction abstract updates track extended process reasoning including library monomorphic html infrastructure first based keep clause
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.5
Last update 06. February 2022
Tags: normal package higher particular contains untyped languages tree updated polymorphic structure form tptp available logic input syntax parsed http representation language parser different knowledge data syntaxbnf well scala typed initially continuously details order parsing instruction abstract updates track extended process reasoning including library monomorphic html infrastructure first based keep clause
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.4)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. 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 http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser is based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html).
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.4
Last update 19. October 2021
Tags: different knowledge normal data package higher syntaxbnf particular contains well scala typed untyped languages order tree details parsing instruction polymorphic abstract structure form extended tptp available logic process syntax input parsed reasoning including http representation library monomorphic html language parser infrastructure first based clause
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.4
Last update 19. October 2021
Tags: different knowledge normal data package higher syntaxbnf particular contains well scala typed untyped languages order tree details parsing instruction polymorphic abstract structure form extended tptp available logic process syntax input parsed reasoning including http representation library monomorphic html language parser infrastructure first based clause
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Page 1 from 2 (items total 11)