KIF

  • to the best of our knowledge, there is no theorem prover or interpreter of the KIF language publicly available


Backlinks