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 1701–1800 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| NFBT1QKN3V | NFBT1QKN3V | statement | record (an 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.36444#ZM3J |
| NFBV8BMX5A | NFBV8BMX5A | statement | open | open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#lem:bounded-quant-equiv |
| NFCNBMFXER | NFCNBMFXER | statement | record (an 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.24845#K0D8 |
| NFD8AQJG9J | NFD8AQJG9J | 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 1904.08413#0DX9 |
| NFDMT1WX0C | NFDMT1WX0C | statement | record (an 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#04JL |
| NFE18S5D8S | NFE18S5D8S | statement | record (an 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.25390#UNCP |
| NFE7V9KYNK | NFE7V9KYNK | statement | record (an 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.34852#5T1Q |
| NFEXBEPF0D | NFEXBEPF0D | 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#Q9WF |
| NFFDVQQBKC | NFFDVQQBKC | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-32 |
| NFGCNGSGQC | NFGCNGSGQC | exercise | open | lebl_ra ch-vol1-intro.tex#exercise-26 |
| NFGMB191RP | NFGMB191RP | statement | record (an 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.35600#ORCA |
| NFGXFP2M4M | NFGXFP2M4M | 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.32358#1L9W |
| NFHKEKAZXK | NFHKEKAZXK | 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 2607.00146#8X15 |
| NFHMQKDE7Q | NFHMQKDE7Q | statement | record (an 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.14312#OWBC |
| NFHVHMYXV0 | NFHVHMYXV0 | statement | record (an 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.30527#LAXK |
| NFHYSNNZFN | NFHYSNNZFN | statement | record (an 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.02901#33XO |
| NFJPPM6GTS | NFJPPM6GTS | statement | record (an 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.29759#L27N |
| NFK2V6WC5H | NFK2V6WC5H | proof | open | napkin tex/alg-NT/artin.tex#proof-2 |
| NFK486416G | NFK486416G | proof | open | open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#proof-2 |
| NFK4SS8QTK | NFK4SS8QTK | statement | record (an 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.27694#37F8 |
| NFK7DY668Y | NFK7DY668Y | statement | record (an 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.21092#LDKG |
| NFKB5WEBYA | NFKB5WEBYA | statement | record (an 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#VOMH |
| NFKGW3D90G | NFKGW3D90G | statement | record (an 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.34570#8AFM |
| NFKRKZB99G | NFKRKZB99G | proof | open | open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#proof-1 |
| NFKW8C9H4W | NFKW8C9H4W | statement | record (an 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.15385#PCYV |
| NFM3950YXA | NFM3950YXA | 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 2303.09207#T5UV |
| NFM3T8GGAR | NFM3T8GGAR | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-27 |
| NFM8T3DNFG | NFM8T3DNFG | statement | record (an 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.26180#X8K1 |
| NFM9Q6999J | NFM9Q6999J | statement | record (an 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.36021#8VJQ |
| NFMXZ74PNH | NFMXZ74PNH | 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 2610.01899#CSOO |
| NFN09HEQXA | NFN09HEQXA | statement | record (an 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.07292#EY2X |
| NFNBCH604K | NFNBCH604K | statement | record (an 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#CS0F |
| NFPJJKHT74 | NFPJJKHT74 | statement | record (an 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.03323#WWQY |
| NFPVCYHNM7 | NFPVCYHNM7 | 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.09596#A8SI |
| NFQ08KHE7N | NFQ08KHE7N | 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 2212.01916#2OPB |
| NFQ74GTES2 | NFQ74GTES2 | statement | record (an 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.04411#22QV |
| NFQAY9869Z | NFQAY9869Z | 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.07370#6R1K |
| NFQDXT692W | NFQDXT692W | statement | record (an 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.14838#T8MC |
| NFR381QTDY | NFR381QTDY | statement | record (an 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.24542#R9XB |
| NFR71D9K0T | NFR71D9K0T | statement | record (an 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.26588#B1J0 |
| NFRCVNNJW7 | NFRCVNNJW7 | statement | record (an 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.36412#G0D5 |
| NFREXDTZ6Z | NFREXDTZ6Z | statement | record (an 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.21545#PXO8 |
| NFRT5MSHXY | NFRT5MSHXY | 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.28141#FXBL |
| NFS4MYM3S9 | NFS4MYM3S9 | statement | record (an 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.33015#B5ZT |
| NFS9TQQYHE | NFS9TQQYHE | statement | record (an 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.26382#YRV4 |
| NFSBKSJAA5 | NFSBKSJAA5 | statement | record (an 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.16003#RI39 |
| NFSD4DQWMX | NFSD4DQWMX | exercise | open | napkin tex/quantum/vectors.tex#ques-2 |
| NFSMF7C9S6 | NFSMF7C9S6 | statement | record (an 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.26477#9OLD |
| NFSW47566C | NFSW47566C | statement | record (an 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#MJHL |
| NFSXGFYHHN | NFSXGFYHHN | statement | open | napkin tex/calculus/limits.tex#theorem-1 |
| NFT5803HRM | NFT5803HRM | 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 2610.20558#414H |
| NFT8NFHKJM | NFT8NFHKJM | statement | record (an 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.04844#3R6U |
| NFT8ZG9HB1 | NFT8ZG9HB1 | statement | record (an 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.11793#E5O7 |
| NFTGGMCVHP | NFTGGMCVHP | statement | record (an 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.19288#5TS2 |
| NFTXMXHY37 | NFTXMXHY37 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.05398#890A |
| NFV31C33HJ | NFV31C33HJ | proof | open | napkin tex/H113/ring-flavors.tex#proof-3 |
| NFV3CYFY5G | NFV3CYFY5G | exercise | open | lebl_ra ch-riemann.tex#exercise-3 |
| NFVEWS5K0J | NFVEWS5K0J | 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.22074#LIA9 |
| NFVFSHTHR5 | NFVFSHTHR5 | 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.35191#ZGGK |
| NFVT4BKZ7E | NFVT4BKZ7E | statement | record (an 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.15313#PFLF |
| NFVTC6Q5QM | NFVTC6Q5QM | statement | record (an 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.27246#762P |
| NFW9KKX451 | NFW9KKX451 | statement | record (an 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#MSEV |
| NFWFQWKYK7 | NFWFQWKYK7 | statement | record (an 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#WMGV |
| NFWSK759VW | NFWSK759VW | proof | open | open_logic content/set-theory/cardinals/classing.tex#proof-6 |
| NFX9GJGK99 | NFX9GJGK99 | statement | record (an 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.38131#8ONX |
| NFXKFF85HK | NFXKFF85HK | statement | record (an 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.19528#IUKW |
| NFXKQD9SBV | NFXKQD9SBV | statement | record (an 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.09319#DE4F |
| NFY9D9VX7V | NFY9D9VX7V | statement | record (an 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.13358#DWV8 |
| NFZ2RJVDX3 | NFZ2RJVDX3 | statement | record (an 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.00512#L5X0 |
| NG14J2ZCRW | NG14J2ZCRW | statement | record (an 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.19260#93VD |
| NG1H7MWWA7 | NG1H7MWWA7 | statement | record (an 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#KDK8 |
| NG213C0TTZ | NG213C0TTZ | statement | record (an 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.07409#5QUW |
| NG25W0VA7M | NG25W0VA7M | statement | record (an 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.16779#I7J6 |
| NG2B0QJ12N | NG2B0QJ12N | statement | record (an 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.28509#GZ4T |
| NG34EG3V0E | NG34EG3V0E | statement | record (an 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.19333#2KRR |
| NG3TNY8HS8 | NG3TNY8HS8 | statement | open | austin_ula src/section7-4.xml#prop-svd-transpose |
| NG4C1F8WVX | NG4C1F8WVX | exercise | open | lebl_diffyqs ch-systems.tex#exercise-52 |
| NG4YA9084J | NG4YA9084J | statement | record (an 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.33573#BQAC |
| NG558TR9P5 | NG558TR9P5 | statement | record (an 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.28993#WJSG |
| NG5DSZEJZF | NG5DSZEJZF | proof | open | napkin tex/alg-geom/spec-zariski.tex#proof-3 |
| NG5QT9GD2M | NG5QT9GD2M | statement | record (an 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.09672#2D1W |
| NG5SM8QAB2 | NG5SM8QAB2 | 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 2405.14678#ZUFT |
| NG6C3B4FG4 | NG6C3B4FG4 | statement | record (an 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.14783#YNIV |
| NG6TXCSGS2 | NG6TXCSGS2 | statement | record (an 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.18287#BVCW |
| NG72RHN06W | NG72RHN06W | statement | record (an 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.14060#SVJJ |
| NG7BZZ9ATX | NG7BZZ9ATX | exercise | open | hott_book setmath.tex#ex:surjections-have-sections-impl-ac |
| NG7CY1TSX4 | NG7CY1TSX4 | definition | open | napkin tex/measure/lebesgue-int.tex#definition-3 |
| NG7KF8H1YX | NG7KF8H1YX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.04174#CRVO |
| NG7VVXVRMG | NG7VVXVRMG | statement | record (an 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#GHIS |
| NG81VDTXAA | NG81VDTXAA | statement | record (an 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.27078#3XF8 |
| NG8943M25C | NG8943M25C | statement | record (an 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.06473#IFT2 |
| NG8BBN8BBE | NG8BBN8BBE | 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.25703#5GPU |
| NG8DHQTR3V | NG8DHQTR3V | definition | open | hott_book categories.tex#ct:sig |
| NG8RKEXWKA | NG8RKEXWKA | statement | record (an 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.02642#M6M2 |
| NG8W35RE9X | NG8W35RE9X | statement | record (an 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.07099#4PT7 |
| NG8Y3XC4T3 | NG8Y3XC4T3 | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-3 |
| NG9B1MCTAC | NG9B1MCTAC | statement | record (an 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.37606#F2WB |
| NGA7TV2VFX | NGA7TV2VFX | proof | open | open_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#proof-3 |
| NGA9NZGW2X | NGA9NZGW2X | statement | record (an 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.38436#FFTI |
| NGAN7895P2 | NGAN7895P2 | 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 2610.18094#TA29 |