First Order formula

Материал из WikiGrapp
Перейти к навигации Перейти к поиску

First Order formula --- формула первого порядка.

See

  • Logic for expressing graph properties.