1. Home
  2. Reference
  3. Libraries
  4. Euler Yet Another Proof Engine

Reference · Libraries

Euler Yet Another Proof Engine

Listed in the directory · updated 22 Jul 2022

Visit website

Find them on

Share

About Euler Yet Another Proof Engine

Euler Yet Another Proof Engine- Semantic web proof engine supporting RGB mixed computation, It is a semibackward reasoner enhanced with Euler path detection, Via N3 it is interoperable with Cwm.

Tags

Text Encoding Initiative

Where it sits

Reference Libraries

More in Libraries

See all →