定理検索

名前がないからどうにもならないが、名無し／メタ情報なしでも、

• 特定シンボル（述語名、関数名、モード名、属性名）を含む定理
• 特定のプロファイルの特定のシンボルを含む定理
• 特定のアーティクルで定義された特定のシンボルを含む定理
• 存在命題、全称命題などのパターン

シンボルに関しては、プロファイルとホームアーティクル（出自）で修飾して特定できるだろう。