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 13801–13900 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 5R9AFVE89K | 5R9AFVE89K | statement | record (an 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.28143#VC9Y |
| 5R9PYJVJ6J | 5R9PYJVJ6J | statement | record (an 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#ZU01 |
| 5R9QB9Z4VW | 5R9QB9Z4VW | 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.12131#QHSJ |
| 5R9RD7BNH5 | 5R9RD7BNH5 | 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.17541#WO7J |
| 5RA00PKQJH | 5RA00PKQJH | 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.39593#14HA |
| 5RA671SS6X | 5RA671SS6X | 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#BOOF |
| 5RAVJSZ7SR | 5RAVJSZ7SR | statement | record (an 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.12295#C9UU |
| 5RB0BZMHT4 | 5RB0BZMHT4 | statement | record (an 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.26401#17TD |
| 5RB4879MK0 | 5RB4879MK0 | statement | record (an 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#IDW3 |
| 5RB5P9K9FZ | 5RB5P9K9FZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.19687#OVBK |
| 5RBR0BSS97 | 5RBR0BSS97 | statement | record (an 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.17181#KEC4 |
| 5RC01GC3DZ | 5RC01GC3DZ | statement | open | open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#prop-2 |
| 5RCJT6AMGG | 5RCJT6AMGG | 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.08039#Q57D |
| 5RCMMCT5CB | 5RCMMCT5CB | 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.11395#3SG2 |
| 5RD7T79ZGF | 5RD7T79ZGF | statement | record (an 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.19214#1W06 |
| 5RDGFDB3RZ | 5RDGFDB3RZ | statement | record (an 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.18483#VHUV |
| 5RDK4X2K5B | 5RDK4X2K5B | statement | record (an 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#0UYR |
| 5RDQ36EAD1 | 5RDQ36EAD1 | statement | record (an 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.32383#ABEP |
| 5REGD2M28V | 5REGD2M28V | statement | record (an 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.01818#6T6W |
| 5REGNR6VK1 | 5REGNR6VK1 | statement | record (an 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#E8RV |
| 5RFGKM3F1Y | 5RFGKM3F1Y | statement | record (an 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.10570#D3OO |
| 5RFK2R1ENP | 5RFK2R1ENP | 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.28552#HC0R |
| 5RFTHXGAJP | 5RFTHXGAJP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.07116#FGV2 |
| 5RG7X1MVXV | 5RG7X1MVXV | statement | record (an 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.08123#JEVF |
| 5RGFZZVPSG | 5RGFZZVPSG | exercise | open | open_logic content/incompleteness/incompleteness-provability/tarski-thm.tex#prob-1 |
| 5RGWV5FG6B | 5RGWV5FG6B | exercise | open | open_logic content/methods/induction/inductive-definitions.tex#prob-1 |
| 5RGZ3GJGJE | 5RGZ3GJGJE | statement | record (an 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.03835#VAJF |
| 5RHGHEDFCS | 5RHGHEDFCS | statement | record (an 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#Q4ZG |
| 5RHQVDY5E2 | 5RHQVDY5E2 | statement | record (an 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.09561#VABJ |
| 5RHSK29SHB | 5RHSK29SHB | statement | record (an 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.38069#FHFP |
| 5RHWJ8RYMT | 5RHWJ8RYMT | 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 2210.17066#XQL3 |
| 5RHZVS8NRP | 5RHZVS8NRP | statement | open | napkin tex/H113/structure.tex#proposition-1 |
| 5RJ5EK74AZ | 5RJ5EK74AZ | statement | record (an 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.35030#092U |
| 5RJ7W50HMT | 5RJ7W50HMT | statement | record (an 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#RT1B |
| 5RK0D0E7NF | 5RK0D0E7NF | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-25 |
| 5RK2HM885W | 5RK2HM885W | statement | record (an 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.10875#PRA0 |
| 5RKM94RKK2 | 5RKM94RKK2 | statement | record (an 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.09390#F02L |
| 5RKW08E6R0 | 5RKW08E6R0 | statement | record (an 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.19533#55PG |
| 5RM8TR521J | 5RM8TR521J | statement | record (an 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.08776#DO5C |
| 5RMKPXDC0J | 5RMKPXDC0J | statement | record (an 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.08104#IAQO |
| 5RNAG9DA4K | 5RNAG9DA4K | statement | record (an 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.20421#EQ12 |
| 5RNXWM82GP | 5RNXWM82GP | statement | record (an 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#KZLS |
| 5RP09KX9QS | 5RP09KX9QS | 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.27800#Q24L |
| 5RP8JX8RAB | 5RP8JX8RAB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2004.12552#JMWH |
| 5RQGHYQP3K | 5RQGHYQP3K | 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 2607.00146#NZQ6 |
| 5RQH5KJTSF | 5RQH5KJTSF | 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.31527#BA9Y |
| 5RRSND3GRN | 5RRSND3GRN | statement | record (an 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.02379#56A7 |
| 5RRV4883AV | 5RRV4883AV | statement | record (an 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#386Z |
| 5RRVY0Q7V8 | 5RRVY0Q7V8 | statement | record (an 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.05459#07NU |
| 5RS7RQ6WVX | 5RS7RQ6WVX | statement | record (an 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/0301148#DXO6 |
| 5RS9H26KRD | 5RS9H26KRD | statement | record (an 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.16328#QGG4 |
| 5RSDY94PW1 | 5RSDY94PW1 | statement | record (an 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.05628#KX65 |
| 5RSZ9AYZWV | 5RSZ9AYZWV | statement | record (an 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.15432#ZXY4 |
| 5RT64J632P | 5RT64J632P | statement | record (an 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.06581#8W96 |
| 5RTHWT2PGA | 5RTHWT2PGA | statement | record (an 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#T3SV |
| 5RTRBGP5EX | 5RTRBGP5EX | statement | record (an 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.31102#C3TH |
| 5RVT0EVZDF | 5RVT0EVZDF | statement | record (an 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#BYAC |
| 5RWPN2E0Z7 | 5RWPN2E0Z7 | statement | record (an 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.28336#MKF4 |
| 5RX54N0DZN | 5RX54N0DZN | statement | record (an 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.25468#40G8 |
| 5RX93XPYBP | 5RX93XPYBP | definition | open | napkin tex/topology/top-more.tex#definition-10 |
| 5RXK1C89YC | 5RXK1C89YC | statement | record (an 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#L4DY |
| 5RY1PRRA5P | 5RY1PRRA5P | statement | record (an 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.02244#DW09 |
| 5RY1Z1N8CN | 5RY1Z1N8CN | statement | record (an 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.32977#FPSH |
| 5RYGR8G1ZQ | 5RYGR8G1ZQ | statement | record (an 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.12330#NZMG |
| 5RZJF15T6Y | 5RZJF15T6Y | statement | record (an 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.01694#4Y5M |
| 5RZSBTJ0WR | 5RZSBTJ0WR | statement | record (an 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.22272#E9P7 |
| 5RZTCRQNSY | 5RZTCRQNSY | statement | record (an 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#OVO3 |
| 5RZVD7PEAM | 5RZVD7PEAM | statement | record (an 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.30274#33PJ |
| 5S00SHH5FK | 5S00SHH5FK | statement | record (an 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#D4EM |
| 5S0R4CG3AS | 5S0R4CG3AS | statement | record (an 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.03081#C4RS |
| 5S1AKCQKX1 | 5S1AKCQKX1 | exercise | open | ernst_ibl MAAPressVersion/UncountableSets.tex#problem-1 |
| 5S1FG2X3FD | 5S1FG2X3FD | statement | record (an 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.14267#X8V7 |
| 5S1PBTQ4AE | 5S1PBTQ4AE | 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 2409.20170#75B8 |
| 5S2MDKAF5B | 5S2MDKAF5B | exercise | open | lebl_ra ch-metric.tex#exercise-70 |
| 5S2S184P3J | 5S2S184P3J | statement | record (an 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.24325#7POA |
| 5S32KFWNM8 | 5S32KFWNM8 | statement | record (an 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#8V62 |
| 5S36ZXBRZ8 | 5S36ZXBRZ8 | statement | record (an 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.13618#6FJM |
| 5S3CZTZEKY | 5S3CZTZEKY | statement | record (an 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#F7EV |
| 5S3DFCS0DK | 5S3DFCS0DK | 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.05232#WXB2 |
| 5S3HP5NMES | 5S3HP5NMES | 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.25915#QLFV |
| 5S3WP7HDB1 | 5S3WP7HDB1 | statement | record (an 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.18101#TOQ7 |
| 5S4GPHWDY4 | 5S4GPHWDY4 | unknown | open | arXiv 2609.35404#TZ9G |
| 5S4YTKC186 | 5S4YTKC186 | statement | record (an 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.01225#JSTD |
| 5S4Z1D4H54 | 5S4Z1D4H54 | statement | record (an 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#ZQHW |
| 5S52KWXCK0 | 5S52KWXCK0 | statement | record (an 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.33421#FYEG |
| 5S55EQX3FZ | 5S55EQX3FZ | statement | record (an 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#C2M2 |
| 5S59K6J0ZS | 5S59K6J0ZS | statement | record (an 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.33469#XAVP |
| 5S5ARJ3TG5 | 5S5ARJ3TG5 | statement | record (an 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.12479#PFC9 |
| 5S5BHD0RJV | 5S5BHD0RJV | 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.36622#PCEV |
| 5S5T2587S6 | 5S5T2587S6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1002.0879#AO9A |
| 5S5W0WVPGD | 5S5W0WVPGD | 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/9201244#6G64 |
| 5S625NZ7YD | 5S625NZ7YD | statement | record (an 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#PZO1 |
| 5S7HX0Y4MS | 5S7HX0Y4MS | statement | record (an 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.35574#GJOR |
| 5S7N406C0T | 5S7N406C0T | statement | record (an 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.24408#6AA0 |
| 5S888CAHTF | 5S888CAHTF | 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.04709#2QNH |
| 5S8CPWYBGF | 5S8CPWYBGF | statement | record (an 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.17875#EYV8 |
| 5S8JWDRSRT | 5S8JWDRSRT | statement | record (an 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.38126#8U6A |
| 5S8N4Z5N90 | 5S8N4Z5N90 | statement | record (an 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.06707#MNSY |
| 5S960DHNGZ | 5S960DHNGZ | 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#7YXB |
| 5S9AWZEGRC | 5S9AWZEGRC | statement | record (an 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.21489#E2IM |