====== 自動定理証明 ======
==== automatic theorem proving program ====

{{tag>..c17}}

　公理系から導かれる定理を枚挙したり，定理証明を機械的に行うなどの機械的な証明法を意味する．おもに人工知能に関する分野において研究されている．


~~NOCACHE~~