bn:00426274n
Noun Named Entity
AR
No term available
EN
CARINE is a first-order classical logic automated theorem prover. Wikipedia
Sources