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 101–200 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| N12Z8TGY24 | N12Z8TGY24 | statement | record (an 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.16235#184H |
| N13ZQ1406B | N13ZQ1406B | statement | open | open_logic content/set-theory/card-arithmetic/fix.tex#bethfixed |
| N141PN7YHT | N141PN7YHT | statement | record (an 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#JZJO |
| N14FTZRF17 | N14FTZRF17 | statement | record (an 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.36423#HF2B |
| N14GQTW6CW | N14GQTW6CW | 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 2605.17484#75TQ |
| N14ZW85H9Z | N14ZW85H9Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.06310#M430 |
| N15GTM9DWS | N15GTM9DWS | 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.18302#U5KA |
| N15PBV53MD | N15PBV53MD | statement | record (an 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.18277#TNQD |
| N15RFTVK48 | N15RFTVK48 | statement | record (an 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#AXAT |
| N16QTPMMED | N16QTPMMED | statement | record (an 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.20568#YVJX |
| N16S8MT14D | N16S8MT14D | statement | record (an 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#IUY1 |
| N16XZD36CV | N16XZD36CV | statement | record (an 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.17484#SKB1 |
| N16ZA91AY3 | N16ZA91AY3 | statement | record (an 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#48JU |
| N170MPV2CP | N170MPV2CP | statement | record (an 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.18281#YOMB |
| N17NBK484G | N17NBK484G | statement | record (an 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.38051#R2PC |
| N17RKRRDR0 | N17RKRRDR0 | statement | record (an 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.33590#CRMN |
| N1820DPMP7 | N1820DPMP7 | 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 2601.15010#PLJ7 |
| N182Q9FFNJ | N182Q9FFNJ | statement | record (an 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#HWIC |
| N18T7NHPN3 | N18T7NHPN3 | statement | record (an 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.39675#MQUT |
| N19DEQF59D | N19DEQF59D | statement | record (an 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.40345#TZZR |
| N19FRK4BZX | N19FRK4BZX | statement | record (an 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.27114#3O9Z |
| N19NVAXWJG | N19NVAXWJG | statement | record (an 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#HT96 |
| N1A6VSWEZ4 | N1A6VSWEZ4 | statement | record (an 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#71Y0 |
| N1ACZ60443 | N1ACZ60443 | statement | record (an 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.08583#6BV5 |
| N1AND933Y2 | N1AND933Y2 | statement | record (an 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#Y0D8 |
| N1AYX75565 | N1AYX75565 | statement | record (an 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.37479#TDTJ |
| N1BCW0DMXG | N1BCW0DMXG | statement | open | open_logic content/sets-functions-relations/infinite/card-sb.tex#sbhelper |
| N1BHRZCY15 | N1BHRZCY15 | statement | record (an 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.06810#71D3 |
| N1BP6KZSP4 | N1BP6KZSP4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2047#RRK6 |
| N1BPB27QBN | N1BPB27QBN | statement | record (an 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.25129#WS4X |
| N1BS8TSYFC | N1BS8TSYFC | statement | record (an 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.17408#HH8U |
| N1BVWV67E0 | N1BVWV67E0 | statement | record (an 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.36509#Y92K |
| N1BYDDVE76 | N1BYDDVE76 | statement | record (an 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.13423#OYUP |
| N1D00K02Y8 | N1D00K02Y8 | exercise | open | napkin tex/H113/ring-intro.tex#ques-3 |
| N1DBS89E76 | N1DBS89E76 | statement | record (an 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.19861#XWWE |
| N1DBWTWA7B | N1DBWTWA7B | statement | record (an 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#KJ26 |
| N1E09FFPF5 | N1E09FFPF5 | statement | record (an 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.32906#IDAY |
| N1E16GPP5E | N1E16GPP5E | proof | open | napkin tex/alg-geom/sheaves.tex#proof-1 |
| N1E360VKKR | N1E360VKKR | statement | open | hott_book hits.tex#thm:trunc0-ind |
| N1E80RVG2D | N1E80RVG2D | statement | record (an 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#S859 |
| N1EDAFH5C8 | N1EDAFH5C8 | statement | record (an 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#6C5H |
| N1EJ75T9BZ | N1EJ75T9BZ | statement | record (an 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.36456#I41H |
| N1EXC7CBPC | N1EXC7CBPC | 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.36509#D8NL |
| N1F5B5B0NN | N1F5B5B0NN | statement | record (an 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.14498#1F1I |
| N1FDBH3Q13 | N1FDBH3Q13 | statement | open | open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#prop:provability-lif |
| N1FXCG227X | N1FXCG227X | proof | open | open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#proof-1 |
| N1FZM21232 | N1FZM21232 | statement | record (an 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.13328#0NT5 |
| N1GM1807N3 | N1GM1807N3 | 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.34260#NWK0 |
| N1GYRV28FZ | N1GYRV28FZ | statement | record (an 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#P7TF |
| N1H2GABVMA | N1H2GABVMA | statement | record (an 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.31335#3CB4 |
| N1HK3G9CDG | N1HK3G9CDG | statement | record (an 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.21632#2K0Q |
| N1JA6SCAQF | N1JA6SCAQF | 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.16768#O5T7 |
| N1JDT830HW | N1JDT830HW | statement | record (an 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.38013#V5H6 |
| N1JVDTNQ4P | N1JVDTNQ4P | statement | record (an 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#JG3Q |
| N1KAQF742F | N1KAQF742F | statement | record (an 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.04559#1WQL |
| N1KRHKZMYF | N1KRHKZMYF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1006.3331#CVA1 |
| N1M06P1CNG | N1M06P1CNG | statement | record (an 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.29498#94XJ |
| N1M6MBCWX2 | N1M6MBCWX2 | statement | record (an 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.05067#YBMJ |
| N1MMAYBYXP | N1MMAYBYXP | statement | record (an 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#QNTU |
| N1N3NCZQ4H | N1N3NCZQ4H | unknown | open | arXiv 2610.13680#IBXI |
| N1NR1F1M34 | N1NR1F1M34 | 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.25168#Q6G3 |
| N1P69KAG6C | N1P69KAG6C | statement | record (an 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.40191#UDV6 |
| N1P8FC0P3S | N1P8FC0P3S | 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.31274#MXKN |
| N1PH4MC83M | N1PH4MC83M | statement | record (an 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.19709#K3FW |
| N1PM9CBCGJ | N1PM9CBCGJ | statement | record (an 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.30067#OKJ2 |
| N1PQ45SXZM | N1PQ45SXZM | statement | record (an 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.14446#CLSO |
| N1QW4W4RPR | N1QW4W4RPR | statement | record (an 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.02722#OYLZ |
| N1R1NEXK8B | N1R1NEXK8B | statement | record (an 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.00590#TUXC |
| N1R1RE7PRE | N1R1RE7PRE | statement | record (an 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#EI0A |
| N1R74GQTQC | N1R74GQTQC | statement | record (an 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.05715#VPJT |
| N1RAN8J92M | N1RAN8J92M | statement | record (an 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.16386#CKPO |
| N1RG4FPF7J | N1RG4FPF7J | statement | record (an 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#0GYI |
| N1S3B79FHX | N1S3B79FHX | statement | record (an 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.20542#423X |
| N1S9C94QMF | N1S9C94QMF | statement | record (an 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.02669#SVZJ |
| N1S9GZ6SQ4 | N1S9GZ6SQ4 | statement | record (an 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.11468#258G |
| N1T4D9VRJ4 | N1T4D9VRJ4 | 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/0003117#D4CI |
| N1TPDTQ24W | N1TPDTQ24W | statement | open | open_logic content/incompleteness/representability-in-q/comp-representable.tex#thm-1 |
| N1TSATXSG3 | N1TSATXSG3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.10921#2S23 |
| N1TX7VM31B | N1TX7VM31B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.05539#8ONC |
| N1TXJM32HY | N1TXJM32HY | statement | record (an 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.33263#L4IO |
| N1V33HNK7Q | N1V33HNK7Q | definition | open | napkin tex/topology/constructions.tex#definition-2 |
| N1W0EPDDSF | N1W0EPDDSF | 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 2308.02672#9ALZ |
| N1WDRTJ20W | N1WDRTJ20W | statement | record (an 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.17579#KORR |
| N1WYTEYTJY | N1WYTEYTJY | statement | record (an 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.25495#I3D2 |
| N1X807XP0S | N1X807XP0S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.00146#GUCQ |
| N1XA8QF1CH | N1XA8QF1CH | statement | record (an 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.12912#0HVV |
| N1XJG5VD3Q | N1XJG5VD3Q | 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.29107#30TH |
| N1XZ9YMJ8Z | N1XZ9YMJ8Z | statement | record (an 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.07790#62ZA |
| N1YK6GPRBD | N1YK6GPRBD | 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.26386#WSP0 |
| N1YWEPM3Y0 | N1YWEPM3Y0 | 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 2405.09294#HHNF |
| N1YXQXHNT1 | N1YXQXHNT1 | 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.01932#0GRZ |
| N1YYFJXN4H | N1YYFJXN4H | statement | record (an 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.12141#IS76 |
| N1Z51GZ5PD | N1Z51GZ5PD | statement | record (an 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.00902#FD15 |
| N1ZFRJ87M3 | N1ZFRJ87M3 | statement | record (an 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#HWUB |
| N20B8X86VE | N20B8X86VE | statement | record (an 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#FLKP |
| N21AFXW97W | N21AFXW97W | statement | record (an 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.17411#UJG9 |
| N22AQWP1K5 | N22AQWP1K5 | statement | record (an 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.20466#SS8P |
| N22G879SW4 | N22G879SW4 | 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.26201#SPNQ |
| N22N5YDEJ5 | N22N5YDEJ5 | statement | record (an 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.09602#8R01 |
| N22SNMBMAS | N22SNMBMAS | statement | record (an 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.18223#92EC |