Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 901–1000 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| *{Sec. 5.1 | BB0H4RXATM | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.23341#ZGF2 |
| *{Sec. 5.1 | CSS5K5G050 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.23341#83HB |
| *{Sec. 5.3 | XT7X75NQ9S | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.23341#IN1E |
| *{Sec. 6.1}; *{Defs. 2.1--2.2 and 6.11 | HXHNBA1QDN | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.23341#2DZ0 |
| *{Sec. 6.4, Lemma 6.9 | 6ZP77R2RX4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.23341#2QK0 |
| *{Sec.\ 2.1}, *{Sec.\ 2.4}, *{Sec.\ 3.2 | P0H7MBVJ28 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20306#MM64 |
| *{Secs. 1.1--1.2 | 185V15V3Q1 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.23341#0698 |
| *{Secs. 4.1.1--4.1.2 | M1CEND3N7F | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.23341#6OWI |
| *{Theorem 1 | C8TJPZ44E5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#YGCQ |
| *{Theorem 1.1 | XBWVBMRX70 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30575#32YW |
| *{Theorem 1.1 | XQEBWN9K3E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#78ZX |
| *{Theorem 1.2 | DQKQP93WJM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30575#GLYW |
| *{Theorem 1.2 | KE5PX06WCG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30575#09RL |
| *{Theorem 1.20 | CKXZHBK113 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37739#70IQ |
| *{Theorem 1.3 | GJ7ZXQZX74 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30575#JWSL |
| *{Theorem 1.3 | SZGEA3ZY51 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#9AU5 |
| *{Theorem 1.3.1 | 9YZCM843NY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#NUYX |
| *{Theorem 1.4 | Z9614WX6QQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.02275#A2CD |
| *{Theorem 1.6 | XFC5HRXQPZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#VXD7 |
| *{Theorem 11.4 | TWYETAAFQK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#FILD |
| *{Theorem 2.1.1 | MTVDSY1Y5Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02669#MSWA |
| *{Theorem 2.3 | B63VFZQH8P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04876#N4D3 |
| *{Theorem 3 | 485ECBV14N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#M97A |
| *{Theorem 3.1 | CAZZH92HNM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#N0XQ |
| *{Theorem 3.1 | RMQJ5PNW1H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03323#TV6P |
| *{Theorem 3.10 | XEH6QMX527 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16362#27FB |
| *{Theorem 3}, *{Lemma 3.1.2 | PDPQG54ZMC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06521#4ZKD |
| *{Theorem 4 (Variational characterisation of the information | R75KHVN85G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19076#5OHI |
| *{Theorem 4.1 | D30GV440SX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#6ICR |
| *{Theorem 4.1 | WAKR1HG5NT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#MT7Q |
| *{Theorem 4.10 | N6FZCSFBEW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.02275#ZPFE |
| *{Theorem 4.18}, *{Corollary 6.6(2 | N9TARN2QM3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#L9DB |
| *{Theorem 4.20 | 8TCB826M4S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.23341#L4YA |
| *{Theorem 4.4}, *{Corollary 6.6(1)}, *{Theorem 5.8 | MKZC3Y3AH2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#IJX1 |
| *{Theorem 4.6 | TX0MDQVDXA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#OPVM |
| *{Theorem 5.15 | 5ZHHEA3YGR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#UAOO |
| *{Theorem 5.41 | 2QDYC7A44E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04876#Q8K8 |
| *{Theorem 5.5 | TTST66DC7Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#Q7XX |
| *{Theorem 7.1 | 9W854MPM8G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#UYP1 |
| *{Theorem 8.2 | KYFDBM1QDK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02669#6S7D |
| *{Theorem A | GGE672TDZW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20153#UMKY |
| *{Theorem C | M261ZMCX00 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20153#8VFZ |
| *{Thm. 2.2 | 9W5N7BNSET | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.21892#LSZN |
| *{Thm. 4.1 | F7NXD47C6F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.21914#WZRL |
| + | APS65X39G6 | definition | open | Wikipedia Glossary of set theory#QZ0R |
| + | AQPA9THBX9 | definition | open | Wikipedia Glossary of mathematical symbols#W1R2 |
| + construction | 65KHBTXC9E | unknown | open | Wikipedia Algebraic K-theory#VZ0J |
| + h.c. | 422693G0JH | definition | open | Wikipedia + h.c., Wikidata Q55600322 |
| ,000 000 000 000 000 000 000 000 001 | 1SHQVXE2NE | unknown | open | Wikipedia Orders of magnitude (numbers)#Z3AR |
| ,001 | GAHN32ZPTB | unknown | open | Wikipedia Orders of magnitude (numbers)#PMSL |
| ,1 | K7R49J9SN3 | unknown | open | Wikipedia Orders of magnitude (numbers)#M6EF |
| - (arithmetic) | AQV68H0VC4 | unknown | open | Wikipedia Plus and minus signs#HHMY |
| -999 | QY805Q59CQ | unknown | open | Wikipedia 900 (number)#MSQA |
| -adic conjecture | PHAK0RJPRQ | statement | open | Wikipedia Lindemann–Weierstrass theorem#YT87 |
| -adic Lindemann–Weierstrass Conjecture. | D2G4QZ8001 | statement | open | Wikipedia Lindemann–Weierstrass theorem#OS2P |
| -adic numbers | KZCEXCFPB3 | definition | open | Wikipedia List of types of numbers#8ZWA |
| -an | JCWSAXXSB2 | definition | open | Wikipedia Glossary of invariant theory#A20X |
| -ant | 3RZEMQVXHY | definition | open | Wikipedia Glossary of invariant theory#MSZC |
| -ary | YS7DYGY9RB | definition | open | Wikipedia Glossary of invariant theory#P68X |
| -flap | YEB29JQ1WG | definition | open | Wikipedia Glossary of graph theory#X2NY |
| -ic | 6MV51KWTB6 | definition | open | Wikipedia Glossary of invariant theory#VBDC |
| -yllion | HEA82EC38P | definition | open | Wikipedia -yllion, Wikidata Q4545033 |
| .000000001 | TBRBG2ZRPX | unknown | open | Wikipedia Orders of magnitude (numbers)#D95S |
| .exit | P0FQVQBKH4 | unknown | open | Wikipedia .onion#VXNE |
| .ipynb | B63QJDX783 | unknown | open | Wikipedia Project Jupyter#0TWG |
| .onion | 9KZTGNQ2RA | definition | open | Wikipedia .onion, Wikidata Q848715 |
| / | 18Q5Y7XWMY | definition | open | Wikipedia Glossary of mathematical symbols#V5H6 |
| / | R3CQAHT08K | definition | open | Wikipedia Glossary of set theory#DN94 |
| // what the fuck? | JNQC5YQHG2 | unknown | open | Wikipedia Fast inverse square root#02JQ |
| /dev/crypto | 8YFA8KZZPW | unknown | open | Wikipedia OpenBSD Cryptographic Framework#AB6T |
| /in | RE0SWQ4H9D | unknown | open | Wikipedia Element of a set#SULD |
| 0 | TFREB5F53S | definition | open | Wikipedia List of real analysis topics#XXBZ |
| 0! | DVF87CG2YB | unknown | open | Wikipedia Factorial#RMHH |
| 0# | 1JXBF8B77N | definition | open | Wikipedia List of statements independent of ZFC#X125 |
| 0# | 2Q4RJYFRQX | definition | open | Wikipedia Glossary of set theory#8S8C |
| 0,000 000 000 000 000 000 000 000 000 001 | 9HX4527WG7 | unknown | open | Wikipedia Orders of magnitude (numbers)#94JX |
| 0,000 000 000 000 000 000 000 001 | HDNXVCHTAM | unknown | open | Wikipedia Orders of magnitude (numbers)#1H75 |
| 0,000 000 000 000 000 000 001 | EBZQKVMYB4 | unknown | open | Wikipedia Orders of magnitude (numbers)#04GL |
| 0,000 000 000 000 000 001 | MYRB0FWMTC | unknown | open | Wikipedia Orders of magnitude (numbers)#SAFQ |
| 0,000 000 000 000 001 | GBNB7M4BQT | unknown | open | Wikipedia Orders of magnitude (numbers)#NVV0 |
| 0,000 000 000 001 | CZGT8S9WV0 | unknown | open | Wikipedia Orders of magnitude (numbers)#1AWM |
| 0,1-simple lattice | K50ZWQNAXN | concept | open | Wikidata Q4545495, MathWorld 01-SimpleLattice, Wikipedia 0,1-simple lattice |
| 0-1 Integer programming | QYD7EQCXVK | unknown | open | Wikipedia Linear programming#IDKZ |
| 0-1 Knapsack problem | YMM4AJ9Q0K | unknown | open | Wikipedia Knapsack problem#CU1X |
| 0-1 loss | R41XV4WBP0 | unknown | open | Wikipedia Loss function#0ZH1 |
| 0-ary function | 8JNV5Z9HXH | unknown | open | Wikipedia Arity#XGG9 |
| 0-Connected | MTWZVFYTXD | unknown | open | Wikipedia Connected space#7RQK |
| 0-coskeleton | NCH6T5AN5K | unknown | open | Wikipedia N-skeleton#TRI0 |
| 0-cube | MPMK2RSHVE | unknown | open | Wikipedia Hypercube#7ZE5 |
| 0-manifolds are discrete spaces | B7R38SM8ZP | unknown | open | mathlib_overview Geometry > Differentiable manifolds > 0-manifolds are discrete spaces, Mathlib ChartedSpace.discreteTopology |
| 0-RTT | 7BEPEYC2E5 | unknown | open | Wikipedia Transport Layer Security#C4X6 |
| 0-sphere | F98JR8REC7 | unknown | open | Wikipedia N-sphere#DGEY |
| 0.999... | DGBZ49ZJX4 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q713113, ProofWiki 0.999...=1, Wikipedia 0.999... |
| 0.999... | H4Z4GV98NN | definition | open | Wikipedia List of common misconceptions about science, technology, and mathematics#AVRX |
| 0.999... ≠ 1 | XRSFKFJD7N | unknown | open | Wikipedia 0.999...#375Z |
| 0/0 | Z61G6DVFPX | unknown | open | Wikipedia Indeterminate form#8XMW |
| 0/1-polytope | FTMZJX4CSQ | object | open | Wikipedia 0/1-polytope, Wikidata Q116980226 |
| 00-xx | 1K9HDZ30SP | unknown | open | Wikipedia Mathematics#GXQZ |
| 0F1 | JGD968H0HE | unknown | open | Wikipedia Generalized hypergeometric function#L5QH |
| 0† | V0Z38H27HR | definition | open | Wikipedia 0†, Wikidata Q8069582 |