Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Incompleteness, Undecidability and Automated Proofs - MaRDI portal

Incompleteness, Undecidability and Automated Proofs (Q2829997)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Incompleteness, Undecidability and Automated Proofs
scientific article

    Statements

    title
    Incompleteness, Undecidability and Automated Proofs (English)
    0 references
    author
    Declan Thompson
    0 references
    Cristian S. Calude
    0 references
    publication date
    9 November 2016
    0 references
    describes a project that uses
    kepler98
    0 references
    Isabelle
    0 references
    HOL
    0 references
    LCF
    0 references
    ALF
    0 references
    Archive Formal Proofs
    0 references
    Matita
    0 references
    Coq
    0 references
    Flyspeck
    0 references

    Identifiers

    zbMATH DE Number
    6649597
    0 references
    OpenAlex ID
    W2508333642
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2829997&oldid=36286353"
    Powered by MediaWiki