|
rdfs:label
|
"Metamath"@ast
"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"@sr
"Metamath"@sr-ec
"Metamath"@sv
"Metamath"@zh
"متامث"@fa
|
|
skos:altLabel
|
"Metamath Proof Explorer"@en
"Metamath Proof Explorer"@fr
"metamath.org"@ast
"metamath.org"@ca
"metamath.org"@da
"metamath.org"@de
"metamath.org"@en
"metamath.org"@es
"metamath.org"@fa
"metamath.org"@fi
"metamath.org"@fr
"metamath.org"@ga
"metamath.org"@id
"metamath.org"@it
"metamath.org"@mul
"metamath.org"@nl
"metamath.org"@nn
"metamath.org"@pt
"metamath.org"@ro
"metamath.org"@ru
"metamath.org"@ryu
"metamath.org"@sr
"metamath.org"@sr-ec
"metamath.org"@sv
"metamath.org"@zh
|
|
schema:description
|
"Programmiersprache und Online-Archiv"@de
"formal language and associated computer programs"@en
"langage formel et assistant de preuve associé"@fr
"perangkat lunak"@id
"website"@nl
"Формални језик и припадајући компјутерски програм"@sr
"Формални језик и припадајући компјутерски програм"@sr-ec
"ヱブサイト"@ryu
|
|
schema:dateModified
|
"2026-10-26T03:31:05+00:00"^^xsd:dateTime
|
|
schema:version
|
2560918614
|
|
wikibase:identifiers
|
4
|
|
wikibase:sitelinks
|
8
|
|
wikibase:statements
|
42
|
|
p:P1056
|
wd:statement/Q6822975-A0000DAB-6D26-4E97-82AE-F2A59196522F
|
|
p:P1324
|
wd:statement/Q6822975-9293a8ba-48df-fb2e-1466-f257edaabb17
|
|
wd:statement/Q6822975-fbd1f74e-4e79-7fb3-cc1a-69c87fcba820
|
|
p:P1482
|
wd:statement/Q6822975-aebb774b-4047-afeb-a0cd-f17503b10efb
|
|
p:P154
|
wd:statement/Q6822975-700EE1EE-9052-4308-A04F-E66F0472E00D
|
|
p:P1661
|
wd:statement/Q6822975-FE9C855A-7D5D-4C5B-80C9-999C8ADA5C0E
|
|
p:P1687
|
wd:statement/Q6822975-3a66a6b0-412f-67fe-ed1b-059596cac0b2
|
|
p:P275
|
wd:statement/Q6822975-F241CD70-C9C4-41DA-ADBA-835B07A5E5AA
|
|
p:P287
|
wd:statement/Q6822975-591CBC29-1A36-441B-A00D-ECC18E01D185
|
|
p:P306
|
wd:statement/Q6822975-0e39470b-40f8-e43a-12fd-8c7425b1c386
|
|
wd:statement/Q6822975-527b775e-4231-a4c3-fa74-c34b86b3104a
|
|
wd:statement/Q6822975-9268cbea-402b-4d22-1580-30c1d457ee75
|
|
p:P31
|
wd:statement/Q6822975-0cb5af6d-4f33-e86b-7f48-bae16fa747d2
|
|
wd:statement/Q6822975-276623a9-469e-7269-0098-5bf3e3a5dce8
|
|
wd:statement/Q6822975-4c4e1476-4f7d-7450-3458-424fe46c530c
|
|
wd:statement/Q6822975-529E8136-BD9E-4E86-A6D7-709BE0D76236
|
|
wd:statement/Q6822975-9D048B4E-2632-48F7-A976-7C9412906BE9
|
|
p:P3417
|
wd:statement/Q6822975-FD67B556-305C-433F-9E25-0A54A2360D31
|
|
p:P348
|
wd:statement/Q6822975-014e6b3d-a519-43f9-aefb-a8ea39fdf670
|
|
wd:statement/Q6822975-02464761-8758-47d9-8ec8-57f5b64445d2
|
|
wd:statement/Q6822975-0ef4ad4b-5957-43a8-8d52-f3afd1166acb
|
|
wd:statement/Q6822975-14237785-56c0-4b65-850c-35a8160e9500
|
|
wd:statement/Q6822975-2a0e2c01-7de3-4032-be21-068a8ddf61c3
|
|
wd:statement/Q6822975-37820378-784d-4623-a1c3-b278265b6a07
|
|
wd:statement/Q6822975-44ae911b-acee-4ced-add9-ec6992e6a322
|
|
wd:statement/Q6822975-4db56afa-712a-4a8b-8ba7-e357524ab5c5
|
|
wd:statement/Q6822975-6da20803-62a0-4b66-8d66-aa48b2bb2f16
|
|
wd:statement/Q6822975-6ddf1597-6718-40c2-a38f-451456c55d45
|
|
wd:statement/Q6822975-87105aeb-94e7-494e-8e8f-5321c6b9cebb
|
|
wd:statement/Q6822975-a48a4e4b-47ac-52ba-13cb-1f2c6b7e1a08
|
|
wd:statement/Q6822975-c6133f60-45b0-bcdc-62be-bfe82ee87a95
|
|
wd:statement/Q6822975-cb9cf6d3-4fee-45e2-a30f-11c710e1d20b
|
|
wd:statement/Q6822975-d3f935c2-4c0a-4ef2-f4e8-4140c2a4103c
|
|
wd:statement/Q6822975-d8327594-a66d-4d9a-9632-7c85945ef4e7
|
|
wd:statement/Q6822975-dbfe8db8-0f20-4ccc-bc72-6d591831eb77
|
|
wd:statement/Q6822975-e28cd686-8fbf-490e-a7f1-500d3d2a44c8
|
|
wd:statement/Q6822975-e5780c95-2747-40ce-a9e1-0170624cc880
|
|
p:P4215
|
wd:statement/Q6822975-6B8831CB-C56A-4C7B-B7AA-D4026F361815
|
|
p:P6216
|
wd:statement/Q6822975-2DFE58C5-F70B-45AF-9641-D943D255E714
|
|
p:P646
|
wd:statement/Q6822975-8BDF334C-1C39-4BC3-8124-A72CCD6A3F64
|
|
p:P6830
|
wd:statement/Q6822975-C7E6C195-AB84-47C8-A948-0E134B4AAC33
|
|
p:P856
|
wd:statement/Q6822975-8589D767-1AF3-4488-B01B-835ED830A5BA
|
|
wdt:P1056
|
online encyclopedia
|
|
wdt:P1324
|
<https://github.com/metamath/metamath-exe>
|
|
<https://github.com/metamath/set.mm>
|
|
wdt:P1482
|
<https://proofassistants.stackexchange.com/tags/metamath>
|
|
wdt:P154
|
<http://commons.wikimedia.org/wiki/Special:FilePath/Metamath%20logo.png>
|
|
wdt:P1661
|
2394814.0^^xsd:decimal
|
|
wdt:P1687
|
Metamath statement ID
|
|
wdt:P275
|
GNU General Public License
|
|
wdt:P287
|
Norman D. Megill
|
|
wdt:P306
|
Microsoft Windows
|
|
macOS
|
|
Linux
|
|
wdt:P31
|
proof assistant
|
|
proof verifier
|
|
proof language
|
|
free software
|
|
website
|
|
wdt:P3417
|
"Metamath"
|
|
wdt:P348
|
"0.198"
|
|
wdt:P4215
|
"Metamath"
|
|
wdt:P6216
|
copyrighted
|
|
wdt:P646
|
"/m/0fl2p0"
|
|
wdt:P6830
|
"13309"
|
|
wdt:P856
|
<http://metamath.org>
|
