頂点完全性に関する詳細なメタ定理

頂点完全性が有界な場合、FOおよびMSO論理式のモデルチェックを効率的に行うことができる。