Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 16301–16400 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 6NHTVN2PE0 | 6NHTVN2PE0 | statement | record (an 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.29450#MR5X |
| 6NHVHMJD0R | 6NHVHMJD0R | statement | record (an 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.02692#0Y1Z |
| 6NJ3TG6X41 | 6NJ3TG6X41 | statement | record (an 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#FUDV |
| 6NJ7WR8ZZM | 6NJ7WR8ZZM | statement | record (an 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.22288#296Y |
| 6NJSQ8X0CQ | 6NJSQ8X0CQ | statement | record (an 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.37524#KY12 |
| 6NJY3GKCS0 | 6NJY3GKCS0 | statement | record (an 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#TDWN |
| 6NK3FZTDMD | 6NK3FZTDMD | statement | record (an 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.07855#RZJO |
| 6NK4GTRT62 | 6NK4GTRT62 | proof | open | levin_dmoi ptx/exercises/seq-induction.ptx#proof-6 |
| 6NKPRCM3A5 | 6NKPRCM3A5 | statement | record (an 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.01924#XDOA |
| 6NKQEME184 | 6NKQEME184 | statement | record (an 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#PYJZ |
| 6NM76HW8ZJ | 6NM76HW8ZJ | statement | record (an 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.11823#87UP |
| 6NMRM2CPTG | 6NMRM2CPTG | statement | record (an 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.28552#H65D |
| 6NMZ1ES381 | 6NMZ1ES381 | 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 1303.4328#R4A0 |
| 6NN2T66PR4 | 6NN2T66PR4 | statement | record (an 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.33775#QHTK |
| 6NNCRVX7ZV | 6NNCRVX7ZV | statement | record (an 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.33697#HJJ2 |
| 6NNJVTSX3V | 6NNJVTSX3V | statement | record (an 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.10338#IGFF |
| 6NNQARGGQH | 6NNQARGGQH | statement | record (an 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.12108#33OX |
| 6NNQT2C1QY | 6NNQT2C1QY | statement | record (an 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.34283#RP0J |
| 6NNSG7Z860 | 6NNSG7Z860 | 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#327U |
| 6NNSGHSKJY | 6NNSGHSKJY | statement | record (an 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#3MPM |
| 6NNZ95D4PK | 6NNZ95D4PK | statement | record (an 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.10790#ZN9P |
| 6NP6KPBGBK | 6NP6KPBGBK | statement | record (an 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.09926#T9D5 |
| 6NPS3423Z9 | 6NPS3423Z9 | statement | record (an 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.06899#5LXC |
| 6NR0R3EH53 | 6NR0R3EH53 | exercise | open | lebl_ra ch-multivar-int.tex#mv:changeofvarrectside |
| 6NRPEE3GB2 | 6NRPEE3GB2 | 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#6MMM |
| 6NRQT6GX6J | 6NRQT6GX6J | statement | record (an 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.15434#NZME |
| 6NS414PCTM | 6NS414PCTM | statement | record (an 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.19535#R8XN |
| 6NS9RWRS8W | 6NS9RWRS8W | statement | record (an 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.34516#390G |
| 6NSAGNKHGK | 6NSAGNKHGK | 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.37237#E407 |
| 6NSK16CEBN | 6NSK16CEBN | statement | record (an 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.06755#DX2R |
| 6NTF8RMK6B | 6NTF8RMK6B | statement | record (an 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.25111#9LDT |
| 6NTFPYYYFQ | 6NTFPYYYFQ | statement | record (an 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.26675#H5HX |
| 6NTPCJJRQY | 6NTPCJJRQY | statement | record (an 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.21005#I3FZ |
| 6NTSP6X9ZV | 6NTSP6X9ZV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv dg-ga/9612010#WFH1 |
| 6NV049495W | 6NV049495W | statement | record (an 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.29152#NOXK |
| 6NVAFRJY5V | 6NVAFRJY5V | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-11 |
| 6NVJP9D3VC | 6NVJP9D3VC | 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.16554#A153 |
| 6NVP0DT8K1 | 6NVP0DT8K1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.12716#O8FW |
| 6NVV2XRBXN | 6NVV2XRBXN | unknown | open | arXiv 1805.04646#KHN6 |
| 6NW4SM5429 | 6NW4SM5429 | 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.11545#UKPM |
| 6NWMFVX3S8 | 6NWMFVX3S8 | statement | record (an 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.22170#WA9G |
| 6NWRBPQYHJ | 6NWRBPQYHJ | statement | record (an 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.05391#P84E |
| 6NXGVW7G7N | 6NXGVW7G7N | statement | record (an 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.36078#HEJ8 |
| 6NXNJJHMVA | 6NXNJJHMVA | statement | record (an 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.08487#T7JQ |
| 6NXV41R4TP | 6NXV41R4TP | 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 2211.16099#0ERU |
| 6NXZ060PFB | 6NXZ060PFB | statement | open | ernst_ibl MAAPressVersion/InfiniteSets.tex#cor:infiniteSetInfiniteSubset |
| 6NY7DYWMQ7 | 6NY7DYWMQ7 | statement | record (an 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.16886#XCC3 |
| 6NZ4WVFG6E | 6NZ4WVFG6E | statement | record (an 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.30579#9IX4 |
| 6NZDKDGB3D | 6NZDKDGB3D | statement | record (an 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.25353#Z85Q |
| 6NZEHA24Y0 | 6NZEHA24Y0 | statement | record (an 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.07828#NGRL |
| 6NZEQPBAK6 | 6NZEQPBAK6 | statement | record (an 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.2043#9ZH1 |
| 6op EFT over addition in Dekker's system | XA28GS6AX4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.19452#W8MJ |
| 6P04SNNJ4D | 6P04SNNJ4D | statement | record (an 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#JX8L |
| 6P0BPE5XZJ | 6P0BPE5XZJ | statement | record (an 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#R0LK |
| 6P0FXBWDSG | 6P0FXBWDSG | statement | record (an 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.07511#6ZI6 |
| 6P0HP4Q1VN | 6P0HP4Q1VN | statement | record (an 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.11487#71I3 |
| 6P0JFRVK36 | 6P0JFRVK36 | example | open | lebl_ra ch-contfunc.tex#example-12 |
| 6P0W7ZX92D | 6P0W7ZX92D | statement | record (an 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.27872#RL66 |
| 6P10N47C67 | 6P10N47C67 | statement | record (an 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.39169#LSNB |
| 6P2901DMW9 | 6P2901DMW9 | 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.20891#AIO5 |
| 6P2ANT26C9 | 6P2ANT26C9 | exercise | open | lebl_scv scv.tex#exercise-268 |
| 6P3HHHNPM9 | 6P3HHHNPM9 | statement | record (an 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.18324#GJLN |
| 6P3ZWKRBFK | 6P3ZWKRBFK | statement | open | napkin tex/alg-NT/pell.tex#theorem-2 |
| 6P4BJ2R9VK | 6P4BJ2R9VK | exercise | open | levin_dmoi ptx/exercises/counting-binom.ptx#exercise-9 |
| 6P4ENTZQXJ | 6P4ENTZQXJ | statement | record (an 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.28350#EWD4 |
| 6P52B8PBE0 | 6P52B8PBE0 | statement | record (an 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.10205#JI0C |
| 6P5GEMBZQG | 6P5GEMBZQG | statement | record (an 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#42NZ |
| 6P5N52HHC7 | 6P5N52HHC7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.15255#QP8B |
| 6P5WBYV8CD | 6P5WBYV8CD | statement | record (an 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.04314#XU6O |
| 6P7B0S4Z13 | 6P7B0S4Z13 | statement | record (an 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.28295#MV3S |
| 6P7FQ1NQ47 | 6P7FQ1NQ47 | statement | record (an 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.17267#NJT6 |
| 6P7ZJZJ4H1 | 6P7ZJZJ4H1 | definition | open | active_calculus source/sec-4-1-velocity-distance.xml#definition-1 |
| 6P8807ET9Q | 6P8807ET9Q | statement | record (an 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.31269#6YT7 |
| 6P8QZ7SC2E | 6P8QZ7SC2E | statement | record (an 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#LYKZ |
| 6P8ZWM9EX7 | 6P8ZWM9EX7 | statement | record (an 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#TVOH |
| 6P97Y99AAF | 6P97Y99AAF | proof | open | open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#proof-2 |
| 6P9HMA8BFF | 6P9HMA8BFF | unknown | open | arXiv 2610.13680#JSH1 |
| 6PA5JGQFZK | 6PA5JGQFZK | statement | record (an 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.07114#D930 |
| 6PA8EH479M | 6PA8EH479M | statement | record (an 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#B6I1 |
| 6PA94EET77 | 6PA94EET77 | statement | record (an 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.18777#A2BR |
| 6PB5NDGQGJ | 6PB5NDGQGJ | statement | record (an 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.08766#PCRS |
| 6PBFH47ZF7 | 6PBFH47ZF7 | 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 2410.22607#DX55 |
| 6PBGPZ6AT1 | 6PBGPZ6AT1 | 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#V7LX |
| 6PCAE7ABFW | 6PCAE7ABFW | statement | record (an 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#1DPX |
| 6PCSYH8YCS | 6PCSYH8YCS | statement | record (an 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#LHQX |
| 6PCXCFW9QH | 6PCXCFW9QH | statement | record (an 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.34289#YXRG |
| 6PDHN6Q7VN | 6PDHN6Q7VN | statement | record (an 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.12683#UXJR |
| 6PEEMS64F4 | 6PEEMS64F4 | statement | record (an 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.11778#41CG |
| 6PEFCWF1E4 | 6PEFCWF1E4 | 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 2504.13328#JM1A |
| 6PFN13DPXV | 6PFN13DPXV | statement | record (an 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#ZKY3 |
| 6PFWMVYM55 | 6PFWMVYM55 | statement | record (an 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.21945#DJSJ |
| 6PGJ1H1E40 | 6PGJ1H1E40 | statement | record (an 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.06488#X7FR |
| 6PGJ69XVBA | 6PGJ69XVBA | statement | record (an 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.07049#FZWC |
| 6PGMR4RF92 | 6PGMR4RF92 | 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.05193#6NXN |
| 6PH5RNWRE3 | 6PH5RNWRE3 | statement | record (an 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.20131#3UWE |
| 6PHJFTE4M8 | 6PHJFTE4M8 | statement | record (an 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.19707#4CF6 |
| 6PHV2V9T2H | 6PHV2V9T2H | statement | record (an 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.09483#MP83 |
| 6PHYCC2KAE | 6PHYCC2KAE | 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.16388#9RF9 |
| 6PJAJ690JD | 6PJAJ690JD | statement | record (an 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.11038#GP5Q |
| 6PJDNTXZWM | 6PJDNTXZWM | 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 2112.05010#9WQJ |