Skip to content

Merge branch 'master' into issue-3548-systematic-redundancy-finder

93deb8a
Select commit
Loading
Failed to load commit list.
Open

Add systematic script to find ALL redundant SubClassOf axioms #3551

Merge branch 'master' into issue-3548-systematic-redundancy-finder
93deb8a
Select commit
Loading
Failed to load commit list.