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 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 3401–3500 of 6691.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| nit-picking | 2Y9CBZ6ZQH | unknown | open | Wikipedia List of fallacies#W3OR |
| Nita Ing | SKSY5TN1C1 | unknown | open | Wikipedia List of University of California, Los Angeles people#3Q1G |
| Nitin Saxena | G00F39K5HJ | topic | open | Wikipedia Nitin Saxena, Wikidata Q3634379 |
| nitrogen | 5HVJSCRNHM | definition | open | Wikidata Q627, ProofWiki Definition:Nitrogen |
| nitrogen-14 | W2NHTQQMPD | definition | open | Wikidata Q1138479, ProofWiki Definition:Nitrogen/14 |
| nitrogen-15 | 6WVTTK1BP5 | definition | open | Wikidata Q3271953, ProofWiki Definition:Nitrogen/15 |
| Nitsa Movshovitz-Hadar | 2WKF6ZGGN3 | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EX59 |
| Nivat's conjecture | DVR1GVGHGA | conjecture | open | Wikipedia Nivat's conjecture |
| Niven (or Harshad) numbers A005349 divided by the sum of their digits. | W31NJ16J33 | object | open | Wikidata Q100193901, OEIS A113315 |
| Niven (or Harshad) numbers that are not divisible by 3. | PV1C83KYBW | object | open | Wikidata Q100194320, OEIS A085370 |
| Niven (or Harshad) numbers: numbers that are divisible by the sum of their digits. | VWPCJXRHYK | object | open | Wikidata Q100193283, OEIS A005349 |
| Niven numbers | 3VA2QH5A77 | definition | open | Wikipedia List of recreational number theory topics#4RWN |
| Niven's constant | 23VE32P05N | object | open | Wikidata Q1113025, MathWorld NivensConstant, OEIS A033150, Wikipedia Niven's constant |
| Niven's constant | KDRPC142Y5 | object | open | Wikipedia List of number theory topics#BH2G |
| Niven's theorem | WECCKWBD47 | statement | open | Wikipedia List of theorems#92OY |
| Niven's theorem | YWYQH1QB0N | statement | open | mathlib_1000 Q4116459, Mathlib niven, Wikidata Q4116459, thousand_plus Q4116459, Wikipedia Niven's theorem, MathWorld NivensTheorem |
| Niven--Jacobson--Baer | H3VAXSZBT6 | statement | record (an 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.04317#GXOD |
| Nivenmorphic number | E0RPWZWE2T | unknown | open | Wikipedia Harshad number#3ZVA |
| Nivio Ziviani | 2M8ZQQZBDF | unknown | open | Wikipedia List of people by Erdős number#HO80 |
| Nixon diamond | QD8VAWSTQD | definition | open | Wikipedia Nixon diamond, Wikidata Q1658911 |
| Niyogi, Partha | FJ2DPG11W6 | unknown | open | Wikipedia List of statisticians#Z4RL |
| Nizam al-Din al-Nisaburi | VAFE2R0P1Z | topic | open | Wikipedia Nizam al-Din al-Nisaburi, Wikidata Q4116610 |
| Nizam al-Din Nishapuri | G5QP001KD6 | topic | open | Wikipedia List of Iranian mathematicians#81VW |
| Nizar Touzi | 2A7YV8CFKS | topic | open | Wikipedia Nizar Touzi, Wikidata Q19297331 |
| Nizar Touzi | JE4MTZFJXJ | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZM8H |
| NJ08T0HNK7 | NJ08T0HNK7 | statement | record (an 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.28669#4E3K |
| NJ0KYJR77V | NJ0KYJR77V | statement | record (an 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.12357#490P |
| NJ17Y21WNJ | NJ17Y21WNJ | statement | record (an 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.28323#HP9A |
| NJ1DEV65CM | NJ1DEV65CM | statement | record (an 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.01899#QR1J |
| NJ1G956TMB | NJ1G956TMB | statement | record (an 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.20119#706Z |
| NJ1KRCJMYV | NJ1KRCJMYV | 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 2211.13105#PDNR |
| NJ1RFRM94S | NJ1RFRM94S | statement | record (an 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.24701#GSMX |
| NJ210084QV | NJ210084QV | statement | record (an 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.15367#RQYK |
| NJ2BN2F5NS | NJ2BN2F5NS | exercise | open | napkin tex/H113/ring-flavors.tex#ques-3 |
| NJ49PMWMMV | NJ49PMWMMV | statement | record (an 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.28365#0UMY |
| NJ4FF8VR87 | NJ4FF8VR87 | statement | record (an 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.28669#OMOV |
| NJ5YHS03T7 | NJ5YHS03T7 | statement | record (an 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#V6H9 |
| NJ66ZR6ASH | NJ66ZR6ASH | statement | record (an 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#EH93 |
| NJ70KMKASP | NJ70KMKASP | statement | record (an 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.23884#K84U |
| NJ76XEC3YE | NJ76XEC3YE | statement | record (an 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#DSA2 |
| NJ7BB8VB50 | NJ7BB8VB50 | statement | record (an 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.19309#Q5RC |
| NJ7BRMPE42 | NJ7BRMPE42 | statement | open | hott_book hlevels.tex#prop:nconnected_tested_by_lv_n_dependent types |
| NJ7BZD6561 | NJ7BZD6561 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.14389#2UV9 |
| NJ7P6G4RQM | NJ7P6G4RQM | exercise | open | napkin tex/cats/abelian.tex#ques-1 |
| NJ7Q3YHY97 | NJ7Q3YHY97 | statement | record (an 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#HMTX |
| NJ8BB88CBR | NJ8BB88CBR | statement | record (an 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#HXNQ |
| NJ8CGZV8VH | NJ8CGZV8VH | statement | record (an 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.34845#D75G |
| NJ8HV1Z39P | NJ8HV1Z39P | statement | record (an 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.05965#JDRN |
| NJ8Q8GBBGT | NJ8Q8GBBGT | statement | record (an 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.34295#X2AH |
| NJ8R9W8SVD | NJ8R9W8SVD | statement | record (an 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.21367#CA3T |
| NJ94W4M6D7 | NJ94W4M6D7 | statement | record (an 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.01267#UEHA |
| NJ9JCN91HW | NJ9JCN91HW | statement | record (an 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.16267#061N |
| NJ9Z1FZVH4 | NJ9Z1FZVH4 | 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.06541#VXH2 |
| NJ9ZFH138E | NJ9ZFH138E | statement | record (an 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.28189#UWI1 |
| NJB7C6T9BM | NJB7C6T9BM | statement | record (an 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.35323#O4PT |
| NJC38N18HP | NJC38N18HP | statement | record (an 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.20675#4D5P |
| NJC5DYZ8VG | NJC5DYZ8VG | statement | record (an 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.03323#GWA5 |
| NJCQMZQN8R | NJCQMZQN8R | statement | record (an 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.36423#QZE3 |
| NJF012BEB7 | NJF012BEB7 | statement | record (an 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.27270#K6NS |
| NJF50Q8EN0 | NJF50Q8EN0 | statement | record (an 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.17720#HM8P |
| NJF9XXDMNB | NJF9XXDMNB | statement | record (an 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.10525#0U4Y |
| NJFCMXAE57 | NJFCMXAE57 | statement | record (an 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.23975#QJK5 |
| NJFHWZFWX7 | NJFHWZFWX7 | statement | record (an 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#K9WA |
| NJG41VX7Z0 | NJG41VX7Z0 | statement | record (an 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.15385#67PT |
| NJG6WG38AH | NJG6WG38AH | statement | record (an 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.28848#9YQP |
| NJG8ZRE8RE | NJG8ZRE8RE | statement | record (an 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.02686#A4CO |
| NJGHJW29KW | NJGHJW29KW | statement | record (an 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.28195#X6CH |
| NJGQ3K6NZJ | NJGQ3K6NZJ | statement | record (an 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.39615#N6LF |
| NJH1GNMTZ7 | NJH1GNMTZ7 | statement | record (an 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.21963#ASDV |
| NJHACKN64J | NJHACKN64J | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-58 |
| NJHQ2D3D3Z | NJHQ2D3D3Z | statement | record (an 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.04305#44I6 |
| NJJ7GW4X85 | NJJ7GW4X85 | 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 2304.03611#RP3S |
| NJJESN4D91 | NJJESN4D91 | statement | record (an 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.15698#OPOS |
| NJJYQQYZ7G | NJJYQQYZ7G | statement | record (an 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.03337#HWE6 |
| NJK7F5G5BP | NJK7F5G5BP | 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#81DH |
| NJKTG8QKV0 | NJKTG8QKV0 | statement | record (an 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.12640#FI2H |
| NJM1WDYVPE | NJM1WDYVPE | statement | record (an 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#AY3J |
| NJM9XR8TR3 | NJM9XR8TR3 | statement | record (an 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.09201#6FA7 |
| NJMB6CFPPP | NJMB6CFPPP | statement | open | open_logic content/normal-modal-logic/syntax-and-semantics/tautological-instances.tex#lem:valid-taut |
| NJMCPM32SJ | NJMCPM32SJ | statement | record (an 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.15167#XQP6 |
| NJMTXSE20E | NJMTXSE20E | 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.05611#JNIZ |
| NJNBNV5QNV | NJNBNV5QNV | statement | record (an 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.22268#G12X |
| NJNC0R6D4K | NJNC0R6D4K | statement | record (an 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.10581#S0HI |
| NJNHS6GAE7 | NJNHS6GAE7 | statement | record (an 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.02379#RLH9 |
| NJNKE1TJPM | NJNKE1TJPM | statement | record (an 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.14154#2MH7 |
| NJNTXR8875 | NJNTXR8875 | unknown | open | arXiv 2610.10973#9MES |
| NJP2JE6G21 | NJP2JE6G21 | example | open | napkin tex/alg-NT/frobenius.tex#example-1 |
| NJP7CQ1V8K | NJP7CQ1V8K | 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.21533#PH08 |
| NJPF3V7FNY | NJPF3V7FNY | statement | record (an 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.26455#6YU1 |
| NJPM75M37N | NJPM75M37N | 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 2304.07398#AHOI |
| NJQ7SM81GM | NJQ7SM81GM | 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#E3J9 |
| NJR1EQ32B0 | NJR1EQ32B0 | 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 2503.00560#M1MH |
| NJRA31DGEV | NJRA31DGEV | statement | record (an 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.03305#K0ZG |
| NJRZ0E036P | NJRZ0E036P | statement | record (an 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.27771#JF1R |
| NJSSSSQYZZ | NJSSSSQYZZ | statement | record (an 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.21337#T2TJ |
| NJV5KF523Z | NJV5KF523Z | statement | record (an 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.28597#RDND |
| NJVBHZ5P3S | NJVBHZ5P3S | exercise | open | lebl_ra ch-contfunc.tex#exercise-56 |
| NJVEZRW6AM | NJVEZRW6AM | statement | record (an 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.03050#IU6X |
| NJX73DFEZ3 | NJX73DFEZ3 | statement | record (an 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.05628#T9WH |
| NJYMTCAE8Z | NJYMTCAE8Z | 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.36321#XJ9S |