Repository navigation

ogar-elk: the EL subsumption closure as the third factfinder - #253

Merged

AdaWorldAPI merged 1 commit into

mainfrom

claude/ogar-elk-factfinder

Aug 7, 2026

Merged

ogar-elk: the EL subsumption closure as the third factfinder#253
AdaWorldAPI merged 1 commit into
mainfrom
claude/ogar-elk-factfinder

Commits on Aug 7, 2026
- ogar-elk: the EL subsumption closure as the third factfinder
  
  AdaWorldAPI
  and
  claude
  committed
  d0067fa