Menu Impressum Privacy Policy
☐
    project
      1. name

        1. Reasoning System

      2. optimization
        1. objective

          1. Create a system which extracts and validates statements regarding a solution or a problem.

          2. solution

            1. This seems to be a theorem system/prover.

            2. toDo
              https://hol-theorem-prover.org/

              1. Check if this is the case.

            3. toDo

              1. What is the difference between a theorem prover and Prolog.

    Content Privacy Policy Impressum Licensing Main Menu

    Messages

    - Activate Javascript in order to enable all functions of this site.


    About This Site Contact Licensing Main Page Privacy Policy Programs Projects Search

    Metadata About This Document

    Unless otherwise noted, the content of this html file is licensed under the EPL-2.0 OR MIT.

    Files and other contents, which are linked to by this HTML file, have their own rulings.

    Footer Functions

    back to top