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 3401–3500 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| NV0JP9BV8H | NV0JP9BV8H | exercise | open | napkin tex/H113/ring-flavors.tex#problem-4 |
| NV126EPPPC | NV126EPPPC | statement | record (an 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#4LIJ |
| NV1MFXGFT4 | NV1MFXGFT4 | statement | record (an 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.16022#GHG5 |
| NV1RTM46SP | NV1RTM46SP | statement | record (an 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.01498#R25C |
| NV23X9G8J1 | NV23X9G8J1 | unknown | open | arXiv 2609.33529#L7JF |
| NV29N4CYCG | NV29N4CYCG | statement | record (an 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.35153#DN3A |
| NV2HG1V8VD | NV2HG1V8VD | statement | record (an 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.26382#7U5P |
| NV30DRJXNN | NV30DRJXNN | statement | record (an 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.05354#V5V3 |
| NV405CBBFX | NV405CBBFX | statement | record (an 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.38188#LP68 |
| NV43GG2W9C | NV43GG2W9C | statement | record (an 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.01057#H1ON |
| NV4TEKFZBP | NV4TEKFZBP | statement | record (an 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.14600#0F69 |
| NV59932M2P | NV59932M2P | statement | record (an 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.30519#XPU6 |
| NV5BGFJYXQ | NV5BGFJYXQ | statement | open | napkin tex/calculus/taylor.tex#proposition-1 |
| NV5M4A46V5 | NV5M4A46V5 | 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 2507.20176#J0WA |
| NV5RF962D9 | NV5RF962D9 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-46 |
| NV5V86206F | NV5V86206F | statement | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#lem:comp |
| NV5VN7HA78 | NV5VN7HA78 | statement | record (an 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.12983#N0RS |
| NV5WGZ21TT | NV5WGZ21TT | 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 1009.2043#0Y71 |
| NV64RH2EDW | NV64RH2EDW | 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.10377#L9LP |
| NV829PY6QE | NV829PY6QE | exercise | open | hott_book categories.tex#ct:pre2cat |
| NV8MKS9K1F | NV8MKS9K1F | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-80 |
| NV95GF5N76 | NV95GF5N76 | statement | record (an 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.19088#WXFG |
| NVA6FJVH9P | NVA6FJVH9P | statement | record (an 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.36877#6YJJ |
| NVAKEBHKB0 | NVAKEBHKB0 | exercise | open | hott_book basics.tex#ex:fourth-concat |
| NVAND99E54 | NVAND99E54 | statement | record (an 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#9K8B |
| NVAQKCJW99 | NVAQKCJW99 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.08176#A3WZ |
| NVAR2BJNH2 | NVAR2BJNH2 | statement | record (an 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.07852#NOMA |
| NVBFRVXYQ1 | NVBFRVXYQ1 | statement | record (an 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.29838#OE1P |
| NVBGDMYNER | NVBGDMYNER | statement | record (an 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.25761#9O5X |
| NVBGTVNY4K | NVBGTVNY4K | statement | record (an 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.31276#OUNW |
| NVBHW6ZJTE | NVBHW6ZJTE | statement | record (an 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.28076#UE7N |
| NVBJDA34MV | NVBJDA34MV | statement | record (an 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.39700#5D35 |
| NVBRTMTHZY | NVBRTMTHZY | statement | record (an 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.12165#0XVO |
| NVBVYA5QBB | NVBVYA5QBB | statement | record (an 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.01888#7996 |
| NVC4B616QB | NVC4B616QB | 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.07963#VOL5 |
| NVC5VEQM77 | NVC5VEQM77 | unknown | open | arXiv math/0512416#XPYV |
| NVCKVT84PX | NVCKVT84PX | statement | record (an 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.13556#A4G3 |
| NVCSBPEZCA | NVCSBPEZCA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.09049#CHRF |
| NVDBVPT9FC | NVDBVPT9FC | unknown | open | arXiv 2610.13680#3SUH |
| NVDC66MK14 | NVDC66MK14 | statement | record (an 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.11097#T9HP |
| NVDKV8FM6G | NVDKV8FM6G | 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.14735#M9ZK |
| NVDTXT7WQR | NVDTXT7WQR | statement | record (an 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.27617#H3T0 |
| NVE1Q3YSR4 | NVE1Q3YSR4 | 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 0903.1569#KLK7 |
| NVF09X8F2A | NVF09X8F2A | example | open | open_logic content/proof-theory/natural-deduction/rules-proofs.tex#ex-1 |
| NVF2JSE9S4 | NVF2JSE9S4 | statement | record (an 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.06206#J9XK |
| NVFTZR48X0 | NVFTZR48X0 | example | open | applied_combinatorics source/s_genfunction_intro.ptx#example-1 |
| NVGWEH2FE1 | NVGWEH2FE1 | statement | record (an 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.26521#G1DO |
| NVH0BXZT51 | NVH0BXZT51 | statement | record (an 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.12740#IPND |
| NVH7R4BXH5 | NVH7R4BXH5 | proof | open | ernst_ibl MAAPressVersion/MoreQuantification.tex#proof-3 |
| NVHTWZXWDM | NVHTWZXWDM | statement | record (an 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.06312#4MQC |
| NVJ43FP253 | NVJ43FP253 | 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.19854#Y9CU |
| NVJ8VGGJXR | NVJ8VGGJXR | 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.13213#A1VG |
| NVJA959A6C | NVJA959A6C | statement | record (an 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#1BUQ |
| NVJRS408E2 | NVJRS408E2 | statement | record (an 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#5YQJ |
| NVJTK1AJHA | NVJTK1AJHA | statement | record (an 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.31216#8YC2 |
| NVJWAQ7R24 | NVJWAQ7R24 | statement | record (an 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.09567#4RO7 |
| NVK6X8SSNK | NVK6X8SSNK | statement | open | open_logic content/second-order-logic/sol-and-set-theory/comparing-sets.tex#prop-6 |
| NVKJDNN9HV | NVKJDNN9HV | 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.25289#L65A |
| NVKSY29XWK | NVKSY29XWK | statement | record (an 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#YTP3 |
| NVM6P287QP | NVM6P287QP | exercise | open | austin_ula src/exercises/exercises4-4.xml#exercise-8 |
| NVPW6A8VZH | NVPW6A8VZH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.14455#ZT2Z |
| NVPZXECABD | NVPZXECABD | statement | open | napkin tex/set-theory/CH.tex#lemma-3 |
| NVQD12H1ET | NVQD12H1ET | 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 1001.0174#FOYA |
| NVQPST4P9R | NVQPST4P9R | statement | record (an 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.10325#QJ4L |
| NVQQYXT5Z1 | NVQQYXT5Z1 | proof | open | hott_book hlevels.tex#proof-50 |
| NVQWBG11H3 | NVQWBG11H3 | statement | record (an 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#JAFL |
| NVRJM080QF | NVRJM080QF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1001.3646#UVX7 |
| NVRTNV6QY9 | NVRTNV6QY9 | 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.33856#DLAW |
| NVS0V1PZ6Q | NVS0V1PZ6Q | statement | record (an 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.38243#6KJE |
| NVS1PENT06 | NVS1PENT06 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#ACL0 |
| NVS27PEZCE | NVS27PEZCE | 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.03856#7ICI |
| NVSZ7CPX8M | NVSZ7CPX8M | exercise | open | lebl_ra ch-contfunc.tex#exercise-18 |
| NVSZ8Q7DEA | NVSZ8Q7DEA | unknown | open | arXiv 1408.1555#EPJQ |
| NVT0QMPV3M | NVT0QMPV3M | statement | record (an 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.18436#QEYE |
| NVTQ70FM38 | NVTQ70FM38 | statement | record (an 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.13347#WMAS |
| NVTQJXXW4D | NVTQJXXW4D | statement | record (an 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.29170#5JXL |
| NVTSR0KZ4D | NVTSR0KZ4D | statement | record (an 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.11793#36IB |
| NVTT3B98SD | NVTT3B98SD | statement | record (an 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.32652#WW0J |
| NVTVTQR6RP | NVTVTQR6RP | 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 2308.02672#4CRR |
| NVVXXQNH4G | NVVXXQNH4G | statement | record (an 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.19861#C40F |
| NVWCG5CQ4R | NVWCG5CQ4R | 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.07122#FZCO |
| NVWJBJ5DBT | NVWJBJ5DBT | 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 1503.05744#YN75 |
| NVWNVZT9ZS | NVWNVZT9ZS | statement | record (an 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.03081#5I43 |
| NVWZ86DM0Y | NVWZ86DM0Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.19866#8CJV |
| NVWZCNPRM7 | NVWZCNPRM7 | statement | record (an 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#I5EA |
| NVX9Q5TRQ6 | NVX9Q5TRQ6 | 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.19023#92SZ |
| NVXK540K51 | NVXK540K51 | statement | open | lebl_ra ch-real-nums.tex#thm-1 |
| NVXKM8T65P | NVXKM8T65P | 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.34676#90Z0 |
| NVXSWFWPZG | NVXSWFWPZG | statement | record (an 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.09422#AYXK |
| NVY51YY5CY | NVY51YY5CY | statement | record (an 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.12047#B9VL |
| NVYHJBF969 | NVYHJBF969 | statement | record (an 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.34675#X6V8 |
| NVYZYNETHK | NVYZYNETHK | 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 2408.13548#0WCC |
| NVZ02D8KK0 | NVZ02D8KK0 | exercise | open | napkin tex/linalg/dets.tex#ques-1 |
| NVZNX7BJNH | NVZNX7BJNH | statement | record (an 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.14160#MRYX |
| NW061EJ18D | NW061EJ18D | 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.09544#Z4YR |
| NW08WNTKX0 | NW08WNTKX0 | statement | record (an 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.13884#RRNG |
| NW08YM4QW8 | NW08YM4QW8 | statement | record (an 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.28141#1BO0 |
| NW0V408SHA | NW0V408SHA | 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 2206.11471#OTD4 |
| NW18D6NENB | NW18D6NENB | statement | record (an 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.24320#Q7F2 |
| NW19735DNV | NW19735DNV | statement | record (an 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.09506#RXHG |