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 701–800 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| N7PM8ZBYZB | N7PM8ZBYZB | example | open | lebl_diffyqs ch-first-order-ode.tex#exact:example:2xyandxy |
| N7QN49EC3B | N7QN49EC3B | statement | record (an 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.31783#2MQ2 |
| N7QP8ZDHBS | N7QP8ZDHBS | exercise | open | open_logic content/lambda-calculus/syntax/alpha.tex#prob-2 |
| N7QPX021AN | N7QPX021AN | statement | record (an 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#D7QD |
| N7QWR5VP8G | N7QWR5VP8G | statement | record (an 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.19296#DA90 |
| N7QY88D94Y | N7QY88D94Y | exercise | open | lebl_ra ch-approximate.tex#exercise:selfadjointSW |
| N7RC23KVYB | N7RC23KVYB | statement | record (an 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.20376#DPGV |
| N7SX68CXS2 | N7SX68CXS2 | statement | record (an 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.39814#ZB68 |
| N7TGHW427J | N7TGHW427J | statement | record (an 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.06581#AZ2T |
| N7TM9T2SE0 | N7TM9T2SE0 | exercise | open | napkin tex/linalg/dets.tex#problem-3 |
| N7TMEK1T6E | N7TMEK1T6E | statement | record (an 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.11869#R955 |
| N7TVE5Z7T2 | N7TVE5Z7T2 | statement | record (an 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.27420#IYIL |
| N7TXHG92T0 | N7TXHG92T0 | statement | record (an 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.33766#J9S8 |
| N7VWYBDCJ8 | N7VWYBDCJ8 | statement | record (an 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#WM80 |
| N7WWVGF2EP | N7WWVGF2EP | statement | record (an 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.21675#GCO1 |
| N7WYY5M93X | N7WYY5M93X | statement | record (an 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#ZBNH |
| N7X1WWBWWJ | N7X1WWBWWJ | proof | open | hott_book basics.tex#proof-23 |
| N7XAMN4GAZ | N7XAMN4GAZ | statement | record (an 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.08196#08NE |
| N7XK3DYTT1 | N7XK3DYTT1 | statement | record (an 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.36823#QSA5 |
| N7XKD11Y05 | N7XKD11Y05 | exercise | open | open_logic content/proof-theory/natural-deduction/quantifiers.tex#prob-1 |
| N7XS3NPC4Y | N7XS3NPC4Y | 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 2511.07697#BJIZ |
| N7XYQ9B0WE | N7XYQ9B0WE | statement | record (an 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.37815#TRFU |
| N7YQWV7V8D | N7YQWV7V8D | statement | record (an 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#M5LM |
| N7Z5QQQE5X | N7Z5QQQE5X | statement | record (an 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#A7XG |
| N7Z8AAYP6A | N7Z8AAYP6A | statement | record (an 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.14383#IXG8 |
| N7ZKFG8AKD | N7ZKFG8AKD | statement | record (an 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.19437#5816 |
| N800C65H1J | N800C65H1J | statement | record (an 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#DC7U |
| N809KR53ZS | N809KR53ZS | statement | record (an 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#9KUX |
| N809T8MNCH | N809T8MNCH | statement | record (an 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#IISO |
| N80TFZN06Z | N80TFZN06Z | statement | record (an 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.15169#2RR8 |
| N815GND9DK | N815GND9DK | statement | open | lebl_diffyqs ch-systems.tex#theorem-7 |
| N81G8CC36R | N81G8CC36R | statement | record (an 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#D1J6 |
| N82AHQ36R8 | N82AHQ36R8 | 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.19437#VK35 |
| N82TJFAEGR | N82TJFAEGR | exercise | open | levin_dmoi ptx/sec_counting-addmult.ptx#investigation-2 |
| N83KG3PEYR | N83KG3PEYR | statement | record (an 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.03222#AIDC |
| N841XQZ0EQ | N841XQZ0EQ | statement | record (an 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.36045#O8D2 |
| N849470A4V | N849470A4V | 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.17135#159P |
| N8594C0T9T | N8594C0T9T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0803.0074#JXIH |
| N863MBYZ54 | N863MBYZ54 | 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 2502.08738#BHBJ |
| N86S4YZJ9Z | N86S4YZJ9Z | 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.10078#CKY0 |
| N86WZPF0M9 | N86WZPF0M9 | statement | record (an 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.29510#B6UY |
| N87R1KHXGH | N87R1KHXGH | statement | record (an 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.14445#DV1Q |
| N88YCW4D4E | N88YCW4D4E | statement | record (an 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.19787#MTCB |
| N897NJP6TF | N897NJP6TF | statement | record (an 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.27042#XK07 |
| N89NRDT0WT | N89NRDT0WT | statement | record (an 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#WTYT |
| N8A02T0AAX | N8A02T0AAX | 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 2510.12502#R3I6 |
| N8AEYMC92N | N8AEYMC92N | statement | record (an 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.21724#4I5E |
| N8BDN6PF2S | N8BDN6PF2S | statement | record (an 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.14435#EOQM |
| N8BMZ206E0 | N8BMZ206E0 | statement | record (an 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.38068#FFHI |
| N8C7ZGGZC7 | N8C7ZGGZC7 | statement | record (an 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.25111#NVR6 |
| N8CC4H0K8D | N8CC4H0K8D | statement | record (an 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.35030#8BHD |
| N8CN3D045Z | N8CN3D045Z | statement | record (an 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.06645#QYUG |
| N8CXKS2YCY | N8CXKS2YCY | 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.01433#ONDN |
| N8DRGDHE1T | N8DRGDHE1T | statement | record (an 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.29107#SNS0 |
| N8EYV2K182 | N8EYV2K182 | statement | record (an 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#3UGK |
| N8F71K8ZF6 | N8F71K8ZF6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.15210#DV5K |
| N8FHRRDFZD | N8FHRRDFZD | 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.01915#GMKW |
| N8FNWCMDHW | N8FNWCMDHW | 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.40123#2PLK |
| N8FRS98QP7 | N8FRS98QP7 | statement | record (an 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.14762#HGZU |
| N8FXNPPGXS | N8FXNPPGXS | statement | record (an 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.13241#KA6H |
| N8G9HBRBNE | N8G9HBRBNE | statement | open | open_logic content/proof-theory/cut-elimination/ce-largest.tex#lem:max-cut-red-G3c |
| N8GHY785HZ | N8GHY785HZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.06555#1QDV |
| N8GSD8C089 | N8GSD8C089 | exercise | open | napkin tex/alg-NT/galois.tex#ques-4 |
| N8HCWDYYGW | N8HCWDYYGW | statement | record (an 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#NTUX |
| N8HERAXMJD | N8HERAXMJD | statement | record (an 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.03988#GEP2 |
| N8HJ452TM4 | N8HJ452TM4 | statement | record (an 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#ZCEW |
| N8JD8JD10Y | N8JD8JD10Y | statement | record (an 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.05990#VLGL |
| N8JJXPNA48 | N8JJXPNA48 | 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.00934#6H9Y |
| N8JPFRNQC2 | N8JPFRNQC2 | 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/9201244#F1RT |
| N8JVHDXPK5 | N8JVHDXPK5 | statement | record (an 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.16332#CPRA |
| N8JZZFJ8EJ | N8JZZFJ8EJ | statement | record (an 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#H5QM |
| N8KDPH1D44 | N8KDPH1D44 | 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.10469#OYYL |
| N8KG2AQ9JB | N8KG2AQ9JB | statement | record (an 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.08488#LAF4 |
| N8KPSWYBS6 | N8KPSWYBS6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2009.11127#56P6 |
| N8MF2STNYH | N8MF2STNYH | statement | record (an 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.17883#GKN3 |
| N8MTZEBKA0 | N8MTZEBKA0 | statement | record (an 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#G6AN |
| N8MXH476H9 | N8MXH476H9 | statement | record (an 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.26665#8AB3 |
| N8N2MMXKR4 | N8N2MMXKR4 | 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#UHHK |
| N8N54XQG1Q | N8N54XQG1Q | example | open | applied_combinatorics source/s_genfunction_exponential.ptx#example-2 |
| N8N5BQGQ4G | N8N5BQGQ4G | statement | record (an 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.33383#Y1GF |
| N8NZ6AWV5F | N8NZ6AWV5F | statement | record (an 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.08664#QYCO |
| N8P0QV9ENB | N8P0QV9ENB | 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.15831#2PVS |
| N8PW721Q3N | N8PW721Q3N | statement | record (an 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.28337#MG5L |
| N8QKY1JSGE | N8QKY1JSGE | statement | record (an 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#53G2 |
| N8QMKH60PS | N8QMKH60PS | statement | open | hott_book setmath.tex#lem:MonicSetPresent |
| N8RYJDBKNR | N8RYJDBKNR | 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.17400#3NWR |
| N8SB54QM0Y | N8SB54QM0Y | statement | record (an 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.03555#M380 |
| N8SVHHX345 | N8SVHHX345 | conjecture | record (an 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.26477#OL0T |
| N8SWFXKZMM | N8SWFXKZMM | 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 2204.01073#D3XG |
| N8TB13343R | N8TB13343R | statement | record (an 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.27908#68XT |
| N8TCBXX22R | N8TCBXX22R | statement | record (an 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.10406#HZT3 |
| N8TCNC5V80 | N8TCNC5V80 | 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#JJKS |
| N8TRZ2AHNF | N8TRZ2AHNF | statement | record (an 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#8GHP |
| N8WBCEVMPB | N8WBCEVMPB | statement | record (an 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.21097#00TG |
| N8WGSR4VYS | N8WGSR4VYS | statement | record (an 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.14086#WRR9 |
| N8WRQ5JM1D | N8WRQ5JM1D | statement | open | ernst_ibl MAAPressVersion/CountableSets.tex#theorem-7 |
| N8WYSZ49DS | N8WYSZ49DS | statement | record (an 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.10019#WG8B |
| N8XC3S7592 | N8XC3S7592 | definition | open | napkin tex/calculus/limits.tex#definition-3 |
| N8XE5HSN1Z | N8XE5HSN1Z | proof | open | applied_combinatorics source/s_recurrence_rigorous.ptx#proof-3 |
| N8Y08TYKCY | N8Y08TYKCY | exercise | open | active_calculus source/activities/act-5-2-1.xml#act-5-2-1 |