• 1. simplified derivability graph of: 简化的可派生性图表示
• 2. simplified derivability graph of G: 简化的可派生性图表示

©2026 网易公司