Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Metamath> ?p ?o. }
Showing items 1 to 62 of
62
with 100 items per page.
- 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 wikiPageID "6023946".
- Metamath wikiPageRevisionID "602202584".
- 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".
- 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.
- Metamath url mmset.html.
- Metamath website metamath.org.
- Metamath wordnet_type synset-software-noun-1.
- Metamath wordnet_type synset-web_site-noun-1.
- 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 type Artifact100021939.
- Metamath type Computer103082979.
- Metamath type Device103183080.
- Metamath type Instrumentality103575240.
- Metamath type Machine103699975.
- Metamath type Object100002684.
- Metamath type PhysicalEntity100001930.
- Metamath type WebSite106359193.
- Metamath type Whole100003553.
- Metamath type Software.
- Metamath type Work.
- Metamath type CreativeWork.
- Metamath type SoftwareObject.
- Metamath type InformationEntity.
- 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=602202584.
- Metamath depiction Metamath_logo.png.
- Metamath homepage metamath.org.
- Metamath isPrimaryTopicOf Metamath.
- Metamath name "Metamath".