-
assigned issue to
Type detection with theorem prover
Issue #379
new
If some theory entails
!x y z: P(x,y,z) => T(x), and $T$ is known, then we can replace the signature of P by
P(X\capT,Y,Z)
(might be useful for the ASP competition)
Comments (1)
-
- Log in to comment