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 3801–3888 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| NZ27K5APMC | NZ27K5APMC | 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.08935#ATR2 |
| NZ2HS6Y8Y6 | NZ2HS6Y8Y6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.00752#BSPP |
| NZ39F82F62 | NZ39F82F62 | statement | record (an 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.20299#TKE5 |
| NZ3WGPRKPC | NZ3WGPRKPC | example | open | lebl_diffyqs ch-nonlin-systems.tex#example-4 |
| NZ42VF2WVF | NZ42VF2WVF | statement | record (an 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.17717#8XUA |
| NZ472J0NV5 | NZ472J0NV5 | statement | record (an 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.32599#C6T3 |
| NZ48VJYDQ4 | NZ48VJYDQ4 | 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.04809#3KUX |
| NZ4C1RV536 | NZ4C1RV536 | statement | record (an 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#DOFV |
| NZ4FMG0W0A | NZ4FMG0W0A | 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.38793#99GU |
| NZ4HGJJBYX | NZ4HGJJBYX | statement | record (an 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.05259#GGPY |
| NZ4Y5HJT2J | NZ4Y5HJT2J | statement | record (an 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.37410#0B2X |
| NZ56NZ12XX | NZ56NZ12XX | statement | open | open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#prop:K-fmp |
| NZ6756QPQZ | NZ6756QPQZ | 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.09341#PZNM |
| NZ715YKZKJ | NZ715YKZKJ | statement | record (an 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.07001#NDR3 |
| NZ7YNVPB36 | NZ7YNVPB36 | statement | record (an 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.39782#4756 |
| NZ856NXX6W | NZ856NXX6W | statement | record (an 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.05069#SZ5K |
| NZ96S975DN | NZ96S975DN | statement | open | open_logic content/proof-theory/propositions-as-types/type-preservation.tex#prop-1 |
| NZ9D691D1H | NZ9D691D1H | statement | record (an 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.25897#Y3E7 |
| NZ9RF8WCVA | NZ9RF8WCVA | statement | record (an 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.07442#WJSL |
| NZ9YN2ZC0E | NZ9YN2ZC0E | statement | record (an 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.19845#0AUN |
| NZA4Q2W52B | NZA4Q2W52B | 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.37450#5UJ2 |
| NZAB5WS2X1 | NZAB5WS2X1 | statement | record (an 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.10505#JWBY |
| NZABB3PG1Z | NZABB3PG1Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.10747#3W3L |
| NZAJM9TAE3 | NZAJM9TAE3 | 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.06458#WERT |
| NZAP239G9H | NZAP239G9H | statement | record (an 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#IF22 |
| NZB1JHH09M | NZB1JHH09M | statement | record (an 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.15817#XHL2 |
| NZB52SJE19 | NZB52SJE19 | statement | record (an 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.00358#S8GA |
| NZB7D6J290 | NZB7D6J290 | statement | record (an 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.01276#MVIT |
| NZC75W1E9F | NZC75W1E9F | statement | record (an 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.34213#9YHV |
| NZD88WPRCB | NZD88WPRCB | statement | record (an 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.02065#OY7Z |
| NZDSY0015V | NZDSY0015V | statement | record (an 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#C44Q |
| NZEDTYQ6AH | NZEDTYQ6AH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.04470#K0KH |
| NZEFW268MK | NZEFW268MK | statement | record (an 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.20391#7MXN |
| NZENGENQHH | NZENGENQHH | 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.02961#X2H9 |
| NZFS3XFWW9 | NZFS3XFWW9 | statement | record (an 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.04881#TNCI |
| NZG25QVEM4 | NZG25QVEM4 | statement | record (an 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.17602#LCEQ |
| NZGHABVW4A | NZGHABVW4A | statement | record (an 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.16060#EX2H |
| NZGK6S7G0Z | NZGK6S7G0Z | statement | record (an 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.09133#HQ7W |
| NZGRPH83SS | NZGRPH83SS | statement | record (an 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.31278#VZSS |
| NZH1FWZ4XT | NZH1FWZ4XT | 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.27125#0K3C |
| NZHQ3TWNCP | NZHQ3TWNCP | statement | record (an 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.21322#A7ZP |
| NZHST3QAQT | NZHST3QAQT | example | open | austin_ula src/section6-2.xml#example-1 |
| NZJ3EDZA0W | NZJ3EDZA0W | statement | record (an 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.13846#3OSK |
| NZJ4A9C91D | NZJ4A9C91D | statement | record (an 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.32207#RGA7 |
| NZJHZXY9JS | NZJHZXY9JS | statement | record (an 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.39659#ISJJ |
| NZMAM58ENC | NZMAM58ENC | statement | record (an 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.26769#CL5W |
| NZNKQVBJ7R | NZNKQVBJ7R | statement | record (an 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.08424#G8DG |
| NZP1TB8D51 | NZP1TB8D51 | 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.00144#6HM3 |
| NZP2SYVCR2 | NZP2SYVCR2 | statement | record (an 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.18377#W63I |
| NZPGKFSW3E | NZPGKFSW3E | statement | record (an 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.26896#PY5M |
| NZPPQQW456 | NZPPQQW456 | statement | record (an 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#TEC1 |
| NZPQA94GD3 | NZPQA94GD3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2001.10234#WWUN |
| NZPSF483A7 | NZPSF483A7 | statement | record (an 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.24901#93B3 |
| NZPWQ7WM0A | NZPWQ7WM0A | statement | record (an 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#4CGT |
| NZQDVTED4R | NZQDVTED4R | statement | record (an 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.33018#XEX8 |
| NZQGGZGJAG | NZQGGZGJAG | statement | record (an 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.19360#01VD |
| NZQHDCQ20Z | NZQHDCQ20Z | statement | record (an 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.17476#7YIY |
| NZQP4KHREZ | NZQP4KHREZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0806.0678#SHVN |
| NZQWG0XNKK | NZQWG0XNKK | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-33 |
| NZRQJXHKHK | NZRQJXHKHK | 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.21622#44BZ |
| NZRR3Z1Q63 | NZRR3Z1Q63 | 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.14318#UI3T |
| NZRR7Y1CXR | NZRR7Y1CXR | statement | record (an 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.25084#D7X5 |
| NZRRCFPPVC | NZRRCFPPVC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1711.00219#O1VK |
| NZS4H0VKEP | NZS4H0VKEP | statement | record (an 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.25301#U78Q |
| NZSCXSA28X | NZSCXSA28X | exercise | open | lebl_ra ch-metric.tex#exercise-10 |
| NZSX6FXJX3 | NZSX6FXJX3 | statement | record (an 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.19455#X3Y5 |
| NZTHNWRF25 | NZTHNWRF25 | 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 math/9201244#NS4C |
| NZTPYSFK4W | NZTPYSFK4W | exercise | open | levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-2 |
| NZTVY8VYQX | NZTVY8VYQX | 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#7FEJ |
| NZVM5Z0DGM | NZVM5Z0DGM | proof | open | hott_book homotopy.tex#proof-15 |
| NZVQYJ0XS9 | NZVQYJ0XS9 | statement | record (an 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.12810#FP54 |
| NZVW4MP83C | NZVW4MP83C | statement | record (an 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#SCYH |
| NZVZJ0SYZB | NZVZJ0SYZB | 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.01359#PJ3C |
| NZW2YC2PZS | NZW2YC2PZS | statement | record (an 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.14383#Z3SE |
| NZW4HAY8EB | NZW4HAY8EB | statement | record (an 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.00786#6JWS |
| NZWHXTHHCB | NZWHXTHHCB | 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.32651#BTNN |
| NZX2N5FXTS | NZX2N5FXTS | statement | record (an 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.10643#THUJ |
| NZX43D13JT | NZX43D13JT | statement | record (an 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.10338#FMZO |
| NZXPKD7JZJ | NZXPKD7JZJ | proof | open | open_logic content/proof-theory/propositions-as-types/normalization.tex#proof-4 |
| NZXSZR9F6Y | NZXSZR9F6Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.13401#1U0O |
| NZYATPWBC8 | NZYATPWBC8 | 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.11395#7FAL |
| NZYGHJ8AV3 | NZYGHJ8AV3 | statement | record (an 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#MKR1 |
| NZZ1GJ0DS3 | NZZ1GJ0DS3 | statement | record (an 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.31126#PZV2 |
| NZZ2NHXMK3 | NZZ2NHXMK3 | exercise | open | lebl_diffyqs ch-eigenvalue-probs.tex#exercise-18 |
| NZZ91RGD5W | NZZ91RGD5W | statement | record (an 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.17060#M20E |
| NZZPGD9V6T | NZZPGD9V6T | statement | record (an 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.22073#KUCM |
| NZZX7VEFCE | NZZX7VEFCE | statement | record (an 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.01653#ZB7Q |
| Néron–Severi group | 2QFNAMQPG4 | unknown | open | Wikidata Q7071450, EoM Néron-Severi_group, MathWorld Neron-SeveriGroup |