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 801–900 of 6691.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| N7FFX05H43 | N7FFX05H43 | statement | record (an 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.29304#4IJU |
| N7FRYYARAX | N7FRYYARAX | statement | record (an 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#98XN |
| N7FY0GJF62 | N7FY0GJF62 | statement | record (an 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.24569#GEXU |
| N7GMKRTWM0 | N7GMKRTWM0 | statement | record (an 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#8SM3 |
| N7H649FNAD | N7H649FNAD | 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.34339#GADK |
| N7HG20279T | N7HG20279T | statement | record (an 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.13888#ENO1 |
| N7HGNPZYNJ | N7HGNPZYNJ | statement | record (an 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.09819#BSAR |
| N7HJ25D1ES | N7HJ25D1ES | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#MMOS |
| N7M4B94Q03 | N7M4B94Q03 | statement | record (an 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.01567#Y4UI |
| N7N2AYMSCN | N7N2AYMSCN | statement | record (an 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.38068#KUDS |
| N7N4M4Q201 | N7N4M4Q201 | statement | record (an 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.17070#1SF8 |
| N7NAG9K3G4 | N7NAG9K3G4 | statement | record (an 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.34876#2A7O |
| N7NBSEREEW | N7NBSEREEW | statement | record (an 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.34856#GCI2 |
| N7NC0JCN6C | N7NC0JCN6C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.08237#QPSS |
| N7P3ZTTH0Z | N7P3ZTTH0Z | 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.10558#W19I |
| N7PAA8NYBW | N7PAA8NYBW | statement | record (an 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.38865#KWX9 |
| N7PGVAHSMB | N7PGVAHSMB | statement | record (an 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.14435#7RS8 |
| N7PM8ZBYZB | N7PM8ZBYZB | example | open | lebl_diffyqs ch-first-order-ode.tex#exact:example:2xyandxy |
| N7QEF9RVKQ | N7QEF9RVKQ | statement | record (an 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.23343#LGGL |
| N7QN49EC3B | N7QN49EC3B | statement | record (an 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.31783#2MQ2 |
| N7QP8ZDHBS | N7QP8ZDHBS | exercise | open | open_logic content/lambda-calculus/syntax/alpha.tex#prob-2 |
| N7QPX021AN | N7QPX021AN | statement | record (an 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.10773#D7QD |
| N7QWR5VP8G | N7QWR5VP8G | statement | record (an 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#DA90 |
| N7QY88D94Y | N7QY88D94Y | exercise | open | lebl_ra ch-approximate.tex#exercise:selfadjointSW |
| N7RC23KVYB | N7RC23KVYB | statement | record (an 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.20376#DPGV |
| N7RN42WP0F | N7RN42WP0F | statement | record (an 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.20522#CU2I |
| N7RNF34CYP | N7RNF34CYP | statement | record (an 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.21359#56PX |
| N7SX68CXS2 | N7SX68CXS2 | statement | record (an 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.39814#ZB68 |
| N7TGHW427J | N7TGHW427J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.06581#AZ2T |
| N7TM9T2SE0 | N7TM9T2SE0 | exercise | open | napkin tex/linalg/dets.tex#problem-3 |
| N7TMEK1T6E | N7TMEK1T6E | statement | record (an 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.11869#R955 |
| N7TVE5Z7T2 | N7TVE5Z7T2 | statement | record (an 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.27420#IYIL |
| N7TXHG92T0 | N7TXHG92T0 | statement | record (an 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.33766#J9S8 |
| N7VWYBDCJ8 | N7VWYBDCJ8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.19872#WM80 |
| N7WWVGF2EP | N7WWVGF2EP | statement | record (an 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.21675#GCO1 |
| N7WYY5M93X | N7WYY5M93X | statement | record (an 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.40200#ZBNH |
| N7X1WWBWWJ | N7X1WWBWWJ | proof | open | hott_book basics.tex#proof-23 |
| N7XAMN4GAZ | N7XAMN4GAZ | statement | record (an 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.08196#08NE |
| N7XK3DYTT1 | N7XK3DYTT1 | statement | record (an 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.36823#QSA5 |
| N7XKD11Y05 | N7XKD11Y05 | exercise | open | open_logic content/proof-theory/natural-deduction/quantifiers.tex#prob-1 |
| N7XPNYTXX7 | N7XPNYTXX7 | 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.22924#EQI4 |
| N7XS3NPC4Y | N7XS3NPC4Y | 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 2511.07697#BJIZ |
| N7XYQ9B0WE | N7XYQ9B0WE | statement | record (an 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.37815#TRFU |
| N7YQWV7V8D | N7YQWV7V8D | statement | record (an 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.26386#M5LM |
| N7Z5QQQE5X | N7Z5QQQE5X | statement | record (an 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#A7XG |
| N7Z8AAYP6A | N7Z8AAYP6A | statement | record (an 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#IXG8 |
| N7ZKFG8AKD | N7ZKFG8AKD | statement | record (an 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.19437#5816 |
| N800C65H1J | N800C65H1J | statement | record (an 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.20165#DC7U |
| N809KR53ZS | N809KR53ZS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4254#9KUX |
| N809T8MNCH | N809T8MNCH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.08123#IISO |
| N80TFZN06Z | N80TFZN06Z | statement | record (an 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.15169#2RR8 |
| N815GND9DK | N815GND9DK | statement | open | lebl_diffyqs ch-systems.tex#theorem-7 |
| N81G8CC36R | N81G8CC36R | statement | record (an 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#D1J6 |
| N82AHQ36R8 | N82AHQ36R8 | 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.19437#VK35 |
| N82TJFAEGR | N82TJFAEGR | exercise | open | levin_dmoi ptx/sec_counting-addmult.ptx#investigation-2 |
| N837X1H90R | N837X1H90R | statement | record (an 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.23694#F4PF |
| N83KG3PEYR | N83KG3PEYR | statement | record (an 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.03222#AIDC |
| N841XQZ0EQ | N841XQZ0EQ | statement | record (an 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.36045#O8D2 |
| N849470A4V | N849470A4V | 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.17135#159P |
| N850EA3BJ7 | N850EA3BJ7 | statement | record (an 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.23871#KHEK |
| N854ZKPY6P | N854ZKPY6P | statement | record (an 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.21565#XHQ4 |
| N8594C0T9T | N8594C0T9T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0803.0074#JXIH |
| N863MBYZ54 | N863MBYZ54 | 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 2502.08738#BHBJ |
| N86S4YZJ9Z | N86S4YZJ9Z | 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.10078#CKY0 |
| N86WZPF0M9 | N86WZPF0M9 | statement | record (an 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.29510#B6UY |
| N87R1KHXGH | N87R1KHXGH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.14445#DV1Q |
| N88YCW4D4E | N88YCW4D4E | statement | record (an 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#MTCB |
| N897NJP6TF | N897NJP6TF | statement | record (an 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.27042#XK07 |
| N89NRDT0WT | N89NRDT0WT | statement | record (an 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.11809#WTYT |
| N8A02T0AAX | N8A02T0AAX | 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 2510.12502#R3I6 |
| N8AEYMC92N | N8AEYMC92N | statement | record (an 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.21724#4I5E |
| N8BDN6PF2S | N8BDN6PF2S | statement | record (an 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.14435#EOQM |
| N8BMZ206E0 | N8BMZ206E0 | statement | record (an 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.38068#FFHI |
| N8C7ZGGZC7 | N8C7ZGGZC7 | statement | record (an 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.25111#NVR6 |
| N8CC4H0K8D | N8CC4H0K8D | statement | record (an 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.35030#8BHD |
| N8CN3D045Z | N8CN3D045Z | statement | record (an 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.06645#QYUG |
| N8CXKS2YCY | N8CXKS2YCY | 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.01433#ONDN |
| N8DRGDHE1T | N8DRGDHE1T | statement | record (an 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.29107#SNS0 |
| N8EYV2K182 | N8EYV2K182 | statement | record (an 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#3UGK |
| N8F71K8ZF6 | N8F71K8ZF6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.15210#DV5K |
| N8FHRRDFZD | N8FHRRDFZD | 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.01915#GMKW |
| N8FNWCMDHW | N8FNWCMDHW | 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.40123#2PLK |
| N8FRS98QP7 | N8FRS98QP7 | statement | record (an 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.14762#HGZU |
| N8FXNPPGXS | N8FXNPPGXS | statement | record (an 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.13241#KA6H |
| N8G9HBRBNE | N8G9HBRBNE | statement | open | open_logic content/proof-theory/cut-elimination/ce-largest.tex#lem:max-cut-red-G3c |
| N8GHY785HZ | N8GHY785HZ | statement | record (an 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.06555#1QDV |
| N8GM8VYN6F | N8GM8VYN6F | 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.23279#JOYS |
| N8GSD8C089 | N8GSD8C089 | exercise | open | napkin tex/alg-NT/galois.tex#ques-4 |
| N8HCWDYYGW | N8HCWDYYGW | statement | record (an 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.14562#NTUX |
| N8HERAXMJD | N8HERAXMJD | statement | record (an 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.03988#GEP2 |
| N8HJ452TM4 | N8HJ452TM4 | statement | record (an 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.03559#ZCEW |
| N8JD8JD10Y | N8JD8JD10Y | statement | record (an 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.05990#VLGL |
| N8JJXPNA48 | N8JJXPNA48 | 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.00934#6H9Y |
| N8JPFRNQC2 | N8JPFRNQC2 | 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#F1RT |
| N8JVHDXPK5 | N8JVHDXPK5 | statement | record (an 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.16332#CPRA |
| N8JZZFJ8EJ | N8JZZFJ8EJ | statement | record (an 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#H5QM |
| N8KDPH1D44 | N8KDPH1D44 | 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.10469#OYYL |
| N8KG2AQ9JB | N8KG2AQ9JB | statement | record (an 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.08488#LAF4 |
| N8KPSWYBS6 | N8KPSWYBS6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2009.11127#56P6 |
| N8MF2STNYH | N8MF2STNYH | statement | record (an 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.17883#GKN3 |