The query topology in logic programming (Q5096171): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4204135 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological model theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model theory of topological structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3898534 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Canonical logic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Commuting Mappings and Fixed Points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3226265 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5541833 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3339245 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4064159 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some consequences of the normality of the space of models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariant sets in topology and logic / rank | |||
Normal rank |
Latest revision as of 22:15, 29 July 2024
scientific article; zbMATH DE number 7571943
Language | Label | Description | Also known as |
---|---|---|---|
English | The query topology in logic programming |
scientific article; zbMATH DE number 7571943 |
Statements
The query topology in logic programming (English)
0 references
16 August 2022
0 references
topological space
0 references
logic programming
0 references
compact space
0 references
compact Hausdorff space
0 references