Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02008612n
Noun Named Entity
Categories: Free software programmed in C, Unix programming tools, Free theorem provers
EN
E
EN
E is a high-performance theorem prover for full first-order logic with equality. Wikipedia
English:
theorem prover
Definitions
Relations
Sources
EN
E is a high-performance theorem prover for full first-order logic with equality. Wikipedia
A modern, high performance prover for first-order logic Wikipedia Disambiguation
IS A
free software
PROGRAMMING LANGUAGE
C
Wikipedia
EN
E (theorem prover)
Wikidata
EN
E
Wikipedia Redirections
EN
E equational theorem prover, E theorem prover, Stephan Schulz

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