whelk icon indicating copy to clipboard operation
whelk copied to clipboard

transform DisjointUnion to DisjointWith

Open balhoff opened this issue 7 months ago • 0 comments

Currently DisjointUnion doesn't provide any inferences, but it does with ELK 0.6.0.

balhoff avatar Apr 15 '25 00:04 balhoff