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 26896
- A 5694
- B 4524
- C 7434
- D 4863
- E 5167
- F 4998
- G 4504
- H 4194
- I 1415
- J 3180
- K 3512
- L 1962
- M 5019
- N 4008
- O 928
- P 5631
- Q 3296
- R 5027
- S 7101
- T 5981
- U 1055
- V 3253
- W 3675
- X 2801
- Y 2926
- Z 3092
Rows 3901–4000 of 4008.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| NYWC83XJ4A | NYWC83XJ4A | statement | record (an 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.04124#OOW9 |
| NYWHXRMYHG | NYWHXRMYHG | 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 2508.21045#1UZW |
| NYWNT7SEJ7 | NYWNT7SEJ7 | statement | record (an 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#QUF4 |
| NYWPPVZVDC | NYWPPVZVDC | statement | record (an 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.24451#XYUN |
| NYWQ72B59A | NYWQ72B59A | 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 2608.24190#MD20 |
| NYWXS4T9XH | NYWXS4T9XH | statement | record (an 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.16657#9UW6 |
| NYX4QY40JY | NYX4QY40JY | statement | open | open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#prop:provability-exhaustive |
| NYXASWS436 | NYXASWS436 | statement | record (an 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#GVZ2 |
| NYY1612QFK | NYY1612QFK | statement | record (an 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.31269#7N3Z |
| NYY2KH4FZA | NYY2KH4FZA | 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 2601.22681#JEPW |
| NYY6C7Z3VW | NYY6C7Z3VW | definition | open | ernst_ibl MAAPressVersion/IntroQuantification.tex#definition-1 |
| NYYNGMCA8Y | NYYNGMCA8Y | statement | record (an 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#0Y09 |
| NYYY1F47MK | NYYY1F47MK | statement | record (an 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.09019#J3B8 |
| NYZW79TWHH | NYZW79TWHH | statement | record (an 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.27834#0WFO |
| NZ0A79JF6N | NZ0A79JF6N | statement | record (an 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.01803#EIFE |
| NZ0HHRJWNY | NZ0HHRJWNY | statement | record (an 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.29489#UBPR |
| NZ0JKM532R | NZ0JKM532R | statement | record (an 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.37520#MQVK |
| NZ0SEY7K7M | NZ0SEY7K7M | statement | record (an 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#MXQN |
| 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 |
| NZJRAB3N8F | NZJRAB3N8F | statement | record (an 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.23119#V85C |
| 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 |
| NZQEN8X9HZ | NZQEN8X9HZ | statement | record (an 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#6UY2 |
| 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 |