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
Product of Graphs and Hybrid Logic - MaRDI portal

Product of Graphs and Hybrid Logic (Q5170294)

From MaRDI portal
scientific article; zbMATH DE number 6319827
Language Label Description Also known as
English
Product of Graphs and Hybrid Logic
scientific article; zbMATH DE number 6319827

    Statements

    Product of Graphs and Hybrid Logic (English)
    0 references
    23 July 2014
    0 references
    product of graphs
    0 references
    H-V intransitivity
    0 references
    modal languages
    0 references
    modal definability
    0 references
    hybrid languages
    0 references

    Identifiers