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 3701–3800 of 6691.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| NMVGVZPM5S | NMVGVZPM5S | proof | open | hott_book homotopy.tex#proof-46 |
| NMW9T6Q3GH | NMW9T6Q3GH | statement | record (an 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.37897#7T5F |
| NMWJQ5C7KW | NMWJQ5C7KW | statement | record (an 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.01737#NXEL |
| NMWQPXW4G9 | NMWQPXW4G9 | statement | record (an 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.16114#IBJ0 |
| NMWXFRJD3X | NMWXFRJD3X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.03058#RP1X |
| NMX88F94CH | NMX88F94CH | statement | record (an 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.17691#1HF7 |
| NMXDXWGXY7 | NMXDXWGXY7 | exercise | open | lebl_ra ch-riemann.tex#exercise:easyabsint |
| NMXT2FZ8Q3 | NMXT2FZ8Q3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1509.00950#LJ77 |
| NMXWZT6X8R | NMXWZT6X8R | 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.13833#Q0MJ |
| NMXX0D53WP | NMXX0D53WP | statement | record (an 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.31274#FVPB |
| NMY548AS7M | NMY548AS7M | 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.25353#MAU2 |
| NMY5KG452Q | NMY5KG452Q | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-41 |
| NMYQETMG9C | NMYQETMG9C | statement | record (an 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#T979 |
| NMZ1XKZ3SY | NMZ1XKZ3SY | 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.35102#4D1X |
| NMZH91RN3J | NMZH91RN3J | statement | record (an 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.24041#C8BY |
| NMZYJ3S1FA | NMZYJ3S1FA | statement | record (an 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.02993#NFID |
| NN00S05J1F | NN00S05J1F | statement | record (an 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.21507#W1RE |
| NN05NGFWQQ | NN05NGFWQQ | statement | record (an 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.03612#DR3I |
| NN0TSPMXT2 | NN0TSPMXT2 | statement | open | lebl_scv scv.tex#cor:dolgodown |
| NN0TYZR6R2 | NN0TYZR6R2 | statement | record (an 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#0Z97 |
| NN1P100J84 | NN1P100J84 | statement | record (an 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.01390#091D |
| NN1QABBHNP | NN1QABBHNP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1002.0879#62O0 |
| NN2BH7XY0E | NN2BH7XY0E | unknown | open | arXiv 2609.38138#CJAB |
| NN31W8YNZ7 | NN31W8YNZ7 | 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.22288#88W3 |
| NN3K88BH40 | NN3K88BH40 | statement | record (an 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.29022#DU7S |
| NN3P7VH3S2 | NN3P7VH3S2 | statement | record (an 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.39254#THSE |
| NN49PW0RXK | NN49PW0RXK | statement | record (an 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.14783#CUHP |
| NN4NRMBXAQ | NN4NRMBXAQ | statement | record (an 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.21508#QBAG |
| NN54G1EKY4 | NN54G1EKY4 | statement | open | hott_book hlevels.tex#lem:connected-map-equiv-truncation |
| NN5HR8K8GW | NN5HR8K8GW | statement | record (an 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.14236#RU90 |
| NN5PT8VV2D | NN5PT8VV2D | statement | record (an 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.05892#0XIF |
| NN6AZQ67BB | NN6AZQ67BB | statement | record (an 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.22924#62EQ |
| NN6X5DVXK5 | NN6X5DVXK5 | statement | record (an 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.05179#9XF7 |
| NN70AENV26 | NN70AENV26 | statement | record (an 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.17269#INYK |
| NN7C5ND1GB | NN7C5ND1GB | statement | record (an 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.26984#6MVK |
| NN7G9CYHGN | NN7G9CYHGN | statement | record (an 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.25805#VVJS |
| NN7QFJF3XF | NN7QFJF3XF | statement | record (an 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#EXB1 |
| NN7TETTHW3 | NN7TETTHW3 | 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 2309.15424#BCLT |
| NN8WTB6TYH | NN8WTB6TYH | statement | record (an 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.22708#FTM6 |
| NNA8C63NWJ | NNA8C63NWJ | 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.38131#4J6Q |
| NNAJ5DEKTZ | NNAJ5DEKTZ | statement | record (an 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#NUOQ |
| NNATF1PTYF | NNATF1PTYF | statement | record (an 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.22218#WT7H |
| NNBTTQDTFJ | NNBTTQDTFJ | statement | record (an 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#TE4C |
| NNBYAW33MA | NNBYAW33MA | statement | record (an 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.08099#3VBC |
| NNBYXZHX58 | NNBYXZHX58 | statement | record (an 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.01087#MMNS |
| NNCC spaces | D1NHGKE849 | 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.20998#TJUE |
| NNCPGQ2C26 | NNCPGQ2C26 | statement | record (an 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#HN3Z |
| NNCSAABWNM | NNCSAABWNM | 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.27366#FUAO |
| NNCW8W5MBC | NNCW8W5MBC | proof | open | open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-3 |
| NNDBT7J1NE | NNDBT7J1NE | statement | record (an 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.28374#S5K1 |
| NNDM3PZY97 | NNDM3PZY97 | statement | record (an 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.31476#0ZGD |
| NNDZ9YWCBW | NNDZ9YWCBW | statement | record (an 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.34311#M2A1 |
| NNEA78V2EF | NNEA78V2EF | statement | record (an 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.27125#AGZZ |
| NNEJ3KFJK2 | NNEJ3KFJK2 | statement | record (an 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.09672#5N33 |
| NNEY20VWRY | NNEY20VWRY | exercise | open | napkin tex/complex-ana/meromorphic.tex#problem-3 |
| NNFAJ3N4NP | NNFAJ3N4NP | statement | record (an 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.35632#5WLP |
| NNFRDFMPKV | NNFRDFMPKV | statement | record (an 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.05672#JQYX |
| NNG8YSPRC4 | NNG8YSPRC4 | statement | record (an 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.29022#X6RY |
| NNGBD57JES | NNGBD57JES | statement | record (an 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.20401#L14P |
| NNGJ2JF05F | NNGJ2JF05F | 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.16431#PU6T |
| NNGPR4G1SZ | NNGPR4G1SZ | 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.32903#0N6W |
| NNH7K3SZJN | NNH7K3SZJN | statement | record (an 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.28985#6R19 |
| NNHDYZ1F8K | NNHDYZ1F8K | statement | record (an 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.21414#UOEE |
| NNJ6VPSC17 | NNJ6VPSC17 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.05118#V7MV |
| NNJN1Q4Z4Y | NNJN1Q4Z4Y | statement | record (an 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.13841#XJ4Q |
| NNJR4D7VPR | NNJR4D7VPR | statement | record (an 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.16580#ONGD |
| NNK07FBY24 | NNK07FBY24 | 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 2412.20238#JFRZ |
| NNKAQ677G4 | NNKAQ677G4 | statement | record (an 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.07631#GC6Q |
| NNKNVCNTT7 | NNKNVCNTT7 | statement | record (an 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.08193#4AS0 |
| NNM66K6E4G | NNM66K6E4G | statement | record (an 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.17698#3HSW |
| NNMAEHC9Z0 | NNMAEHC9Z0 | 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.40207#937U |
| NNMDHA53WQ | NNMDHA53WQ | statement | record (an 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#KEK0 |
| NNMEY9PQD5 | NNMEY9PQD5 | 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.27136#KRH9 |
| NNNBZTX7ZG | NNNBZTX7ZG | statement | record (an 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.21937#A0J9 |
| NNNPW93G23 | NNNPW93G23 | statement | record (an 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.06338#XMZG |
| NNNYK21820 | NNNYK21820 | statement | record (an 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.29531#BS3O |
| NNPB291BQZ | NNPB291BQZ | statement | record (an 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.07461#L158 |
| NNQ7KMKEA6 | NNQ7KMKEA6 | 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.34295#UJ97 |
| NNQGWSSVBB | NNQGWSSVBB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.16898#CZ0Y |
| NNQWJJMSJQ | NNQWJJMSJQ | statement | record (an 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.37967#BNBV |
| NNQXQPBEM2 | NNQXQPBEM2 | proof | open | hott_book equivalences.tex#proof-20 |
| NNRVD2NAJY | NNRVD2NAJY | statement | record (an 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.07718#D5J8 |
| NNS16NTV1S | NNS16NTV1S | statement | record (an 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.11902#Y3Y8 |
| NNS95WJ34E | NNS95WJ34E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.01916#TTXH |
| NNSTPBSC9A | NNSTPBSC9A | statement | record (an 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.00676#8L7G |
| NNSY9B7WJ3 | NNSY9B7WJ3 | statement | record (an 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#82SG |
| NNT10JHDNX | NNT10JHDNX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.30285#IXX6 |
| NNT2YQMMA4 | NNT2YQMMA4 | statement | record (an 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.36332#HP0V |
| NNT5GXHAEZ | NNT5GXHAEZ | definition | open | open_logic content/sets-functions-relations/relations/operations.tex#relationoperations |
| NNT9GXFAZX | NNT9GXFAZX | statement | record (an 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.21635#BV39 |
| NNTKNRC778 | NNTKNRC778 | statement | record (an 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.09809#OYM3 |
| NNTQEM8W6C | NNTQEM8W6C | statement | record (an 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.25345#UWIK |
| NNV1GCQPP9 | NNV1GCQPP9 | statement | record (an 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.05391#WNTY |
| NNV8WQFACH | NNV8WQFACH | 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.22074#TVSK |
| NNVACYMQH6 | NNVACYMQH6 | proof | open | open_logic content/second-order-logic/metatheory/compactness.tex#proof-1 |
| NNVTQDWM6T | NNVTQDWM6T | statement | record (an 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.04600#AES1 |
| NNVZF84F29 | NNVZF84F29 | statement | record (an 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.16059#ZNZR |
| NNWF2APHJ7 | NNWF2APHJ7 | 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 2212.06253#VSQE |
| NNWPK9RQMG | NNWPK9RQMG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv alg-geom/9506022#ORMD |
| NNWRSC4QYM | NNWRSC4QYM | statement | record (an 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.30664#5LSX |