shafeef901/FOL-Resolution
Perform inference using Resolution proving by contradiction approach for First Order Logic Statements
Python
No issues in this repository yet.
Perform inference using Resolution proving by contradiction approach for First Order Logic Statements
Python
No issues in this repository yet.