• 希尔伯特二提供了一个直觉的应用，可以验证的数学定理和公理的准确性和将它们包括在一个知识基础。

    希尔伯特二集成一组的模型，因此应用程序可以很容易地应对两个公式和检查，如果输入的文件是有效的。 装载QEDEQ模块可以转换为乳胶和UTF-8文本的格式。

  • हिल्बर्ट द्वितीय के साथ प्रदान करता है एक सहज ज्ञान युक्त आवेदन है कि अनुमति देता है आप को सत्यापित करने के लिए गणितीय प्रमेयों और axioms के लिए सटीकता और उन्हें में शामिल एक ज्ञान का आधार है ।

    हिल्बर्ट द्वितीय एकीकृत करता है का एक सेट मॉडल में, इस प्रकार आवेदन कर सकते हैं आसानी से सामना दो फार्मूले की जाँच करें और यदि इनपुट फ़ाइल मान्य है । लोड QEDEQ मॉड्यूल परिवर्तित किया जा सकता करने के लिए और UTF-8 पाठ प्रारूप.

  • Hilbert II provides you with an intuitive application that allows you to verify mathematical theorems and axioms for accuracy and include them in a knowledge base.

    Hilbert II integrates a set of models, thus the application can easily confront the two formulas and check if the input file is valid. The loaded QEDEQ modules can be converted to LaTeX and UTF-8 text format.