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
Rosser's theorem - MaRDI portal

Rosser's theorem (Q6482840)

From MaRDI portal





theorem
Language Label Description Also known as
English
Rosser's theorem
theorem

    Statements

    instance of
    theorem
    0 references
    defining formula
    0 references
    in defining formula
    symbol represents
    positive integer
    0 references
    symbol represents
    prime number
    0 references
    symbol represents
    natural logarithm
    0 references

    Identifiers

    Freebase ID
    /m/06rq4q
    1 reference
    stated in
    Freebase Data Dumps
    publication date
    28 October 2013
    MathWorld ID
    RossersTheorem
    0 references
    RossersTheorem
    subject named as
    Rosser's Theorem
    0 references
    Wikidata QID
    Q867839
    0 references
     
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6482840&oldid=40260880"
      Powered by MediaWiki