Wikidata entity: P12888
Quantities
| P4876 | number of records | 45272 |
| P2429 | expected completeness | ... | Q21873974 (eventually complete) | eventually complete |
| P1793 | format as a regular expression | String | [-a-zA-Z0-9]+ | ??? |
| P1630 | formatter URL | String | https://us.metamath.org/mpeuni/$1.html | ??? |
| P31 | instance of | ... | Q18614948 (Wikidata property for authority control) | Wikidata property for authority control |
| P31 | instance of | ... | Q19847637 (Wikidata property for an identifier) | Wikidata property for an identifier |
| P31 | instance of | ... | Q62589320 (Wikidata property for an identifier that does not imply notability) | Wikidata property for an identifier that does not imply notability |
| P6104 | maintained by WikiProject | ... | Q8487137 (WikiProject Mathematics) | WikiProject Mathematics |
| P2302 | property constraint | ... | Q19474404 (single-value constraint) | single-value constraint |
| P2302 | property constraint | ... | Q21503250 (subject type constraint) | subject type constraint |
| P2302 | property constraint | ... | Q21502404 (format constraint) | format constraint |
| P2302 | property constraint | ... | Q21502410 (distinct-values constraint) | distinct-values constraint |
| P2302 | property constraint | ... | Q52004125 (allowed-entity-types constraint) | allowed-entity-types constraint |
| P2302 | property constraint | ... | Q53869507 (property scope constraint) | property scope constraint |
| P3254 | property proposal discussion | Url | Wikidata:Property proposal/Metamath statement label - Wikidata | ??? |
| P1896 | source website for the property | Url | https://us.metamath.org | ??? |
| P1629 | Wikidata item of this property | ... | Q6822975 (Metamath) | Metamath |
| P1855 | Wikidata property example | ... | Q179208 (Cayley's theorem) | Cayley's theorem |
| P1855 | Wikidata property example | ... | Q339000 (birthday problem) | birthday problem |
| P1855 | Wikidata property example | ... | Q655742 (modus ponens) | modus ponens |
| P1855 | Wikidata property example | ... | Q864475 (functor) | functor |
Why not click here or view trends?
log id: 1670957