 |
Connect++ 0.6.0
A fast, readable connection prover for first-order logic.
|
|
Connect++ 0.6.0
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for tptp_parser::fof_plain_term_struct, including all inherited members.
| args (defined in tptp_parser::fof_plain_term_struct) | tptp_parser::fof_plain_term_struct | |
| functor (defined in tptp_parser::fof_plain_term_struct) | tptp_parser::fof_plain_term_struct |
1.10.0