This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool