Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00426730n
Noun Concept
IT
dimostratore automatico di teoremi  assistente prova
IT
categoria di software per la logica matematica Wikidata
Definitions
Relations
Sources
IT
categoria di software per la logica matematica Wikidata
HAS KIND
EN
HOL
EN
PhoX
Isabelle
sistema Mizar
EN
MINLOG
+3 relations
HAS INSTANCE
EN
Prover9
Isabelle
SPASS
EN
MINLOG
LEGO
+6 relations
USE
computer-assistita prova
Wikidata
IT
dimostratore automatico di teoremi
Wikipedia Translations
IT
assistente prova

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