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 16301–16400 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 5X1WH32ZSZ | 5X1WH32ZSZ | 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.21540#5O30 |
| 5X1YYGDWR5 | 5X1YYGDWR5 | 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 2308.02672#FK4M |
| 5X241T0CG8 | 5X241T0CG8 | 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.02395#LNK2 |
| 5X26SFNAWZ | 5X26SFNAWZ | 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.09506#SL3C |
| 5X2ADMM670 | 5X2ADMM670 | 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.31276#M5F7 |
| 5X2KD08K21 | 5X2KD08K21 | 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#IRW9 |
| 5X2T9PF90C | 5X2T9PF90C | 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.08280#LF7L |
| 5X2V8W32VF | 5X2V8W32VF | 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.20042#K5YJ |
| 5X2XMH5RS9 | 5X2XMH5RS9 | 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.21914#6TRX |
| 5X3AH4KYKP | 5X3AH4KYKP | 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.21703#BLDG |
| 5X3Z6DNZR0 | 5X3Z6DNZR0 | exercise | open | napkin tex/measure/measure-space.tex#exercise-1 |
| 5X425VE3TP | 5X425VE3TP | 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.16241#DDZ3 |
| 5X48G71F1E | 5X48G71F1E | 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 2604.05177#WB6K |
| 5X4B81VW10 | 5X4B81VW10 | statement | open | hott_book homotopy.tex#thm:pi3s2 |
| 5X6C250WGV | 5X6C250WGV | 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 2101.07846#TNVU |
| 5X6HQEVFB3 | 5X6HQEVFB3 | 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#LK7R |
| 5X6KJDMS22 | 5X6KJDMS22 | 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 1009.2043#3BQ2 |
| 5X781DQF1M | 5X781DQF1M | 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#TE65 |
| 5X7BPHRH2W | 5X7BPHRH2W | 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.08935#D22G |
| 5X82SW9HJG | 5X82SW9HJG | 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.18847#DCCN |
| 5X8JSZME54 | 5X8JSZME54 | 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.04809#S4PZ |
| 5X8TRZF3SB | 5X8TRZF3SB | 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 1509.00950#JCGR |
| 5X92E7FXNW | 5X92E7FXNW | 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.28808#K83W |
| 5XAXD4TXB2 | 5XAXD4TXB2 | 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 2608.23797#7JJX |
| 5XAXTTR6MS | 5XAXTTR6MS | exercise | open | levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-9 |
| 5XBASVM3JT | 5XBASVM3JT | 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.08697#8F8Y |
| 5XBH0HBCHW | 5XBH0HBCHW | 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.26984#2YJ0 |
| 5XBS9NHCJF | 5XBS9NHCJF | example | open | austin_ula src/section7-2.xml#example-3 |
| 5XBSVJ0NTQ | 5XBSVJ0NTQ | 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.05365#6IHT |
| 5XC1W69Z1E | 5XC1W69Z1E | 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.37520#H6BO |
| 5XCMDY7J1K | 5XCMDY7J1K | 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.30200#M25G |
| 5XCMGEBN3D | 5XCMGEBN3D | 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#TWOV |
| 5XCVBEFRFE | 5XCVBEFRFE | 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.40200#EKCM |
| 5XD54WK9EA | 5XD54WK9EA | 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.32903#37D8 |
| 5XDBX4NGGS | 5XDBX4NGGS | 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.13746#OGWM |
| 5XDENA4SX0 | 5XDENA4SX0 | exercise | open | lebl_diffyqs ch-nonlin-systems.tex#exercise-3 |
| 5XDJHJG5GH | 5XDJHJG5GH | 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.13213#P5I5 |
| 5XDNEVETA9 | 5XDNEVETA9 | 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 math/0406514#8KLK |
| 5XE2H6JSJF | 5XE2H6JSJF | exercise | open | napkin tex/H113/ring-intro.tex#problem-6 |
| 5XEGHQQ6KQ | 5XEGHQQ6KQ | 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.08210#4GZ2 |
| 5XEZYVZC8B | 5XEZYVZC8B | example | open | ernst_ibl MAAPressVersion/IntroCardinality.tex#example-1 |
| 5XF1DCQRGC | 5XF1DCQRGC | 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.10773#JCDB |
| 5XFFZAQ1P6 | 5XFFZAQ1P6 | 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.03081#F9G4 |
| 5XFNX7P7JB | 5XFNX7P7JB | 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.27800#N333 |
| 5XFQQE8ESP | 5XFQQE8ESP | 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.27617#VGF0 |
| 5XG7Y4E0ZN | 5XG7Y4E0ZN | exercise | open | open_logic content/sets-functions-relations/functions/inverses.tex#prob-1 |
| 5XGP73NN9Z | 5XGP73NN9Z | 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 1903.07030#DD29 |
| 5XH1H3QCER | 5XH1H3QCER | 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.40191#QMS0 |
| 5XH720YXQ2 | 5XH720YXQ2 | 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 2111.01197#C66N |
| 5XHDDXQBXX | 5XHDDXQBXX | 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.12908#X541 |
| 5XHESF1N71 | 5XHESF1N71 | 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.08288#HI76 |
| 5XHNXYWS78 | 5XHNXYWS78 | 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.21191#5VNI |
| 5XJ88T6H3Z | 5XJ88T6H3Z | 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.39218#NE0A |
| 5XJAKRV03E | 5XJAKRV03E | 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.11700#K4YB |
| 5XJWWZDK0K | 5XJWWZDK0K | 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.15525#6MMB |
| 5XK9NDHACC | 5XK9NDHACC | 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.34675#NNNR |
| 5XKFQGWDW5 | 5XKFQGWDW5 | 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.30750#R74Q |
| 5XMQGA3TZF | 5XMQGA3TZF | 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.33584#BQA4 |
| 5XNYCYJ80D | 5XNYCYJ80D | 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.39218#GTXD |
| 5XP1E5KXSK | 5XP1E5KXSK | statement | open | open_logic content/intuitionistic-logic/soundness-completeness/decidability.tex#thm:decidability |
| 5XP7M8358S | 5XP7M8358S | 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.00103#4XM2 |
| 5XPJASWRA8 | 5XPJASWRA8 | 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 2508.21045#9KFM |
| 5XQNXNK19B | 5XQNXNK19B | 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.33469#GH0F |
| 5XRP078F7Y | 5XRP078F7Y | 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.36334#WLNZ |
| 5XRYFWBDM4 | 5XRYFWBDM4 | 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.20758#TN0M |
| 5XS2QWMYCT | 5XS2QWMYCT | statement | open | open_logic content/computability/recursive-functions/pr-functions.tex#prop:mult-pr |
| 5XSHZ08DNE | 5XSHZ08DNE | 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 2504.18390#AIZQ |
| 5XTN27D8G1 | 5XTN27D8G1 | 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.40290#MB3N |
| 5XTRKSSPKW | 5XTRKSSPKW | 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.25094#E2YS |
| 5XV142XMK1 | 5XV142XMK1 | 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.29574#7NHX |
| 5XV9V4XN70 | 5XV9V4XN70 | 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.21914#4HC6 |
| 5XVC53VA24 | 5XVC53VA24 | 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.10330#OQ5R |
| 5XW54XH6QY | 5XW54XH6QY | 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.10221#AK6M |
| 5XWNBGTKFZ | 5XWNBGTKFZ | 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.05314#6L6J |
| 5XWNQZT5WA | 5XWNQZT5WA | 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.20391#37B9 |
| 5XWVDT4NN9 | 5XWVDT4NN9 | 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.10505#WL0Y |
| 5XXPB4V285 | 5XXPB4V285 | 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.10930#TFRP |
| 5XY2CP92T3 | 5XY2CP92T3 | 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.01346#JX9K |
| 5XY93MMWA0 | 5XY93MMWA0 | 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 1009.2047#YVVX |
| 5XYAZX1G7P | 5XYAZX1G7P | 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.24545#OKSH |
| 5XYCEKH7NC | 5XYCEKH7NC | 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.16731#QIDG |
| 5XYKSJ6W1T | 5XYKSJ6W1T | 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.22082#K3T9 |
| 5XYPK3S76P | 5XYPK3S76P | 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 2604.05177#QUFQ |
| 5XYWFEF71D | 5XYWFEF71D | proof | open | hott_book hits.tex#proof-26 |
| 5XZ02J94GD | 5XZ02J94GD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q151746, nLab François Englert |
| 5XZ0ZGSF25 | 5XZ0ZGSF25 | 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.06707#IGA8 |
| 5XZ43Y4KPA | 5XZ43Y4KPA | exercise | open | open_logic content/second-order-logic/syntax-and-semantics/inf-count.tex#prob-1 |
| 5XZ9D3CPAJ | 5XZ9D3CPAJ | 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.20368#9USX |
| 5XZN3SDVKA | 5XZN3SDVKA | 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.20606#RZEK |
| 5Y13C5RH68 | 5Y13C5RH68 | 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 2310.14879#AYDB |
| 5Y1FSFWX39 | 5Y1FSFWX39 | 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.31811#RYYF |
| 5Y2029MMCJ | 5Y2029MMCJ | 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.18847#G057 |
| 5Y2Q5AY3ZA | 5Y2Q5AY3ZA | 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.13518#J1E3 |
| 5Y2QMD3KTS | 5Y2QMD3KTS | 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.05391#J4RZ |
| 5Y2RGAX6SX | 5Y2RGAX6SX | 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 2401.00191#XCE7 |
| 5Y3BFZD1Q0 | 5Y3BFZD1Q0 | exercise | open | lebl_ra ch-multivar-int.tex#exercise-31 |
| 5Y3WDTRBWD | 5Y3WDTRBWD | 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.21860#9L2M |
| 5Y4935BP2C | 5Y4935BP2C | 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.11481#U8MS |
| 5Y4GXXHQDM | 5Y4GXXHQDM | 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 2205.09049#X65H |
| 5Y4QX386WC | 5Y4QX386WC | 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.28411#B355 |