Theories with the independence property (Q993495): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: A feature constraint system for logic programming with entailment / rank
 
Normal rank
Property / cites work
 
Property / cites work: A complete axiomatization of a theory with feature and arity constraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: A complete and recursive feature theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model theory. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reduced products, Horn sentences, and decision problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Untersuchungen über das logische Schliessen. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3789064 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Varieties Containing Relation Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relation algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3677149 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4124795 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Records for logic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3141898 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpreting first-order theories into a logic of records / rank
 
Normal rank

Latest revision as of 06:19, 3 July 2024

scientific article
Language Label Description Also known as
English
Theories with the independence property
scientific article

    Statements

    Theories with the independence property (English)
    0 references
    20 September 2010
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    complete theory
    0 references
    crisp theory
    0 references
    free model
    0 references
    Horn sentence
    0 references
    independence property
    0 references
    reduced product
    0 references
    0 references
    0 references