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
Through an Inference Rule, Darkly - MaRDI portal

Through an Inference Rule, Darkly (Q3305631)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Through an Inference Rule, Darkly
scientific article

    Statements

    title
    Through an Inference Rule, Darkly (English)
    0 references
    author
    Roman Kuznets
    0 references
    publication date
    10 August 2020
    0 references
    cites work
    Q3837723
    0 references
    Q3509048
    0 references
    Q3128959
    0 references
    Q4281253
    0 references
    Q4894942
    0 references
    Q3022776
    0 references
    Q5419884
    0 references
    Q5224582
    0 references
    Q5736158
    0 references
    Q3331199
    0 references
    Proof Analysis
    0 references
    Q4530621
    0 references
    Q5556396
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F03
    0 references
    03B45
    0 references
    03F05
    0 references
    03F07
    0 references
    zbMATH DE Number
    7229613
    0 references
    OpenAlex ID
    W2982279622
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3305631&oldid=36605982"
    Powered by MediaWiki