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