Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Metamath> ?p ?o }
- Metamath abstract "Metamath is a language for developing strictly formalized mathematical definitions and proofs accompanied by a proof checker for this language and a growing database of thousands of proved theorems covering conventional results in logic, set theory, number theory, group theory, algebra, analysis, and topology, as well as topics in Hilbert spaces and quantum logic.".
- Metamath license GNU_General_Public_License.
- Metamath programmingLanguage ANSI_C.
- Metamath thumbnail Metamath_logo.png?width=300.
- Metamath wikiPageExternalLink metamath.org.
- Metamath wikiPageExternalLink us.metamath.org.
- Metamath wikiPageExternalLink mmset.html.
- Metamath wikiPageExternalLink What-do-mathematicians-think-of-Metamath.
- Metamath wikiPageID "6023946".
- Metamath wikiPageLength "20120".
- Metamath wikiPageOutDegree "71".
- Metamath wikiPageRevisionID "659029050".
- Metamath wikiPageWikiLink ANSI_C.
- Metamath wikiPageWikiLink Algebra.
- Metamath wikiPageWikiLink Aristotle.
- Metamath wikiPageWikiLink Automated_proof_checking.
- Metamath wikiPageWikiLink Category:Educational_math_software.
- Metamath wikiPageWikiLink Category:Free_mathematics_software.
- Metamath wikiPageWikiLink Category:Large-scale_mathematical_formalization_projects.
- Metamath wikiPageWikiLink Category:Proof_assistants.
- Metamath wikiPageWikiLink Category_(mathematics).
- Metamath wikiPageWikiLink Common_Lisp.
- Metamath wikiPageWikiLink Complex_number.
- Metamath wikiPageWikiLink Creative_Commons.
- Metamath wikiPageWikiLink Dedekind_cut.
- Metamath wikiPageWikiLink Euclid.
- Metamath wikiPageWikiLink Exponential_function.
- Metamath wikiPageWikiLink File:Metamath-theorem-avril1-indexed.png.
- Metamath wikiPageWikiLink First-order_logic.
- Metamath wikiPageWikiLink Formal_system.
- Metamath wikiPageWikiLink GNU_General_Public_License.
- Metamath wikiPageWikiLink Gerhard_Gentzen.
- Metamath wikiPageWikiLink Giuseppe_Peano.
- Metamath wikiPageWikiLink Gottfried_Leibniz.
- Metamath wikiPageWikiLink Gottfried_Wilhelm_Leibniz.
- Metamath wikiPageWikiLink Gottlob_Frege.
- Metamath wikiPageWikiLink Graphic_user_interface.
- Metamath wikiPageWikiLink Graphical_user_interface.
- Metamath wikiPageWikiLink Group_(mathematics).
- Metamath wikiPageWikiLink Group_theory.
- Metamath wikiPageWikiLink Gödel,_Escher,_Bach.
- Metamath wikiPageWikiLink Haskell_(programming_language).
- Metamath wikiPageWikiLink Hilbert_space.
- Metamath wikiPageWikiLink Hilbert_spaces.
- Metamath wikiPageWikiLink Integral.
- Metamath wikiPageWikiLink Internet_encyclopedia_project.
- Metamath wikiPageWikiLink LF_(logical_framework).
- Metamath wikiPageWikiLink Lambda_calculus.
- Metamath wikiPageWikiLink Limit_(mathematics).
- Metamath wikiPageWikiLink Linux.
- Metamath wikiPageWikiLink Logic.
- Metamath wikiPageWikiLink Logical_framework.
- Metamath wikiPageWikiLink Mac_OS.
- Metamath wikiPageWikiLink Mathematical_analysis.
- Metamath wikiPageWikiLink Mathematical_induction.
- Metamath wikiPageWikiLink Metalanguage.
- Metamath wikiPageWikiLink Microsoft_Windows.
- Metamath wikiPageWikiLink Modus_ponens.
- Metamath wikiPageWikiLink Natural_deduction.
- Metamath wikiPageWikiLink Number_theory.
- Metamath wikiPageWikiLink Online_encyclopedia.
- Metamath wikiPageWikiLink Operation_(mathematics).
- Metamath wikiPageWikiLink Peano_arithmetic.
- Metamath wikiPageWikiLink Peano_axioms.
- Metamath wikiPageWikiLink Predicate_calculus.
- Metamath wikiPageWikiLink Proof_checker.
- Metamath wikiPageWikiLink Propositional_calculus.
- Metamath wikiPageWikiLink Public_Domain.
- Metamath wikiPageWikiLink Public_domain.
- Metamath wikiPageWikiLink Quantum_logic.
- Metamath wikiPageWikiLink Raph_Levien.
- Metamath wikiPageWikiLink Real_number.
- Metamath wikiPageWikiLink Recursion.
- Metamath wikiPageWikiLink Ring_(mathematics).
- Metamath wikiPageWikiLink Robert_M._Solovay.
- Metamath wikiPageWikiLink Robert_Solovay.
- Metamath wikiPageWikiLink Sequence.
- Metamath wikiPageWikiLink Set_theory.
- Metamath wikiPageWikiLink Stack_(abstract_data_type).
- Metamath wikiPageWikiLink Stack_(data_structure).
- Metamath wikiPageWikiLink TeX.
- Metamath wikiPageWikiLink Topology.
- Metamath wikiPageWikiLink Trigonometric_function.
- Metamath wikiPageWikiLink Trigonometric_functions.
- Metamath wikiPageWikiLink Vector_space.
- Metamath wikiPageWikiLink Vector_spaces.
- Metamath wikiPageWikiLink ZFC.
- Metamath wikiPageWikiLink ZFC_set_theory.
- Metamath wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Metamath wikiPageWikiLink File:Metamath_logo.png.
- Metamath wikiPageWikiLink File:Proofstep.gif.
- Metamath wikiPageWikiLinkText "Metamath".
- Metamath alexa "2281276".
- Metamath author "Norman Megill".
- Metamath caption "A proof of the Metamath Proof Explorer".
- Metamath commercial "No".
- Metamath developer "Norman Megill".
- Metamath genre "Computer-assisted proof checking".
- Metamath hasPhotoCollection Metamath.
- Metamath license "GNU General Public License".