Inventory: N
The rows of the inventory whose names start with N. 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 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 2901–3000 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| NPAHVFB5FV | NPAHVFB5FV | 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.10206#5Z4A |
| NPAX29RZEN | NPAX29RZEN | proof | open | open_logic content/incompleteness/arithmetization-syntax/coding-terms.tex#proof-1 |
| NPB5GPQR06 | NPB5GPQR06 | 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.03298#H7D2 |
| NPBBPAHB5F | NPBBPAHB5F | 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.38375#KRA8 |
| NPBZ15HF1F | NPBZ15HF1F | 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.15444#AZZL |
| NPCT5F8RVN | NPCT5F8RVN | 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.26386#WCTP |
| NPD9ZT582D | NPD9ZT582D | 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 2404.08319#MAJS |
| NPDSR2DX2Y | NPDSR2DX2Y | 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 2409.20170#FXS4 |
| NPDYWZP6PF | NPDYWZP6PF | 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.24578#9S89 |
| NPE2S9GRK5 | NPE2S9GRK5 | 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#45Z4 |
| NPE7D2QJHW | NPE7D2QJHW | 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 1004.4564#RVQJ |
| NPEDCQN04M | NPEDCQN04M | 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.09129#EGV8 |
| NPEW8GDSZN | NPEW8GDSZN | 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.00364#WYNV |
| NPFAH5E3N5 | NPFAH5E3N5 | 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.00292#KLP3 |
| NPFP6BKMR8 | NPFP6BKMR8 | 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.39992#OPHD |
| NPG1H3XKED | NPG1H3XKED | 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.01411#E9B0 |
| NPGN4C4A8K | NPGN4C4A8K | 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.09599#1NFZ |
| NPGTNJYN0N | NPGTNJYN0N | exercise | open | open_logic content/set-theory/ord-arithmetic/exponentiation.tex#prob-1 |
| NPHPNEV8XK | NPHPNEV8XK | 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 2601.15403#CCZ2 |
| NPHVP7E7SQ | NPHVP7E7SQ | 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 2206.11809#AM6F |
| NPJ1XPPM31 | NPJ1XPPM31 | 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#MSCO |
| NPJDD0TG38 | NPJDD0TG38 | 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.27775#8LSM |
| NPJMMBP89B | NPJMMBP89B | definition | open | napkin tex/cats/abelian.tex#definition-2 |
| NPJYKX3HG0 | NPJYKX3HG0 | 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.17476#9OPZ |
| NPK4DMGH0M | NPK4DMGH0M | 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.12330#JT12 |
| NPKG7CR93E | NPKG7CR93E | 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.28993#LU0B |
| NPKRHYXK73 | NPKRHYXK73 | 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.36389#PECR |
| NPMCJKFTYX | NPMCJKFTYX | 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.03719#MFPS |
| NPMMGGCQ9G | NPMMGGCQ9G | 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 0902.4887#DUY3 |
| NPMX7XB7HE | NPMX7XB7HE | 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.34923#MLFZ |
| NPN606JQ0C | NPN606JQ0C | statement | open | hott_book induction.tex#thm-6 |
| NPNB19TCHT | NPNB19TCHT | 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.11210#TOWB |
| NPNH0CS5Y2 | NPNH0CS5Y2 | 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.00516#GT97 |
| NPNMANKXN8 | NPNMANKXN8 | 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.16178#8TOF |
| NPNY0C36HV | NPNY0C36HV | 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 2409.01237#T8UY |
| NPNZC3YMBK | NPNZC3YMBK | 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.12513#0TT2 |
| NPPRR1N2B5 | NPPRR1N2B5 | 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.10860#46BH |
| NPPTTEK3FD | NPPTTEK3FD | 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.20956#OP7V |
| NPQ927612B | NPQ927612B | exercise | open | austin_ula src/exercises/exercises2-6.xml#exercise-4 |
| NPQ9DCJBQ2 | NPQ9DCJBQ2 | 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.05706#UT6H |
| NPQMWBJ23B | NPQMWBJ23B | 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.16605#7W94 |
| NPQX21NSWH | NPQX21NSWH | 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.36668#1DNE |
| NPR8GECWF5 | NPR8GECWF5 | 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#S45T |
| NPRK1S5GDC | NPRK1S5GDC | 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 2503.16884#P034 |
| NPRZK86KMR | NPRZK86KMR | 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.21388#1NE3 |
| NPS2BT2ZQ8 | NPS2BT2ZQ8 | 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.27941#UHAM |
| NPSDJ3NS75 | NPSDJ3NS75 | 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.21960#J5NX |
| NPSTY2QNWP | NPSTY2QNWP | exercise | open | lebl_ra ch-riemann.tex#exercise-13 |
| NPSWA00VTC | NPSWA00VTC | 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 2506.07061#Y0YW |
| NPSYV5HC4V | NPSYV5HC4V | 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.16203#XSVG |
| NPTDF6QM5C | NPTDF6QM5C | 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.17258#5YSZ |
| NPTJVW115R | NPTJVW115R | 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.18246#Y05R |
| NPTNZE47R8 | NPTNZE47R8 | 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 1011.5443#XAQT |
| NPTRGYTYQH | NPTRGYTYQH | 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.33856#4NQV |
| NPTXCYT5HT | NPTXCYT5HT | 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.25269#WVHG |
| NPV97GE1CC | NPV97GE1CC | 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.08837#7S8L |
| NPVQ13BP8G | NPVQ13BP8G | 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.28075#4PPP |
| NPWGW6C3S9 | NPWGW6C3S9 | 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.40271#IHGA |
| NPWMKGGHH6 | NPWMKGGHH6 | 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.03629#LDGA |
| NPWMTZZFEM | NPWMTZZFEM | 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.21921#XKEV |
| NPWQBHH5TB | NPWQBHH5TB | 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 2312.05005#A8L2 |
| NPXBB1EFNC | NPXBB1EFNC | 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#4RQG |
| NPYBRK9MDK | NPYBRK9MDK | 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.19300#FEZ0 |
| NPYC0APJ61 | NPYC0APJ61 | 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.16431#BK7D |
| NPYQJ88Q2K | NPYQJ88Q2K | 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#JCQ8 |
| NPZ5ZP9D6V | NPZ5ZP9D6V | 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.32916#ZFP0 |
| NPZ6W9SFET | NPZ6W9SFET | 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.20909#86F4 |
| NPZJ2HSD7B | NPZJ2HSD7B | 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.12479#8173 |
| NPZTPNZ6AB | NPZTPNZ6AB | 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.18620#KIYM |
| NQ1J338XVX | NQ1J338XVX | 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.08123#P3RF |
| NQ1Z584S42 | NQ1Z584S42 | example | open | lebl_ra ch-metric.tex#example-10 |
| NQ21F88B6C | NQ21F88B6C | 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.18302#L42Q |
| NQ23FZFRVD | NQ23FZFRVD | 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.03661#YJ76 |
| NQ2KRTCT42 | NQ2KRTCT42 | 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#59EN |
| NQ2KZNSX2Z | NQ2KZNSX2Z | 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 2106.09062#GXN7 |
| NQ2M0F7T9X | NQ2M0F7T9X | 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.24795#Y3PR |
| NQ2R00BX63 | NQ2R00BX63 | 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 1008.4254#TZAA |
| NQ2W11BSJ7 | NQ2W11BSJ7 | 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 2603.07541#DLUZ |
| NQ35ZYK9BG | NQ35ZYK9BG | 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.14562#MB8C |
| NQ474K3S1K | NQ474K3S1K | 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.32233#1ADL |
| NQ4EAEC47W | NQ4EAEC47W | 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.19854#IDB3 |
| NQ4FYWY5DJ | NQ4FYWY5DJ | unknown | open | arXiv 1509.00950#ZJUY |
| NQ533SG7BM | NQ533SG7BM | 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#9O8D |
| NQ56PV6K4Z | NQ56PV6K4Z | 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.04046#54SY |
| NQ5HB3441W | NQ5HB3441W | 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.37846#4C4T |
| NQ5HWSJNPA | NQ5HWSJNPA | 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.08123#WIZN |
| NQ5TE6TW15 | NQ5TE6TW15 | 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.26386#R9RL |
| NQ6FQJ87TP | NQ6FQJ87TP | 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.07299#JWH2 |
| NQ6HWD5C21 | NQ6HWD5C21 | 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.21092#OB1O |
| NQ6PRPZY96 | NQ6PRPZY96 | exercise | open | napkin tex/H113/ring-flavors.tex#exercise-3 |
| NQ7JE60AN7 | NQ7JE60AN7 | 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.15344#B51I |
| NQ7JQ5YNT3 | NQ7JQ5YNT3 | 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.26307#Y75J |
| NQ8BVC4J7R | NQ8BVC4J7R | 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.28552#Z133 |
| NQ8XHBH8PB | NQ8XHBH8PB | 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.09084#13A0 |
| NQ9W7DAADX | NQ9W7DAADX | 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 1504.03271#FVJQ |
| NQ9X2ES3PT | NQ9X2ES3PT | 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.02042#4EW3 |
| NQA3AWH00M | NQA3AWH00M | 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.03756#HWXM |
| NQA5TSAHYN | NQA5TSAHYN | 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.10413#0CQ0 |
| NQAF4DY5JZ | NQAF4DY5JZ | 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 2512.19872#JBK0 |
| NQAJWFYTGR | NQAJWFYTGR | 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.25973#B6RW |