Concept information
PREFERRED TERM
Логика первого порядка (исчисление предикатов)
BELONGS TO GROUP
IN OTHER LANGUAGES
-
Arabic
-
منطق المحمولات
-
English
-
Persian
-
منطق محمولات
-
Tajik
-
ҳэсобэ маҳмӯлот
-
حساب محمولات
URI
http://skosmos.nlai.ir/asfa-lin/fa/page/asfa154149
{{toUpperCase label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}