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 2001–2100 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Nishimori identity for $3^{\text{rd}}$ and $4^{\text{th}}$ moments | 8WXCVWNNC2 | statement | record (an 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.30590#PDP6 |
| Nishimori law of a two-terminal graph | CZG26D1KQ9 | statement | record (an 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.37479#B3GB |
| Nishimori-line diagonal | Y4Z4EMXFMS | statement | record (an 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.37479#XEOX |
| Nishimori-line identities | ATVDBN62ZP | statement | record (an 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.37479#3HQU |
| Nisnevich topology | N1P27HR21H | unknown | open | Wikidata Q7040867, nLab Nisnevich site |
| 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 |
| 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's constant | 23VE32P05N | object | open | Wikidata Q1113025, MathWorld NivensConstant, OEIS A033150 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| NJZXPME0XF | NJZXPME0XF | statement | record (an 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.21258#5PBW |
| NK0F4QHX92 | NK0F4QHX92 | statement | record (an 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.12801#7ZY7 |
| NK0Y5CHDNK | NK0Y5CHDNK | statement | record (an 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#5L6I |
| NK0YDFQQ69 | NK0YDFQQ69 | example | open | lebl_ra ch-seq-funcs.tex#example-12 |
| NK1MBNY0F6 | NK1MBNY0F6 | example | open | austin_ula src/section2-5.xml#example-mt-to-matrix |
| NK2G53SKJP | NK2G53SKJP | proof | open | levin_dmoi ptx/exercises/seq-induction.ptx#proof-1 |
| NK2PSVKGE7 | NK2PSVKGE7 | statement | record (an 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.16606#ARGZ |
| NK30ZPXP4E | NK30ZPXP4E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1209.3562#CFBE |
| NK34X3FW7J | NK34X3FW7J | 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.31858#W3IE |
| NK3DQEQB2M | NK3DQEQB2M | 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.08382#FXV2 |
| NK3X85C89R | NK3X85C89R | statement | record (an 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#JA4P |
| NK44KAEASC | NK44KAEASC | statement | record (an 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.36509#0DN5 |
| NK47GVVB69 | NK47GVVB69 | statement | record (an 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.13180#W9DR |
| NK4T2S3T7N | NK4T2S3T7N | statement | record (an 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.04434#QJD8 |
| NK573733T6 | NK573733T6 | 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 2403.16388#BYRG |
| NK5C1216W7 | NK5C1216W7 | statement | record (an 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.33590#KUFW |