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 3201–3300 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| NSSNJ22EV4 | NSSNJ22EV4 | statement | open | open_logic content/many-valued-logic/three-valued-logics/lukasiewicz.tex#prop-1 |
| NSSWMR1NXT | NSSWMR1NXT | 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.17135#GID1 |
| NSV0JJS1YX | NSV0JJS1YX | statement | record (an 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#AVS9 |
| NSVBMX5DE1 | NSVBMX5DE1 | 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.37265#O0WY |
| NSVC21D2S5 | NSVC21D2S5 | 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.26357#45L7 |
| NSVDQ1A7RW | NSVDQ1A7RW | 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.09278#YEPJ |
| NSW57XEDSQ | NSW57XEDSQ | statement | record (an 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#JVGI |
| NSW60C33DE | NSW60C33DE | exercise | open | hott_book basics.tex#ex:eq-proofs-commute |
| NSWCNP0TKN | NSWCNP0TKN | statement | record (an 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.17045#H86N |
| NSWMW277MP | NSWMW277MP | statement | record (an 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#SY08 |
| NSWSH7RM0V | NSWSH7RM0V | statement | record (an 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.11905#CC62 |
| NSWWBVEKYA | NSWWBVEKYA | 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.23797#3QJZ |
| NSX1Z4TT38 | NSX1Z4TT38 | statement | record (an 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.26169#O79L |
| NSX300SA5Q | NSX300SA5Q | 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.16475#U839 |
| NSXWJ4TMS0 | NSXWJ4TMS0 | statement | record (an 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.17276#941Z |
| NSXXZR1WYJ | NSXXZR1WYJ | statement | record (an 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.30575#A40S |
| NSYQ1VD29X | NSYQ1VD29X | statement | record (an 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/9802134#B486 |
| NSYQWTKYTV | NSYQWTKYTV | exercise | open | austin_ula src/exercises/exercises7-2.xml#exercise-10 |
| NSYXNX3R1T | NSYXNX3R1T | statement | record (an 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.25703#F161 |
| NSZ3S9X7C4 | NSZ3S9X7C4 | statement | record (an 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.12484#R4TX |
| NSZAVR51W0 | NSZAVR51W0 | statement | record (an 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.14274#D12F |
| NSZFSG2X42 | NSZFSG2X42 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1907.01440#M4R3 |
| NT09JD44FP | NT09JD44FP | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-25 |
| NT0GWCHSCJ | NT0GWCHSCJ | statement | record (an 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.33206#VY5Z |
| NT0QNHPN4Y | NT0QNHPN4Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.10246#AAL2 |
| NT0TM1SWTK | NT0TM1SWTK | statement | record (an 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.36088#IPF0 |
| NT0Y63SS10 | NT0Y63SS10 | 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 2506.07061#B9JD |
| NT1EZ7ZYMZ | NT1EZ7ZYMZ | statement | record (an 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.39465#ADLP |
| NT1QPSBEPB | NT1QPSBEPB | 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.20801#0JSY |
| NT1S5Q12T6 | NT1S5Q12T6 | statement | record (an 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.28011#FJES |
| NT216VDRW4 | NT216VDRW4 | 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.22218#EXWH |
| NT2KAC2QED | NT2KAC2QED | statement | record (an 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.17737#11YM |
| NT2SNG4QG3 | NT2SNG4QG3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.08004#DVUB |
| NT2YTRVQV7 | NT2YTRVQV7 | statement | record (an 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.00798#7OKV |
| NT3X2G09YY | NT3X2G09YY | statement | record (an 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.24701#534K |
| NT46HQPFV0 | NT46HQPFV0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.02073#5T7C |
| NT46PX1YNR | NT46PX1YNR | statement | record (an 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.05499#02AT |
| NT4B42TFS7 | NT4B42TFS7 | statement | record (an 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#SGH8 |
| NT503MBBMD | NT503MBBMD | statement | record (an 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.12120#PH9I |
| NT50PBK264 | NT50PBK264 | 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.13629#YG4N |
| NT522GR4J1 | NT522GR4J1 | statement | record (an 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.08323#KH9R |
| NT53XGFNHD | NT53XGFNHD | statement | record (an 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#0OWC |
| NT5PF3DTF8 | NT5PF3DTF8 | statement | record (an 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.17863#MQCN |
| NT5TYEJBYZ | NT5TYEJBYZ | 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 2206.11797#XVCJ |
| NT5ZKTZFTE | NT5ZKTZFTE | statement | record (an 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.07695#HTB1 |
| NT62445QAC | NT62445QAC | statement | record (an 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#CX42 |
| NT65HT73A8 | NT65HT73A8 | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-29 |
| NT6FNNSD1Y | NT6FNNSD1Y | 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 2110.11143#8LQ6 |
| NT6TQATAC5 | NT6TQATAC5 | statement | record (an 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.08052#ZLQZ |
| NT7BDEXDVV | NT7BDEXDVV | statement | record (an 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.36135#P07H |
| NT7E1KV2ZJ | NT7E1KV2ZJ | statement | record (an 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.27049#5XHT |
| NT88P0QTST | NT88P0QTST | statement | record (an 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.17045#QJOD |
| NT925CE457 | NT925CE457 | 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 2204.01073#EGIB |
| NT97533WWT | NT97533WWT | statement | record (an 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.30113#ZYHA |
| NT9MEGGHZR | NT9MEGGHZR | 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.05259#PS3E |
| NTA0V6JJMA | NTA0V6JJMA | 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.08697#JEJD |
| NTADAWCDNT | NTADAWCDNT | 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.40096#41JO |
| NTAFM17KP0 | NTAFM17KP0 | statement | record (an 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.18246#3WBI |
| NTBHG0JH8D | NTBHG0JH8D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.09049#FPGG |
| NTC7ME3QQS | NTC7ME3QQS | 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.27366#757T |
| NTDCQA6V93 | NTDCQA6V93 | statement | open | hott_book hlevels.tex#lem:hfiber_wrt_pullback |
| NTE022VY20 | NTE022VY20 | statement | record (an 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#XNN8 |
| NTEFQ9T8S8 | NTEFQ9T8S8 | statement | record (an 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.16002#KY7Z |
| NTF5K0ET1S | NTF5K0ET1S | 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.12633#6F82 |
| NTFZ38ZDAG | NTFZ38ZDAG | statement | record (an 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.24314#L8FQ |
| NTG4BE1RC0 | NTG4BE1RC0 | 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 1612.08394#SXEN |
| NTGBDR0TF5 | NTGBDR0TF5 | statement | record (an 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.14135#KGL3 |
| NTGVAG5RW0 | NTGVAG5RW0 | statement | record (an 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.13670#30B2 |
| nth root | FK8QVG00Y4 | unknown | open | Wikidata Q601053, MathWorld Surd, MathWorld nthRoot |
| nth-term test | DDK4ZR9Y4Z | statement | node (a node has the same Wikidata item as the row) | Wikidata Q2576932, MathWorld LimitTest |
| NTHA047CJB | NTHA047CJB | statement | record (an 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.19088#OPZ5 |
| NTHM5C4J92 | NTHM5C4J92 | 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 2606.21391#BS72 |
| NTJ0J0M404 | NTJ0J0M404 | 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.24917#SF02 |
| NTJA8MH1QN | NTJA8MH1QN | statement | record (an 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#WIGO |
| NTJKM0DPSQ | NTJKM0DPSQ | 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 1711.00219#IFCS |
| NTJX2ABPY2 | NTJX2ABPY2 | statement | record (an 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.02331#V1EB |
| NTJZ71N18C | NTJZ71N18C | statement | open | open_logic content/incompleteness/introduction/overview.tex#thm-1 |
| NTK analysis for finite linear constraints | 7BR3MZ3KR1 | statement | record (an 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.04357#60UE |
| NTK existence and exact nullspace for nonlocal integral constraints | CSB1D8JA07 | statement | record (an 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.04357#TRXI |
| NTK existence and exact nullspace for weak-form constraints | 6QGABTG3Y1 | statement | record (an 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.04357#COOJ |
| NTK2T3NQ6C | NTK2T3NQ6C | statement | record (an 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#99CD |
| NTKET7J76J | NTKET7J76J | statement | record (an 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#GW55 |
| NTKMMZMHD4 | NTKMMZMHD4 | unknown | open | arXiv 2609.33529#0ARF |
| NTKQY36TB1 | NTKQY36TB1 | 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.01267#0JJC |
| NTN6G23FP5 | NTN6G23FP5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.06927#087L |
| NTN7BG8PC5 | NTN7BG8PC5 | statement | record (an 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.18016#AX89 |
| NTN9FZ3S43 | NTN9FZ3S43 | statement | record (an 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.02407#F2M3 |
| NTPBBXZYYP | NTPBBXZYYP | statement | record (an 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.32650#7BU4 |
| NTPSRBE9BY | NTPSRBE9BY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.07352#6I4K |
| NTPW10WVMK | NTPW10WVMK | statement | record (an 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.32478#EYV9 |
| NTQ1PFCF24 | NTQ1PFCF24 | statement | record (an 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#UA0J |
| NTQFNAFD9B | NTQFNAFD9B | statement | record (an 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.15517#BDEP |
| NTQTSDGJ3S | NTQTSDGJ3S | 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 2105.13129#D34B |
| NTRGGBXSMH | NTRGGBXSMH | statement | record (an 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.18205#KJQJ |
| NTS9MX30GJ | NTS9MX30GJ | statement | record (an 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.35442#DWMC |
| NTSF0YC5QF | NTSF0YC5QF | proof | open | open_logic content/first-order-logic/tableaux/soundness.tex#proof-3 |
| NTSQ5Z8DSR | NTSQ5Z8DSR | statement | record (an 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.32174#PA6F |
| NTTP0ZKPHH | NTTP0ZKPHH | statement | record (an 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.30544#MBKD |
| NTV94JN5KA | NTV94JN5KA | statement | record (an 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.26410#JXST |
| NTVCC7FEYG | NTVCC7FEYG | exercise | open | lebl_ra ch-seq-ser.tex#exercise-5 |