Concept information
اصطلاح مرجح
first order structures
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
مفهومهای اخص
- atomic structure
- beth definability theorem
- completeness of theory
- craig interpolation theorem
- digonal embedding
- ehrenfeucht-mostowski structure
- elementary embedding
- expansion of structure
- extension of structure
- finitely-generated structure
- homogeneous structure
- locally finite structure
- quantifier elimination
- satisfaction
- term
- universal structure
در زبان های دیگر
-
Persian
URI
http://www.irandoc.acir/onto/irandoc/math0007613
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}