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 3001–3100 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| NQBJDQ009K | NQBJDQ009K | statement | record (an 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#XFMA |
| NQCHR4MMJY | NQCHR4MMJY | statement | record (an 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.29605#A2CG |
| NQCY84BVD9 | NQCY84BVD9 | statement | record (an 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.13850#75O4 |
| NQD102BNNB | NQD102BNNB | statement | record (an 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.08091#I7B0 |
| NQDJ8CH6EH | NQDJ8CH6EH | statement | record (an 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.39782#0JIY |
| NQEEMSYDTK | NQEEMSYDTK | 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 1709.00677#M59K |
| NQF973AKHW | NQF973AKHW | statement | record (an 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.02893#7FRZ |
| NQFMWPXBT2 | NQFMWPXBT2 | statement | record (an 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#84CD |
| NQG9RGT4JN | NQG9RGT4JN | 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.13291#K049 |
| NQGNP7TYTC | NQGNP7TYTC | example | open | lebl_ra ch-one-dim-ints-sv.tex#example-1 |
| NQJ17R80MS | NQJ17R80MS | statement | open | open_logic content/first-order-logic/completeness/compactness-direct.tex#lem:fsat-lindenbaum |
| NQJ2S75M0Z | NQJ2S75M0Z | statement | record (an 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.29806#PS1D |
| NQJE1180JK | NQJE1180JK | proof | open | open_logic content/computability/computability-theory/equiv-ce-defs.tex#proof-1 |
| NQJRVWAMRN | NQJRVWAMRN | statement | record (an 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#KY87 |
| NQK4NT5YKZ | NQK4NT5YKZ | 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.21960#W15X |
| NQKNJA8AV2 | NQKNJA8AV2 | statement | record (an 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.09949#F76Z |
| NQKV7DFC87 | NQKV7DFC87 | exercise | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#problem-1 |
| NQMHRFB5NY | NQMHRFB5NY | exercise | open | lebl_ra ch-approximate.tex#exercise-67 |
| NQN4D8ZMS7 | NQN4D8ZMS7 | exercise | open | lebl_scv scv.tex#exercise-130 |
| NQN82QZAXC | NQN82QZAXC | statement | record (an 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.08193#OVRM |
| NQNBM83FKV | NQNBM83FKV | statement | open | open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#prop-1 |
| NQNJ4YYMH7 | NQNJ4YYMH7 | statement | open | open_logic content/first-order-logic/axiomatic-deduction/provability.tex#lem:free-for |
| NQNVYXFC1J | NQNVYXFC1J | statement | record (an 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.25289#U216 |
| NQPF9WC0MK | NQPF9WC0MK | statement | record (an 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.35927#Q4NN |
| NQQ9SJTC5P | NQQ9SJTC5P | statement | record (an 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.33019#52TR |
| NQQDRPMYS1 | NQQDRPMYS1 | statement | record (an 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.37425#YET2 |
| NQQVQM85HS | NQQVQM85HS | 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.09442#S7WH |
| NQR7D3F8TE | NQR7D3F8TE | statement | record (an 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.16884#9BRK |
| NQRD084BG4 | NQRD084BG4 | statement | record (an 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#SX25 |
| NQRZ543W6J | NQRZ543W6J | statement | record (an 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.09704#OGC8 |
| NQS34SKRZ9 | NQS34SKRZ9 | statement | record (an 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.12371#TMW8 |
| NQSJFN9EEA | NQSJFN9EEA | statement | record (an 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.05696#T8QS |
| NQSS1MWE4D | NQSS1MWE4D | 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.05299#7IBU |
| NQSS5H7HC0 | NQSS5H7HC0 | statement | record (an 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.08568#5E9L |
| NQSWCGQYD0 | NQSWCGQYD0 | statement | record (an 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.16339#QHOD |
| NQTP4AEX5Y | NQTP4AEX5Y | statement | record (an 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.13030#5BIA |
| NQV3KDTGH8 | NQV3KDTGH8 | 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.28265#UYKK |
| NQVGKF63FM | NQVGKF63FM | statement | record (an 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.01354#LJOQ |
| NQVX4DC3C2 | NQVX4DC3C2 | exercise | open | lebl_ra ch-approximate.tex#exercise-40 |
| NQW74NXA5J | NQW74NXA5J | definition | open | napkin tex/linalg/fourier.tex#definition-2 |
| NQX0JMDZ9Z | NQX0JMDZ9Z | 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.11545#MDHP |
| NQYBG0PJNB | NQYBG0PJNB | 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.39539#TVNN |
| NQYS4DZNRE | NQYS4DZNRE | exercise | open | lebl_ra ch-seq-ser.tex#exercise-50 |
| NQZRJTZRFK | NQZRJTZRFK | 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.04870#T1LA |
| NR04XKGPR3 | NR04XKGPR3 | 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.27301#8IFM |
| NR0573MY6M | NR0573MY6M | 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.10505#BZK1 |
| NR0DAKF7TF | NR0DAKF7TF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.26376#7KCH |
| NR0NRMPGDC | NR0NRMPGDC | statement | record (an 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#KHJE |
| NR18KH5C6S | NR18KH5C6S | statement | record (an 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.02751#MH2B |
| NR1AMAXCPA | NR1AMAXCPA | statement | record (an 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.31768#ZEAE |
| NR1CTSZD85 | NR1CTSZD85 | statement | record (an 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.30200#DDTJ |
| NR1PVMXMAQ | NR1PVMXMAQ | statement | record (an 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.39389#RO5N |
| NR20Z8V5R5 | NR20Z8V5R5 | 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#SOXN |
| NR2BNHWBFG | NR2BNHWBFG | 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 2207.12181#KNBY |
| NR2CZ7S1KC | NR2CZ7S1KC | statement | record (an 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.02312#O3YD |
| NR2S7YV0NJ | NR2S7YV0NJ | statement | record (an 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#4CGO |
| NR2TG7G086 | NR2TG7G086 | 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#9PFM |
| NR2VNVVFJD | NR2VNVVFJD | statement | record (an 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.28489#JTM8 |
| NR38MZ3S08 | NR38MZ3S08 | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-11 |
| NR390YD2HH | NR390YD2HH | statement | record (an 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.19694#RCRP |
| NR3AW3N94N | NR3AW3N94N | statement | record (an 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#7Q11 |
| NR3EJZEKMD | NR3EJZEKMD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.26376#6V53 |
| NR3P1M93B0 | NR3P1M93B0 | statement | record (an 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.12329#TEQV |
| NR3RPEQ8XJ | NR3RPEQ8XJ | statement | record (an 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.28814#5HHA |
| NR3THTJD62 | NR3THTJD62 | statement | record (an 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.18690#CKCC |
| NR3Y18BRX6 | NR3Y18BRX6 | statement | record (an 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.02436#7K4X |
| NR4137H7PG | NR4137H7PG | statement | record (an 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.19273#OJ83 |
| NR4V9K6G2N | NR4V9K6G2N | statement | record (an 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.10935#QD0E |
| NR4ZF1Y24G | NR4ZF1Y24G | 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.16962#TLBK |
| NR5H3SDQXQ | NR5H3SDQXQ | statement | record (an 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.00775#YQN0 |
| NR5J3YPR88 | NR5J3YPR88 | statement | record (an 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#BN4J |
| NR6BJ42NKX | NR6BJ42NKX | statement | record (an 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.28411#0X7F |
| NR6E5KJZSF | NR6E5KJZSF | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-43 |
| NR6FKVJJFB | NR6FKVJJFB | exercise | open | napkin tex/H113/ring-intro.tex#exercise-1 |
| NR6NW0TNB3 | NR6NW0TNB3 | statement | record (an 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.07021#45J3 |
| NR79B1HCBA | NR79B1HCBA | statement | record (an 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.28323#QRU5 |
| NR81NJRQH4 | NR81NJRQH4 | statement | record (an 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.33733#4C0Y |
| NR8KHK80WV | NR8KHK80WV | 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.16123#DRQU |
| NR99AASPS8 | NR99AASPS8 | unknown | open | |
| NRA5QSX0D7 | NRA5QSX0D7 | 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.24577#6P9G |
| NRAH38SXEY | NRAH38SXEY | 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 2103.12669#KJQD |
| NRAQDQEF3G | NRAQDQEF3G | statement | record (an 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.11906#KRH9 |
| NRAV1HF2A7 | NRAV1HF2A7 | statement | record (an 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.00021#G2V6 |
| NRBJB4GTNN | NRBJB4GTNN | exercise | open | lebl_ra ch-approximate.tex#exercise-31 |
| NRBZ4M8SZ4 | NRBZ4M8SZ4 | statement | record (an 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.14555#M3BT |
| NRC3S6N0E2 | NRC3S6N0E2 | statement | open | open_logic content/computability/computability-theory/equiv-ce-defs.tex#thm:ce-equiv |
| NRC4J4TQVN | NRC4J4TQVN | statement | record (an 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.17759#7TSH |
| NRDC5E0T8N | NRDC5E0T8N | example | open | open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#ex-1 |
| NRDCNZT7R0 | NRDCNZT7R0 | statement | record (an 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.25449#TSI4 |
| NRDFP4VWM7 | NRDFP4VWM7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.17066#A424 |
| NRECHQC25Q | NRECHQC25Q | 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.38030#80ND |
| NRGGN1ZYF5 | NRGGN1ZYF5 | proof | open | open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#proof-3 |
| NRGKCQQJA5 | NRGKCQQJA5 | statement | record (an 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.30648#Z6DQ |
| NRGXKTPQEY | NRGXKTPQEY | 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#LDN6 |
| NRHH95G8BK | NRHH95G8BK | 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.21752#J4AP |
| NRJ3MAYQ62 | NRJ3MAYQ62 | exercise | open | austin_ula src/exercises/exercises7-3.xml#exercise-3 |
| NRJ87P5NN2 | NRJ87P5NN2 | statement | record (an 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.40054#R4V7 |
| NRJJ5ZPKJR | NRJJ5ZPKJR | statement | record (an 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.24448#0WYV |
| NRJYY6ZPF4 | NRJYY6ZPF4 | statement | record (an 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.18017#YT23 |
| NRJZ66NQVE | NRJZ66NQVE | statement | record (an 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.07092#TJHF |