About: Metamath

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Metamath Goto Sponge NotDistinct Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

Formal language and associated computer program

Attributes	Values
rdf:type	Item
owl:sameAs	Metamath
description	website (nl) perangkat lunak (id) Formal language and associated computer program (en) Langage formel et assistant de preuve associé (fr) Programmiersprache und Online-Archiv (de)
rdfs:label	Metamath (ca) Metamath (da) Metamath (de) Metamath (en) Metamath (es) Metamath (fi) Metamath (fr) Metamath (ga) Metamath (it) Metamath (nl) Metamath (nn) Metamath (pt) Metamath (ro) Metamath (ru) Metamath (sv) Metamath (zh) Metamath (ast) متامث (fa)
skos:prefLabel	Metamath (ca) Metamath (da) Metamath (de) Metamath (en) Metamath (es) Metamath (fi) Metamath (fr) Metamath (ga) Metamath (it) Metamath (nl) Metamath (nn) Metamath (pt) Metamath (ro) Metamath (ru) Metamath (sv) Metamath (zh) Metamath (ast) متامث (fa)
name	Metamath (ca) Metamath (da) Metamath (de) Metamath (en) Metamath (es) Metamath (fi) Metamath (fr) Metamath (ga) Metamath (it) Metamath (nl) Metamath (nn) Metamath (pt) Metamath (ro) Metamath (ru) Metamath (sv) Metamath (zh) Metamath (ast) متامث (fa)
Freebase ID	wds:Q6822975-8BDF334C-1C39-4BC3-8124-A72CCD6A3F64
Freebase ID	/m/0fl2p0
instance of	wds:Q6822975-529E8136-BD9E-4E86-A6D7-709BE0D76236 wds:Q6822975-9D048B4E-2632-48F7-A976-7C9412906BE9
instance of	free software website
designed by	wds:Q6822975-591CBC29-1A36-441B-A00D-ECC18E01D185
nLab ID	wds:Q6822975-6B8831CB-C56A-4C7B-B7AA-D4026F361815
designed by	Norman D. Megill
nLab ID	Metamath
logo image	wds:Q6822975-700EE1EE-9052-4308-A04F-E66F0472E00D
logo image
software version identifier	wds:Q6822975-014e6b3d-a519-43f9-aefb-a8ea39fdf670 wds:Q6822975-02464761-8758-47d9-8ec8-57f5b64445d2 wds:Q6822975-0ef4ad4b-5957-43a8-8d52-f3afd1166acb wds:Q6822975-14237785-56c0-4b65-850c-35a8160e9500 wds:Q6822975-2a0e2c01-7de3-4032-be21-068a8ddf61c3 wds:Q6822975-37820378-784d-4623-a1c3-b278265b6a07 wds:Q6822975-44ae911b-acee-4ced-add9-ec6992e6a322 wds:Q6822975-4db56afa-712a-4a8b-8ba7-e357524ab5c5 wds:Q6822975-6da20803-62a0-4b66-8d66-aa48b2bb2f16 wds:Q6822975-6ddf1597-6718-40c2-a38f-451456c55d45 wds:Q6822975-87105aeb-94e7-494e-8e8f-5321c6b9cebb wds:Q6822975-a48a4e4b-47ac-52ba-13cb-1f2c6b7e1a08 wds:Q6822975-c6133f60-45b0-bcdc-62be-bfe82ee87a95 wds:Q6822975-cb9cf6d3-4fee-45e2-a30f-11c710e1d20b wds:Q6822975-d3f935c2-4c0a-4ef2-f4e8-4140c2a4103c wds:Q6822975-d8327594-a66d-4d9a-9632-7c85945ef4e7 wds:Q6822975-dbfe8db8-0f20-4ccc-bc72-6d591831eb77 wds:Q6822975-e28cd686-8fbf-490e-a7f1-500d3d2a44c8 wds:Q6822975-e5780c95-2747-40ce-a9e1-0170624cc880
software version identifier	0.198
skos:altLabel	Metamath Proof Explorer (en) Metamath Proof Explorer (fr) metamath.org (en)
product or materia... service provided	wds:Q6822975-A0000DAB-6D26-4E97-82AE-F2A59196522F
Alexa rank	wds:Q6822975-FE9C855A-7D5D-4C5B-80C9-999C8ADA5C0E
copyright license	wds:Q6822975-F241CD70-C9C4-41DA-ADBA-835B07A5E5AA
Quora topic ID	wds:Q6822975-FD67B556-305C-433F-9E25-0A54A2360D31

Faceted Search & Find service v1.16.117 as of May 05 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 190 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software