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 13501–13600 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 5003NE5FE5 | 5003NE5FE5 | 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.31373#N857 |
| 5009NN6Y7N | 5009NN6Y7N | 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.02901#FHAP |
| 500KZZTXMA | 500KZZTXMA | 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.26019#5P8X |
| 500QBEQAE6 | 500QBEQAE6 | definition | open | napkin tex/alg-NT/numfield.tex#definition-1 |
| 5014WQ8WP7 | 5014WQ8WP7 | 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.29918#DBM3 |
| 501BS5G9G6 | 501BS5G9G6 | exercise | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-9 |
| 501S3135M0 | 501S3135M0 | 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.10558#ERMX |
| 502 (number) | 4DZ5M7NKW0 | unknown | open | Wikipedia 500 (number)#YU28 |
| 5024BC1V1D | 5024BC1V1D | example | open | lebl_ra ch-real-nums.tex#example-2 |
| 5026428Z3D | 5026428Z3D | 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.12116#MHU6 |
| 502B4S3TF8 | 502B4S3TF8 | 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 2606.11100#27X3 |
| 502WE5FW4K | 502WE5FW4K | 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.23872#DQ9D |
| 502Z0C6T1Z | 502Z0C6T1Z | 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#N9FZ |
| 503 (number) | 9JN4TR3NTG | unknown | open | Wikipedia 500 (number)#Q0RX |
| 503MCN2BPK | 503MCN2BPK | 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.19273#2P8D |
| 503Z0MP733 | 503Z0MP733 | 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.03517#SH95 |
| 503ZWSCJFQ | 503ZWSCJFQ | exercise | open | levin_dmoi ptx/exercises/counting-binom.ptx#exercise-5 |
| 504 (number) | SQJM33Z2R2 | unknown | open | Wikipedia 500 (number)#44DE |
| 504E71CZ0T | 504E71CZ0T | 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.08091#JZFO |
| 504EKV6MNK | 504EKV6MNK | 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 2504.13328#HI8C |
| 504MY0TYRS | 504MY0TYRS | 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.22076#BDHS |
| 504P2DQA46 | 504P2DQA46 | 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.26269#9UOP |
| 504WKXMX7T | 504WKXMX7T | 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.05327#SU2B |
| 505 (number) | SWTWJHRYHR | unknown | open | Wikipedia 500 (number)#4OBX |
| 5051AHCKGT | 5051AHCKGT | exercise | open | lebl_ra ch-metric.tex#exercise-42 |
| 50561596VG | 50561596VG | 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.24614#3A96 |
| 505VETP343 | 505VETP343 | 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.31274#IS0F |
| 506 (number) | DDNTBDYS1S | unknown | open | Wikipedia 500 (number)#TP34 |
| 507 (number) | KCGY3863YM | unknown | open | Wikipedia 500 (number)#SC0P |
| 507DMQXYKV | 507DMQXYKV | 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 2112.14455#AJPM |
| 507E4VEKG7 | 507E4VEKG7 | exercise | open | napkin tex/linalg/eigenvalues.tex#problem-4 |
| 507VZVJ6XD | 507VZVJ6XD | 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 1612.08394#6IQE |
| 508 (number) | TTQ6PWD9WQ | unknown | open | Wikipedia 500 (number)#OZZK |
| 5083FEQ3SJ | 5083FEQ3SJ | 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.03559#WJFH |
| 50842MZR83 | 50842MZR83 | unknown | open | arXiv 2609.35404#8ULQ |
| 508C4GQRJP | 508C4GQRJP | 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.13100#K6BI |
| 508RX2DGWE | 508RX2DGWE | 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.18847#70DD |
| 509 (number) | PCF7H9AW8P | unknown | open | Wikipedia 500 (number)#KWPK |
| 5093AFN8ZC | 5093AFN8ZC | 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.27495#0QBU |
| 5096GCSN33 | 5096GCSN33 | 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.26276#HS5R |
| 509JFPVYAN | 509JFPVYAN | 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 2205.13464#ECA4 |
| 509RHEMHC9 | 509RHEMHC9 | 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.14803#JPM0 |
| 509RQN0G2M | 509RQN0G2M | 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.29399#AIVJ |
| 509T95FRW4 | 509T95FRW4 | 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.22218#04FO |
| 50AMVXM809 | 50AMVXM809 | 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 2304.07398#L17K |
| 50APY9DZ29 | 50APY9DZ29 | proof | open | hott_book reals.tex#proof-32 |
| 50B5GJ7DP0 | 50B5GJ7DP0 | 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.06764#92F8 |
| 50BZGPDS87 | 50BZGPDS87 | 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.36827#BO0U |
| 50CEPEPQYM | 50CEPEPQYM | 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.25801#56G2 |
| 50CEZTS1Z4 | 50CEZTS1Z4 | 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.31523#4TR8 |
| 50CQ86XT8C | 50CQ86XT8C | 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.07092#YYP5 |
| 50CXVB113P | 50CXVB113P | 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.14060#IPQG |
| 50EMGE546X | 50EMGE546X | 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.39675#GQWR |
| 50EVYFRP8W | 50EVYFRP8W | 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.16233#MP16 |
| 50FZC603ND | 50FZC603ND | 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.02218#RE3I |
| 50FZXARMRY | 50FZXARMRY | 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.04314#6R4F |
| 50GB6YN02H | 50GB6YN02H | 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.07828#6P17 |
| 50HFKRFM1H | 50HFKRFM1H | 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.34856#80SA |
| 50HMZA7XSR | 50HMZA7XSR | 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.00323#X3KI |
| 50HZCA9BMC | 50HZCA9BMC | 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.21475#MYT1 |
| 50JCKJJCZW | 50JCKJJCZW | statement | open | hott_book formal.tex#thm:conversion-preserves-typing |
| 50JJFDGX2J | 50JJFDGX2J | 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 1002.0879#N30P |
| 50KJZY2CRZ | 50KJZY2CRZ | 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.05820#Z31T |
| 50KTQ8RCY4 | 50KTQ8RCY4 | 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.06338#B89Y |
| 50KZMTDM9D | 50KZMTDM9D | 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.33733#62PS |
| 50M6DQ0SZY | 50M6DQ0SZY | 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.24206#L64L |
| 50M7BN9801 | 50M7BN9801 | 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 math/0003117#KMSN |
| 50MTT5NKQC | 50MTT5NKQC | 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.23522#LZJX |
| 50N1M9AMFJ | 50N1M9AMFJ | 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.14555#CTT2 |
| 50NB1NXDY4 | 50NB1NXDY4 | 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.16785#0NVV |
| 50NXTM7QZ1 | 50NXTM7QZ1 | problem | open | Wikipedia Proof complexity#T1XE |
| 50NXXJ7SC2 | 50NXXJ7SC2 | 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.21501#NM5A |
| 50PC9TG9EB | 50PC9TG9EB | 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.20165#8189 |
| 50PJCCGQYY | 50PJCCGQYY | 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.36884#JDTX |
| 50PZMKXRD1 | 50PZMKXRD1 | 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 2606.22882#7G1M |
| 50QBTFX6GP | 50QBTFX6GP | 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 2601.15403#8TXM |
| 50QVZNSXYB | 50QVZNSXYB | 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.34675#ZM8R |
| 50RJAH9T9G | 50RJAH9T9G | 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.36181#BXZS |
| 50SAT7VG3G | 50SAT7VG3G | 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 2211.16099#U8DG |
| 50SBRXZ3TK | 50SBRXZ3TK | 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 2303.09207#ZCMS |
| 50SH54WKV1 | 50SH54WKV1 | 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.24553#0GHW |
| 50SJ0V4JPF | 50SJ0V4JPF | definition | open | napkin tex/homology/cohomology.tex#definition-2 |
| 50TQK877F8 | 50TQK877F8 | 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 2210.04075#OLEF |
| 50TSRJB344 | 50TSRJB344 | 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.31910#9IJZ |
| 50TZ6JEPZK | 50TZ6JEPZK | statement | open | hott_book basics.tex#thm:prod-umpd |
| 50V2TKTBGM | 50V2TKTBGM | 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.21043#XK37 |
| 50VCHR8YJ5 | 50VCHR8YJ5 | exercise | open | lebl_ra ch-real-nums.tex#exercise-40 |
| 50VVRP7154 | 50VVRP7154 | 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.21295#8DIV |
| 50W0V9FNH7 | 50W0V9FNH7 | 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 2412.14956#D7J3 |
| 50WHHTVQJW | 50WHHTVQJW | 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.31389#EOZI |
| 50WQXNY881 | 50WQXNY881 | statement | open | open_logic content/intuitionistic-logic/semantics/semantic-notions.tex#prop-1 |
| 50XCZ89CFC | 50XCZ89CFC | exercise | open | levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-13 |
| 50XRZQJGPB | 50XRZQJGPB | exercise | open | hott_book induction.tex#ex:inductive-lawvere |
| 50YRA720PN | 50YRA720PN | proof | open | open_logic content/set-theory/choice/countablechoice.tex#proof-2 |
| 50YTPP0ZJR | 50YTPP0ZJR | 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.27200#OPQ5 |
| 50Z0FS0BT0 | 50Z0FS0BT0 | 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.23803#DXGJ |
| 50Z9X2ABFM | 50Z9X2ABFM | 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 2306.12846#BIY9 |
| 50ZA1SC1HP | 50ZA1SC1HP | 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 2203.10220#DL23 |
| 50ZBPMR4NB | 50ZBPMR4NB | 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.07608#9DUV |
| 50ZM69G9X9 | 50ZM69G9X9 | statement | open | open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#prop:fseq-trm-equiv |