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
Formalizing Ordinal Partition Relations Using Isabelle/HOL - MaRDI portal

Formalizing Ordinal Partition Relations Using Isabelle/HOL (Q5094473)

From MaRDI portal
scientific article; zbMATH DE number 7566889
Language Label Description Also known as
English
Formalizing Ordinal Partition Relations Using Isabelle/HOL
scientific article; zbMATH DE number 7566889

    Statements

    title
    Formalizing Ordinal Partition Relations Using Isabelle/HOL (English)
    0 references
    publication date
    3 August 2022
    0 references
    zbMATH Keywords
    ordinal partition relations
    0 references
    set theory
    0 references
    interactive theorem proving
    0 references
    Isabelle
    0 references
    proof assistants
    0 references
    describes a project that uses
    Archive Formal Proofs
    0 references
    Isabelle/HOL
    0 references
    Jordan
    0 references
    Automath
    0 references
    QuickCheck
    0 references
    PVS
    0 references
    kepler98
    0 references
    HOL Light
    0 references
    Nitpick
    0 references
    cites work
    Q5573370
    0 references
    Q3778761
    0 references
    Q4122841
    0 references
    Q3837736
    0 references
    Q5337204
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03E02
    0 references
    03E05
    0 references
    03E10
    0 references
    03B35
    0 references
    68V20
    0 references
    68V35
    0 references
    zbMATH DE Number
    7566889
    0 references
    OpenAlex ID
    W3206346340
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5094473&oldid=36837157"
    Powered by MediaWiki