Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Metamath> ?p ?o }
- Metamath location "USA".
- Metamath logo "100".
- Metamath name "Metamath Proof Explorer".
- Metamath name "Metamath".
- Metamath operatingSystem Linux.
- Metamath operatingSystem Mac_OS.
- Metamath operatingSystem Microsoft_Windows.
- Metamath owner "Norman Megill".
- Metamath programmingLanguage ANSI_C.
- Metamath registration "No".
- Metamath screenshot "280".
- Metamath type Internet_encyclopedia_project.
- Metamath type Online_encyclopedia.
- Metamath url mmset.html.
- Metamath website metamath.org.
- Metamath wikiPageUsesTemplate Template:As_of.
- Metamath wikiPageUsesTemplate Template:Infobox_Software.
- Metamath wikiPageUsesTemplate Template:Infobox_Website.
- Metamath wikiPageUsesTemplate Template:Multiple_issues.
- Metamath wikiPageUsesTemplate Template:Reflist.
- Metamath subject Category:Educational_math_software.
- Metamath subject Category:Free_mathematics_software.
- Metamath subject Category:Large-scale_mathematical_formalization_projects.
- Metamath subject Category:Proof_assistants.
- Metamath hypernym Language.
- Metamath type Article.
- Metamath type Language.
- Metamath type Software.
- Metamath type Work.
- Metamath type Article.
- Metamath type Assistant.
- Metamath type CreativeWork.
- Metamath type Thing.
- Metamath type Q386724.
- Metamath type Q7397.
- Metamath comment "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 label "Metamath".
- Metamath sameAs m.0fl2p0.
- Metamath sameAs Q6822975.
- Metamath sameAs Q6822975.
- Metamath sameAs Metamath.
- Metamath wasDerivedFrom Metamath?oldid=659029050.
- Metamath depiction Metamath_logo.png.
- Metamath homepage metamath.org.
- Metamath isPrimaryTopicOf Metamath.
- Metamath name "Metamath".