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
Modeling simultaneous events with default reasoning and tight derivations - MaRDI portal

Modeling simultaneous events with default reasoning and tight derivations (Q3485856)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Modeling simultaneous events with default reasoning and tight derivations
scientific article

    Statements

    title
    Modeling simultaneous events with default reasoning and tight derivations (English)
    0 references
    publication date
    1990
    0 references
    zbMATH Keywords
    default reasoning
    0 references
    Tight derivations
    0 references
    author
    Allen van Gelder
    0 references

    Identifiers

    zbMATH DE Number
    4157867
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3485856&oldid=27822742"
    Powered by MediaWiki