sort of data-/objectproperty assertion axioms (#1235) #79

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (default)	1m 33s
test (ide)	1m 41s
test (release)	1m 48s
	5m 2s