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 7301–7400 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3-transposition group | KEVZYT8814 | definition | open | Wikipedia 3-transposition group, Wikidata Q2207122 |
| 3-uniform tiling | 9YXP7ZYBJ5 | unknown | open | Wikipedia List of k-uniform tilings#8USD |
| 3-Way | NR09DNVG6J | definition | open | Wikipedia 3-Way, Wikidata Q223123 |
| 3. Folk Theorem (Loop-Minimal Transformation) | 62G5PFMNR1 | statement | open | Wikipedia Structured program theorem#NRTC |
| 30 | 9XN762YGKX | definition | open | Wikidata Q42817, MathWorld 30, Wikipedia 30 (number) |
| 30 60 90 | QVKBVSGR8B | unknown | open | Wikipedia Special right triangle#M320 |
| 30,000 | 369YF0WW3B | definition | open | Wikipedia 30,000, Wikidata Q3271948 |
| 30-60-90 triangle | 77288AK5FV | unknown | open | Wikidata Q105332790, MathWorld 30-60-90Triangle |
| 300 | Z0XP6B3Y2H | definition | open | Wikipedia 300 (number), Wikidata Q1384187 |
| 300,000 | M1C88J0G04 | unknown | open | Wikipedia 100,000#8MYF |
| 3000 | TWBMXHP606 | definition | open | Wikipedia 3000 (number), Wikidata Q917994 |
| 3001 (number) | RY36EA4RC7 | unknown | open | Wikipedia 3000 (number)#FBPW |
| 3009P1S09Y | 3009P1S09Y | 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.35467#P984 |
| 300JPDYCDB | 300JPDYCDB | 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.27484#GGAX |
| 301 (Number) | M5X5CHQ44E | unknown | open | Wikipedia 300 (number)#T2YR |
| 3012J5E2M5 | 3012J5E2M5 | statement | open | hott_book induction.tex#thm-1 |
| 3015VWREZ2 | 3015VWREZ2 | 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.33124#65J0 |
| 302 (Number) | DQ3FVNNPM4 | unknown | open | Wikipedia 300 (number)#YXD9 |
| 3020H0JRZQ | 3020H0JRZQ | 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.09171#OYYQ |
| 3025AX07S6 | 3025AX07S6 | 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.10790#64BS |
| 302641E6Z6 | 302641E6Z6 | 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.28880#D0FC |
| 302N9ZJ051 | 302N9ZJ051 | 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.32088#9UWE |
| 303 (number) | Y5Y9NPPXCN | unknown | open | Wikipedia 300 (number)#WFW0 |
| 3037P76ABD | 3037P76ABD | 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.20386#T9ER |
| 3037PE5D99 | 3037PE5D99 | 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.21934#VTCS |
| 303TWKMXRQ | 303TWKMXRQ | exercise | open | levin_dmoi ptx/sec_logic-proofs.ptx#investigation-1 |
| 304 (Number) | SSHZTTQAG9 | unknown | open | Wikipedia 300 (number)#J1L1 |
| 305 (Number) | WFXPZBSZQW | unknown | open | Wikipedia 300 (number)#N535 |
| 305RS7SQTZ | 305RS7SQTZ | example | 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.07673#W5GE |
| 306 (number) | RZ4FVQ107V | unknown | open | Wikipedia 300 (number)#NQ9E |
| 3066EVD3P7 | 3066EVD3P7 | 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.23040#VE18 |
| 306DKYAYAP | 306DKYAYAP | 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 2105.13129#BCN7 |
| 306NMEFYBG | 306NMEFYBG | definition | open | napkin tex/H113/ring-flavors.tex#definition-3 |
| 306PAVEP95 | 306PAVEP95 | 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.09042#ON3M |
| 306Y599N2J | 306Y599N2J | statement | open | napkin tex/topology/metric-prop.tex#proposition-1 |
| 306ZZ57T6Q | 306ZZ57T6Q | problem | 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.18346#UW33 |
| 307 (Number) | J7377X6527 | unknown | open | Wikipedia 300 (number)#PB1D |
| 3074N7T5E0 | 3074N7T5E0 | example | 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.14266#7KMW |
| 308 (number) | VV27Q0N8TC | unknown | open | Wikipedia 300 (number)#RUSW |
| 3084ZXG3WD | 3084ZXG3WD | 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 2607.27272#UC12 |
| 308GN7W5M1 | 308GN7W5M1 | 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.25823#LFIS |
| 309 (number) | C0HAN7P3R8 | unknown | open | Wikipedia 300 (number)#8E07 |
| 309TC08K4B | 309TC08K4B | 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.05232#NHIH |
| 309ZQNKRKZ | 309ZQNKRKZ | 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.33512#P5BI |
| 30BAMAHWCG | 30BAMAHWCG | 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.20516#TT6C |
| 30BCY64KD0 | 30BCY64KD0 | example | 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 2502.08738#KOMT |
| 30BHC7RGMA | 30BHC7RGMA | 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#XNYS |
| 30BMHY7ZMS | 30BMHY7ZMS | 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.18106#J795 |
| 30C9R595DJ | 30C9R595DJ | 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.20583#SDHV |
| 30CFKTNE5F | 30CFKTNE5F | 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.09809#BOXU |
| 30DF6YRV4K | 30DF6YRV4K | 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 2208.07401#Q5NW |
| 30EFJC9ACA | 30EFJC9ACA | proof | open | hott_book categories.tex#proof-25 |
| 30EMT8Q40T | 30EMT8Q40T | 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.20556#U54D |
| 30EQ8RN4EM | 30EQ8RN4EM | problem | 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.06338#LX08 |
| 30ET6CBGNV | 30ET6CBGNV | 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.28323#WYNV |
| 30FA2ABSES | 30FA2ABSES | 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.32829#RP11 |
| 30FGD98FVK | 30FGD98FVK | 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.00562#E65I |
| 30GTQEAEJV | 30GTQEAEJV | 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.25539#S7AU |
| 30J6A1EGQZ | 30J6A1EGQZ | definition | open | lebl_ra ch-multivar-int.tex#defn-3 |
| 30JDDNDRK0 | 30JDDNDRK0 | 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.02244#X5C0 |
| 30JGDDKB0C | 30JGDDKB0C | problem | 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.20153#I72I |
| 30K0EC3CFV | 30K0EC3CFV | 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.24739#MOE5 |
| 30K2NEQT71 | 30K2NEQT71 | 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 1907.01440#MACD |
| 30K6SCAE60 | 30K6SCAE60 | 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.36021#R5TC |
| 30KAD3QTCB | 30KAD3QTCB | 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.11145#OMIP |
| 30KH7PTD8C | 30KH7PTD8C | 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.03520#1W38 |
| 30M3MCXHN2 | 30M3MCXHN2 | 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.20516#Y67U |
| 30N2KH566S | 30N2KH566S | 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.10813#KLNA |
| 30N3SJG3X8 | 30N3SJG3X8 | 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 2204.01073#77KX |
| 30N5RDFZQ0 | 30N5RDFZQ0 | 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.26675#YK2D |
| 30NFPXY9FJ | 30NFPXY9FJ | 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 2310.14879#2MO5 |
| 30NG7Q1ND9 | 30NG7Q1ND9 | statement | open | open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#prop:explicit-inc |
| 30NRJCQ665 | 30NRJCQ665 | exercise | open | napkin tex/calculus/differentiate.tex#problem-1 |
| 30PQY8AP7S | 30PQY8AP7S | definition | open | austin_ula src/section7-1.xml#definition-1 |
| 30Q4Z3YA5M | 30Q4Z3YA5M | 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.24790#Z7Z0 |
| 30QD669VJT | 30QD669VJT | 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.01473#RRNL |
| 30QM9P961N | 30QM9P961N | 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.21895#SOCX |
| 30QQMTK513 | 30QQMTK513 | 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.01216#E6UP |
| 30QRCWBZFC | 30QRCWBZFC | 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.20899#P6NU |
| 30QRZPTPFN | 30QRZPTPFN | 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.26438#4ITD |
| 30QXZ562D2 | 30QXZ562D2 | 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.04993#6FLN |
| 30RCQHPXTY | 30RCQHPXTY | 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.21017#KJZY |
| 30RRTYJEN0 | 30RRTYJEN0 | 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.37562#44X6 |
| 30S3SQ0WF0 | 30S3SQ0WF0 | 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.03628#Y00R |
| 30S9E5KB0B | 30S9E5KB0B | 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.13585#J7H8 |
| 30SC5YF8VP | 30SC5YF8VP | 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.27823#YZDL |
| 30SCZQ8TD1 | 30SCZQ8TD1 | 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.20911#M14Q |
| 30T0T5VZA1 | 30T0T5VZA1 | 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.05193#16RQ |
| 30T1GKP17M | 30T1GKP17M | 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.15460#ZDXY |
| 30T7D0D87M | 30T7D0D87M | 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.14135#0077 |
| 30TDH9XK2T | 30TDH9XK2T | 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.18016#8M68 |
| 30TQN2TM6C | 30TQN2TM6C | statement | open | lebl_scv scv.tex#lemma:matrixint |
| 30VFTGMW7W | 30VFTGMW7W | 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.10591#Q6IF |
| 30VMMQEMD5 | 30VMMQEMD5 | 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.38323#EUJZ |
| 30VNQ1Y7T5 | 30VNQ1Y7T5 | 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.21365#GJOQ |
| 30W8SPKMVY | 30W8SPKMVY | statement | open | hott_book setmath.tex#card:exp |
| 30WH7Y7QF1 | 30WH7Y7QF1 | proof | open | napkin tex/topology/metric-top.tex#proof-1 |
| 30WNTEVXGM | 30WNTEVXGM | example | 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.33313#H20F |
| 30WTNQZR8Y | 30WTNQZR8Y | 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.33590#BFRI |
| 30XC3VSHRX | 30XC3VSHRX | 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.26581#8TVH |