Talk:Theta-subsumption

Ideas for extension
The article could be extended by considering implementations and algorithms for theta-subsumption,     as well as extensions such as theta-subsumption modulo background knowledge or OI-subsumption. Felix QW (talk) 23:03, 26 November 2023 (UTC)