Theorem prover



ScienceWISE definitions



    Incoming relations

    Outgoing relations



    Synonyms

    • Automated theorem prover
    • Automated theorem proving
    • ATP