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
Q3890137 - MaRDI portal

No label defined (Q3890137)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    author
    Ivan Kramosil
    0 references
    publication date
    1979
    0 references
    zbMATH Keywords
    formal theories
    0 references
    statistical theorem proving
    0 references
    statistical deducibility testing
    0 references
    survey
    0 references
    resolution-based theorem-proving
    0 references
    cites work
    Q5679729
    0 references
    Q4050144
    0 references
    Q3235339
    0 references
    Q5547552
    0 references
    Q5658069
    0 references
    Q5528627
    0 references
    Q5812175
    0 references
    Q5734410
    0 references
    Q5622139
    0 references
    Q5537599
    0 references
    Q5557870
    0 references
    Q4357731
    0 references
    Q3262608
    0 references
    Q5801671
    0 references
    Q3241504
    0 references
    Q5619832
    0 references
    Q5652644
    0 references
    Q5183471
    0 references
    Q4188579
    0 references
    Q3272826
    0 references
    Q5606305
    0 references
    Q5735229
    0 references
    Q4053608
    0 references
    Q3290715
    0 references
    Q3247126
    0 references
    Q5800952
    0 references
    Q5656910
    0 references
    Q5643915
    0 references
    Q4140923
    0 references
    Q4142716
    0 references
    Q4067013
    0 references
    Q4097204
    0 references
    Q4174244
    0 references
    Q4183972
    0 references
    Q3887434
    0 references
    Q4055226
    0 references
    Q5672897
    0 references
    Fuzzy sets
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    68-01
    0 references
    03-01
    0 references
    03B35
    0 references
    03F99
    0 references
    62P99
    0 references
    zbMATH DE Number
    3696535
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3890137&oldid=34644626"
    Powered by MediaWiki