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 601–700 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| N6M3Z9ZNWE | N6M3Z9ZNWE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.05048#XJ43 |
| N6M8B3K2FY | N6M8B3K2FY | statement | record (an 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.30823#KJWF |
| N6M9CPKS55 | N6M9CPKS55 | statement | record (an 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.01837#4X8V |
| N6M9JR597Z | N6M9JR597Z | 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.03601#AGHF |
| N6MQT2PQXS | N6MQT2PQXS | statement | record (an 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.08357#AHEC |
| N6MT2JAP0C | N6MT2JAP0C | 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#DS12 |
| N6N4EGYSSB | N6N4EGYSSB | proof | open | open_logic content/incompleteness/theories-computability/extensions-of-q-not-decidable.tex#proof-2 |
| N6NF6EFZV7 | N6NF6EFZV7 | 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.02935#XZ6I |
| N6NN2KE5ME | N6NN2KE5ME | proof | open | open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#proof-4 |
| N6NVAB0BNM | N6NVAB0BNM | example | open | lebl_diffyqs ch-fourier-and-pde.tex#example-18 |
| N6NY3YDSK8 | N6NY3YDSK8 | statement | record (an 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.17482#WG4R |
| N6PVZWBK9H | N6PVZWBK9H | statement | record (an 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.26357#W55K |
| N6Q80GXRMC | N6Q80GXRMC | statement | record (an 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.09294#Z9FE |
| N6QR9ZJ7J6 | N6QR9ZJ7J6 | statement | record (an 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.21080#17S5 |
| N6QS916Y50 | N6QS916Y50 | statement | open | austin_ula src/section2-4.xml#proposition-2 |
| N6R2PFMHY9 | N6R2PFMHY9 | statement | record (an 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.26500#2JAH |
| N6R4AKTSG4 | N6R4AKTSG4 | statement | record (an 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.08956#DZDA |
| N6REZ86HGB | N6REZ86HGB | statement | record (an 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.26191#HTJ0 |
| N6SQ1HR72P | N6SQ1HR72P | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-17 |
| N6TW1PJJ47 | N6TW1PJJ47 | proof | open | open_logic content/intuitionistic-logic/soundness-completeness/completeness-thm.tex#proof-1 |
| N6V4ENE8RE | N6V4ENE8RE | exercise | open | lebl_ra ch-seq-ser.tex#exercise-24 |
| N6V9WVBSYF | N6V9WVBSYF | statement | record (an 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.10927#JJGQ |
| N6VDJFNH5H | N6VDJFNH5H | statement | open | hott_book setmath.tex#lem-1 |
| N6VFXKSHCZ | N6VFXKSHCZ | 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/0406514#79NV |
| N6WCNBKRGM | N6WCNBKRGM | statement | record (an 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.22040#GBRG |
| N6WE1A6K9B | N6WE1A6K9B | unknown | open | arXiv 2211.01586#C8H2 |
| N6WE9B54D3 | N6WE9B54D3 | statement | record (an 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.35325#OW1Q |
| N6WSPDJ54H | N6WSPDJ54H | exercise | open | lebl_ra ch-der.tex#exercise-24 |
| N6X2X4G5P0 | N6X2X4G5P0 | statement | record (an 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.29943#5ADM |
| N6XSJ9C7J9 | N6XSJ9C7J9 | 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.01946#7C8Z |
| N6XW1MMWB7 | N6XW1MMWB7 | statement | record (an 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.15992#YIKC |
| N6YT233YEH | N6YT233YEH | statement | record (an 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.05506#J5OA |
| N6YTFB90MM | N6YTFB90MM | example | open | lebl_scv scv.tex#example-20 |
| N6YZ4NERVB | N6YZ4NERVB | definition | open | napkin tex/alg-NT/galois.tex#definition-5 |
| N6YZCXKKRK | N6YZCXKKRK | exercise | open | ernst_ibl MAAPressVersion/Partitions.tex#problem-4 |
| N6Z5ZPTPPY | N6Z5ZPTPPY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.06445#RUP4 |
| N70C3TRK7G | N70C3TRK7G | statement | record (an 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.31798#KQFI |
| N70CASR71V | N70CASR71V | exercise | open | lebl_scv scv.tex#exercise-203 |
| N70P5SBPH6 | N70P5SBPH6 | statement | record (an 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.29877#CFYT |
| N71HBZCCNQ | N71HBZCCNQ | 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.07445#L5MX |
| N71P3HTXCN | N71P3HTXCN | statement | record (an 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.05529#AIM2 |
| N71WWGK8FT | N71WWGK8FT | statement | record (an 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.03407#HH4X |
| N72R6WZEQE | N72R6WZEQE | statement | record (an 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#MOUP |
| N73MJBJ8V0 | N73MJBJ8V0 | statement | record (an 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#NW2Q |
| N73VZ9SA7T | N73VZ9SA7T | statement | record (an 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#Y0R1 |
| N73XBC6W8H | N73XBC6W8H | statement | record (an 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#LRHJ |
| N73XHA3MG3 | N73XHA3MG3 | statement | record (an 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.01473#JIPE |
| N74KKD89AJ | N74KKD89AJ | statement | record (an 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.20386#LW32 |
| N74KYC2C6E | N74KYC2C6E | statement | record (an 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#MYBM |
| N7642EE2WN | N7642EE2WN | statement | record (an 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.32206#BRF6 |
| N764DCBB3H | N764DCBB3H | statement | record (an 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.26191#KH40 |
| N77WXX6DEQ | N77WXX6DEQ | example | open | levin_dmoi ptx/sec_intro-statements.ptx#example-6 |
| N78D5A0BAY | N78D5A0BAY | statement | record (an 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.10029#W44D |
| N78KV6H4YA | N78KV6H4YA | statement | record (an 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.01912#CA6U |
| N78ZE9928P | N78ZE9928P | statement | record (an 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.08480#WWB9 |
| N795W067QW | N795W067QW | 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.09945#F605 |
| N796CGHFW3 | N796CGHFW3 | statement | record (an 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#LXLF |
| N79E4F080F | N79E4F080F | 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.03661#0UY1 |
| N79FD1SCMA | N79FD1SCMA | statement | record (an 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#13NS |
| N79HQ4A2Z3 | N79HQ4A2Z3 | statement | record (an 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.10365#8WIE |
| N79HQZA2VG | N79HQZA2VG | statement | record (an 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.28669#4JDO |
| N79V3MZW28 | N79V3MZW28 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.04758#VXGR |
| N79W2H1ED1 | N79W2H1ED1 | statement | record (an 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#VLBS |
| N7A1ME0YE8 | N7A1ME0YE8 | statement | record (an 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.39642#GRYD |
| N7A8H6AFWD | N7A8H6AFWD | statement | record (an 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.08753#ERQC |
| N7ADSV1YHW | N7ADSV1YHW | statement | record (an 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.38548#TB8P |
| N7AP90EHSJ | N7AP90EHSJ | exercise | open | open_logic content/normal-modal-logic/syntax-and-semantics/truth-at-w.tex#prob-2 |
| N7B3C3KRYY | N7B3C3KRYY | statement | record (an 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.38741#AH9D |
| N7B3WZK9P0 | N7B3WZK9P0 | 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.20972#F8N1 |
| N7BBV9Y4N1 | N7BBV9Y4N1 | statement | record (an 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.29894#R2IJ |
| N7BEGW8Q5W | N7BEGW8Q5W | unknown | open | arXiv 2610.13680#TARA |
| N7BF5A2TQ8 | N7BF5A2TQ8 | statement | record (an 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#7I2W |
| N7BTJMN2ND | N7BTJMN2ND | statement | record (an 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.04935#SO9H |
| N7BWBM7SJ6 | N7BWBM7SJ6 | statement | record (an 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#08LB |
| N7BZ8ZF7Z6 | N7BZ8ZF7Z6 | exercise | open | austin_ula src/exercises/exercises6-5.xml#exercise-6 |
| N7C22FY8NH | N7C22FY8NH | statement | record (an 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.18797#GV1A |
| N7C8DKS6Z9 | N7C8DKS6Z9 | 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.02777#DWGG |
| N7DPJVXK2C | N7DPJVXK2C | statement | record (an 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.08480#67WZ |
| N7E12TH1CQ | N7E12TH1CQ | statement | record (an 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.19812#6HH3 |
| N7E44999AE | N7E44999AE | statement | record (an 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.37589#75B4 |
| N7ED63ZZT3 | N7ED63ZZT3 | 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.10937#44S3 |
| N7EWP02J4B | N7EWP02J4B | statement | record (an 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.11047#G0OF |
| N7F5PH4T19 | N7F5PH4T19 | statement | record (an 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#4AI1 |
| 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 |