Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00833685n
Noun Named Entity
SYL
No term available
EN
In automated theorem proving, PhoX is a proof assistant based on higher-order logic which is eXtensible. Wikipedia
Relations
Sources
PROGRAMMING LANGUAGE
OCAML

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License