Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
1 Noun 0 Verb 2 Adj. 0 Adv.
Filters
ENrealizableNoun
EN
In mathematical logic, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them.
realizability
bn:00221788n Concept
ENrealizableAdjective
EN
Capable of being realized
bn:00109503a Concept
EN
Capable of existing or taking place or proving true; possible to do
accomplishableachievabledoable
bn:00096274a Concept

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