<div class="dln" itemprop="articleBody"><div class="shdw top"> </div><p>Clause Management System
</p><div class="shdw btm"> </div><button type="button" class="mxmz icn_ btn_mxmz"></button></div>

知識ベースのコンパイル

<div class="dln" itemprop="articleBody"><div class="shdw top"> </div><p><a class="URI" href="https://www.jstage.jst.go.jp/article/jjsai/7/1/7_130/_pdf" target="_blank" rel="noopener nofollow ugc">https://www.jstage.jst.go.jp/article/jjsai/7/1/7_130/_pdf</a>
</p><div class="shdw btm"> </div><button type="button" class="mxmz icn_ btn_mxmz"></button></div>

t_wの輪郭

CMS

知識ベースのコンパイル

『発想的仮説生成のための述語論理知識ベースのコンパイル法』