Movatterモバイル変換

[0]ホーム
URL:

Jump to content
Wikidata
Search

automated theorem proving(Q431667)

From Wikidata
subfield of automated reasoning dealing with proving theorems by computer programs
  • automated deduction
  • ATP
  • theorem proving
edit
LanguageLabelDescriptionAlso known as
default for all languages
No label defined
    English
    automated theorem proving
    subfield of automated reasoning dealing with proving theorems by computer programs
    • automated deduction
    • ATP
    • theorem proving

    Statements

    Identifiers

     

    Sitelinks

    Wikipedia(19 entries)

    edit

    Wikibooks(0 entries)

    edit

      Wikinews(0 entries)

      edit

        Wikiquote(0 entries)

        edit

          Wikisource(0 entries)

          edit

            Wikiversity(0 entries)

            edit

              Wikivoyage(0 entries)

              edit

                Wiktionary(0 entries)

                edit

                  Multilingual sites(0 entries)

                  edit
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q431667&oldid=2304326519"
                    [8]ページ先頭
                    ©2009-2025 Movatter.jp