Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01004835n
Noun Named Entity
IT
SPASS  Synergetic Prover Augmenting Superposition with Sorts
IT
Software di dimostrazione automatica di teoremi Wikidata
Definitions
Relations
Sources
IT
Software di dimostrazione automatica di teoremi Wikidata
IS A
software libero
dimostratore automatico di teoremi
DEVELOPER
EN
Max Planck Institute for Informatics
OPERATING SYSTEM
Linux
Microsoft Windows
Classic Mac OS
Nokia N800
PROGRAMMING LANGUAGE
C
Wikidata
IT
SPASS
Wikidata Alias
IT
Synergetic Prover Augmenting Superposition with Sorts

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