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
Reliability of mathematical inference - MaRDI portal

Reliability of mathematical inference (Q2695405)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reliability of mathematical inference
scientific article

    Statements

    title
    Reliability of mathematical inference (English)
    0 references
    author
    Jeremy Avigad
    0 references
    published in
    Synthese
    0 references
    publication date
    31 March 2023
    0 references
    zbMATH Keywords
    mathematical proof
    0 references
    formalization
    0 references
    reliability
    0 references
    robustness
    0 references
    describes a project that uses
    kepler98
    0 references
    Jordan
    0 references
    cites work
    Q3600462
    0 references
    CHARACTER AND OBJECT
    0 references
    Q5200692
    0 references
    Q2751353
    0 references
    Q5515354
    0 references
    Rigor and Structure
    0 references
    Why Prove it Again?
    0 references
    Q3515133
    0 references
    Q5586187
    0 references
    Q5732756
    0 references
    Q5431481
    0 references
    Q4099559
    0 references
    Q4956108
    0 references
    Q3818261
    0 references
    Q4845456
    0 references
    Q4530470
    0 references
    Q2724150
    0 references
    Q5613067
    0 references
    Q3338169
    0 references

    Identifiers

    zbMATH DE Number
    7670791
    0 references
    OpenAlex ID
    W2965089044
    0 references
    Wikidata QID
    Q126359710
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2695405&oldid=39203365"
    Powered by MediaWiki