Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures (Q4650305): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: On the Desirability of Acyclic Database Schemes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal languages and bounded fragments of predicate logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tolerance logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extending partial isomorphisms of graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Loosely guarded fragment of first-order logic has the finite model property / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extending partial automorphisms and the profinite topology on free groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extending partial isomorphisms for the small index property of many \(\omega\)-categorical structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extending partial isomorphisms on finite structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Restraining Power of Guards / rank
 
Normal rank

Latest revision as of 17:08, 7 June 2024

scientific article; zbMATH DE number 2133252
Language Label Description Also known as
English
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
scientific article; zbMATH DE number 2133252

    Statements

    Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures (English)
    0 references
    0 references
    0 references
    9 February 2005
    0 references
    guarded logics
    0 references
    extension property for partial isomorphisms
    0 references
    conformal covers for finite hypergraphs
    0 references
    finite model theory of relational structures
    0 references
    Gaifman cliques
    0 references
    finite model property
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references