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
Automated theorem proving in Euler diagram systems - MaRDI portal

Automated theorem proving in Euler diagram systems (Q2467560)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automated theorem proving in Euler diagram systems
scientific article

    Statements

    title
    Automated theorem proving in Euler diagram systems (English)
    0 references
    author
    Gem Stapleton
    0 references
    Judith Masthoff
    0 references
    Jean Flower
    0 references
    Andrew Fish
    0 references
    Jane Southern
    0 references
    publication date
    22 January 2008
    0 references
    zbMATH Keywords
    Visual languages
    0 references
    Euler diagrams
    0 references
    Diagrammatic reasoning
    0 references
    Heuristics
    0 references

    Identifiers

    zbMATH DE Number
    5229095
    0 references
    OpenAlex ID
    W2032680966
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2467560&oldid=39102859"
    Powered by MediaWiki