Skip to content
Docs

Break down SubClassOf axioms with an intersection as the superclass. #421

Sign in to view logs

Break down SubClassOf axioms with an intersection as the superclass.

Break down SubClassOf axioms with an intersection as the superclass. #421

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Deploy docs
25s
25s