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 3701–3800 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| NY2PSBBTRY | NY2PSBBTRY | statement | record (an 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.07927#L5M9 |
| NY2QZ6GD9Q | NY2QZ6GD9Q | statement | record (an 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#TJPG |
| NY3256V1J2 | NY3256V1J2 | statement | record (an 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.26376#IMAV |
| NY32J0VWFS | NY32J0VWFS | statement | record (an 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.07122#MGT7 |
| NY3F5WR37T | NY3F5WR37T | 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 2207.12181#PKJW |
| NY3PXRKGHE | NY3PXRKGHE | 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.27641#WYOT |
| NY3TKNFWHY | NY3TKNFWHY | statement | record (an 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.28824#IL0V |
| NY4CD4AT3H | NY4CD4AT3H | statement | record (an 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.25703#WM2I |
| NY4E72Q9XY | NY4E72Q9XY | statement | record (an 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.08018#MOWM |
| NY4SG1AE2E | NY4SG1AE2E | statement | record (an 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.20135#GQ3V |
| NY5702D1RR | NY5702D1RR | statement | record (an 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.12576#CCOS |
| NY5BQDBGX5 | NY5BQDBGX5 | 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.26479#LCVV |
| NY5V59PMB8 | NY5V59PMB8 | statement | record (an 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.30544#VTHD |
| NY69N4ASCE | NY69N4ASCE | statement | record (an 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.14204#ZJ05 |
| NY6V8TRQD4 | NY6V8TRQD4 | statement | record (an 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.01354#XBG9 |
| NY7VCDAF8P | NY7VCDAF8P | statement | record (an 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.19449#JKOC |
| NY87QHSHGV | NY87QHSHGV | statement | open | open_logic content/set-theory/ordinals/basic.tex#ordordered |
| NY90YXA0R6 | NY90YXA0R6 | statement | record (an 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.31445#SW55 |
| NY9EPAEZNT | NY9EPAEZNT | 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.11395#KES8 |
| NY9JZ5BPBD | NY9JZ5BPBD | statement | record (an 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.00589#PJQG |
| NY9N8JR4HP | NY9N8JR4HP | statement | record (an 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#3AS5 |
| NYA3GXW57P | NYA3GXW57P | statement | record (an 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.10230#21YK |
| NYA8E8CAES | NYA8E8CAES | statement | record (an 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.00409#HG2H |
| NYAB329K19 | NYAB329K19 | statement | record (an 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.22040#LPW2 |
| NYAPD1MC9B | NYAPD1MC9B | exercise | open | lebl_ra ch-approximate.tex#exercise:trigpolydense |
| NYASQQKYTA | NYASQQKYTA | statement | record (an 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.17677#PRR5 |
| NYB058AKTK | NYB058AKTK | statement | record (an 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.32078#ACZR |
| NYCE8AJZ83 | NYCE8AJZ83 | statement | open | lebl_ra ch-approximate.tex#cor:fourierpiecewisesmooth |
| NYCWREZ9YZ | NYCWREZ9YZ | statement | record (an 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.15847#8MEP |
| NYD5KS5QB1 | NYD5KS5QB1 | exercise | open | lebl_ra ch-riemann.tex#exercise-9 |
| NYDG3JR2E6 | NYDG3JR2E6 | statement | record (an 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.19791#BIVL |
| NYDPN6558Q | NYDPN6558Q | 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#4J6Y |
| NYENP3KE1Z | NYENP3KE1Z | statement | record (an 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.25880#3ENO |
| NYER79K2G2 | NYER79K2G2 | statement | record (an 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#B9I0 |
| NYEVBTDG6T | NYEVBTDG6T | statement | record (an 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.33185#2L1G |
| NYEXMHCK6D | NYEXMHCK6D | statement | record (an 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.13745#GUXB |
| NYFEBTDS24 | NYFEBTDS24 | statement | record (an 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.06321#3IXH |
| NYFV0RWX48 | NYFV0RWX48 | statement | record (an 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.30015#Y3LB |
| NYFY9D9T56 | NYFY9D9T56 | 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#YZDI |
| NYG5SMXCMT | NYG5SMXCMT | statement | record (an 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.35597#W60V |
| Nygaard modification | 8PMY6MVZD3 | 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.39293#VIC2 |
| NYGZZTZ66D | NYGZZTZ66D | statement | record (an 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.33241#B1C5 |
| NYH64NHAX9 | NYH64NHAX9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.20385#T4C6 |
| NYH8716ZHF | NYH8716ZHF | statement | record (an 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.21954#9GR1 |
| NYHDAYGQMM | NYHDAYGQMM | example | open | open_logic content/sets-functions-relations/relations/trees.tex#ex-2 |
| NYHKBPWS8K | NYHKBPWS8K | 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.25801#PI4F |
| NYHPWB2680 | NYHPWB2680 | statement | record (an 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.07812#0ML8 |
| NYJ4ERQ7E8 | NYJ4ERQ7E8 | statement | record (an 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.00375#FKYB |
| NYJEATWY7H | NYJEATWY7H | statement | record (an 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.26600#5913 |
| NYJY6E9BW4 | NYJY6E9BW4 | statement | record (an 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#ZE4U |
| NYJZ6A5RPE | NYJZ6A5RPE | 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.30086#3GNC |
| NYK8HQ6N61 | NYK8HQ6N61 | statement | record (an 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.19729#WEET |
| NYKCYJ77Z1 | NYKCYJ77Z1 | statement | record (an 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.01000#522K |
| NYKD8WK0ZH | NYKD8WK0ZH | statement | record (an 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.07573#UWT7 |
| NYKDDQVBK9 | NYKDDQVBK9 | statement | open | hott_book reals.tex#lem:close-reflexive |
| NYKRBC07SW | NYKRBC07SW | statement | record (an 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.06699#XB9Z |
| NYKVE0QSEN | NYKVE0QSEN | statement | record (an 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#D41N |
| NYM7M9M325 | NYM7M9M325 | statement | record (an 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.16779#7L6E |
| NYMEBP7YBJ | NYMEBP7YBJ | statement | record (an 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.17139#COGX |
| NYN65YSNKF | NYN65YSNKF | statement | record (an 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#UESH |
| NYN9RMKHZ7 | NYN9RMKHZ7 | exercise | open | ernst_ibl MAAPressVersion/MoreQuantification.tex#problem-2 |
| NYNANXQ95R | NYNANXQ95R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1802.02910#OXO2 |
| NYNG70W2GJ | NYNG70W2GJ | statement | record (an 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#SZRJ |
| NYNK64HSM4 | NYNK64HSM4 | statement | record (an 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#2ROI |
| NYNVGKMJD8 | NYNVGKMJD8 | statement | record (an 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.11395#TLQF |
| NYP9G8DPTK | NYP9G8DPTK | statement | record (an 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.39104#MQAZ |
| NYPT5W51KR | NYPT5W51KR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1010.3284#ZK0C |
| NYQ79S5Z9V | NYQ79S5Z9V | 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.00247#09NJ |
| NYQAVBGYD3 | NYQAVBGYD3 | statement | record (an 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.32937#OUUY |
| Nyquist frequency | TAB1RKQ5GH | unknown | open | Wikidata Q1501757, MathWorld NyquistFrequency |
| Nyquist–Shannon sampling theorem | BJWHRZN7ZD | statement | open | mathlib_1000 Q679800, Wikidata Q679800, thousand_plus Q679800, Wikipedia Nyquist–Shannon sampling theorem, EoM Shannon_sampling_theorem, MathWorld SamplingTheorem |
| NYQVXTTHXQ | NYQVXTTHXQ | statement | record (an 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.14380#OT28 |
| NYR3TD2TH0 | NYR3TD2TH0 | example | open | napkin tex/linalg/transpose.tex#example-2 |
| NYRMX2EAJA | NYRMX2EAJA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.05923#92XD |
| NYRYHGP1AK | NYRYHGP1AK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0804.3628#5U1X |
| NYSJXPBPMC | NYSJXPBPMC | statement | record (an 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#F2QD |
| NYTE38FTZF | NYTE38FTZF | statement | record (an 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.26058#JVGI |
| NYV63ZGK01 | NYV63ZGK01 | definition | open | napkin tex/homology/singular.tex#definition-7 |
| NYVBAD8BC1 | NYVBAD8BC1 | 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 2105.03252#GWFD |
| NYVF5C4XA2 | NYVF5C4XA2 | statement | record (an 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.04325#VYRL |
| NYVPHB2X5H | NYVPHB2X5H | statement | record (an 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.31243#L01I |
| NYWBC51ME4 | NYWBC51ME4 | statement | record (an 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.07114#33RH |
| NYWC83XJ4A | NYWC83XJ4A | statement | record (an 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.04124#OOW9 |
| NYWHXRMYHG | NYWHXRMYHG | 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#1UZW |
| NYWNT7SEJ7 | NYWNT7SEJ7 | statement | record (an 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.05066#QUF4 |
| NYWPPVZVDC | NYWPPVZVDC | statement | record (an 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.24451#XYUN |
| NYWQ72B59A | NYWQ72B59A | 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 2608.24190#MD20 |
| NYWXS4T9XH | NYWXS4T9XH | statement | record (an 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.16657#9UW6 |
| NYX4QY40JY | NYX4QY40JY | statement | open | open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#prop:provability-exhaustive |
| NYXASWS436 | NYXASWS436 | statement | record (an 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.29227#GVZ2 |
| NYY1612QFK | NYY1612QFK | statement | record (an 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.31269#7N3Z |
| NYY2KH4FZA | NYY2KH4FZA | 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 2601.22681#JEPW |
| NYY6C7Z3VW | NYY6C7Z3VW | definition | open | ernst_ibl MAAPressVersion/IntroQuantification.tex#definition-1 |
| NYYNGMCA8Y | NYYNGMCA8Y | statement | record (an 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.27151#0Y09 |
| NYYY1F47MK | NYYY1F47MK | statement | record (an 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.09019#J3B8 |
| NYZW79TWHH | NYZW79TWHH | statement | record (an 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.27834#0WFO |
| NZ0A79JF6N | NZ0A79JF6N | statement | record (an 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.01803#EIFE |
| NZ0HHRJWNY | NZ0HHRJWNY | statement | record (an 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.29489#UBPR |
| NZ0JKM532R | NZ0JKM532R | statement | record (an 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#MQVK |
| NZ0SEY7K7M | NZ0SEY7K7M | statement | record (an 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#MXQN |