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
Definability and decidability of binary predicates for time granularity - MaRDI portal

Definability and decidability of binary predicates for time granularity (Q2495389)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Definability and decidability of binary predicates for time granularity
scientific article

    Statements

    Definability and decidability of binary predicates for time granularity (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    30 June 2006
    0 references
    time granularity
    0 references
    monadic theories
    0 references
    definability
    0 references
    decidability
    0 references

    Identifiers