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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 15801–15900 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 5R1WPX7JQ7 | 5R1WPX7JQ7 | exercise | open | lebl_scv scv.tex#exercise-24 |
| 5R24T99J5A | 5R24T99J5A | statement | record (an 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.07530#P92U |
| 5R2QVV8HTV | 5R2QVV8HTV | statement | record (an 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.30354#KVAA |
| 5R33SW1GBY | 5R33SW1GBY | statement | record (an 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.18270#CY6K |
| 5R36A5WNH8 | 5R36A5WNH8 | statement | record (an 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.13913#C8MW |
| 5R388R30G1 | 5R388R30G1 | statement | record (an 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.30637#GD79 |
| 5R3HVJ3D35 | 5R3HVJ3D35 | unknown | open | |
| 5R425F8R4B | 5R425F8R4B | statement | record (an 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.15770#88WY |
| 5R4A0ESTHE | 5R4A0ESTHE | statement | record (an 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.01612#CVOG |
| 5R50RB9NFK | 5R50RB9NFK | definition | open | ernst_ibl MAAPressVersion/Relations.tex#definition-1 |
| 5R51K8122W | 5R51K8122W | 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 1903.07030#ONSA |
| 5R57FCM43G | 5R57FCM43G | statement | record (an 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.02097#WZA8 |
| 5R5B0SRWBD | 5R5B0SRWBD | proof | open | open_logic content/set-theory/ordinals/basic.tex#proof-6 |
| 5R5GFMR61S | 5R5GFMR61S | statement | record (an 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.02870#91H1 |
| 5R5GTVA5KM | 5R5GTVA5KM | 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.09333#4NJ4 |
| 5R621P0HYA | 5R621P0HYA | statement | record (an 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.21045#2G8D |
| 5R6807152R | 5R6807152R | statement | record (an 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.10745#XFMY |
| 5R71Y98SD6 | 5R71Y98SD6 | statement | record (an 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#4JQ7 |
| 5R74WSFMXD | 5R74WSFMXD | statement | record (an 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.37584#AKMR |
| 5R75PCGKSB | 5R75PCGKSB | example | open | napkin tex/alg-NT/artin.tex#example-4 |
| 5R7C2DV66A | 5R7C2DV66A | statement | record (an 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.18847#GN62 |
| 5R7KNWAA6C | 5R7KNWAA6C | statement | record (an 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.39307#UR0X |
| 5R7WNHZRW8 | 5R7WNHZRW8 | 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#UH7H |
| 5R7WNRSF71 | 5R7WNRSF71 | statement | record (an 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.10469#MXD2 |
| 5R8DBBXKKB | 5R8DBBXKKB | statement | record (an 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.28357#M05M |
| 5R8E32NCQJ | 5R8E32NCQJ | statement | record (an 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#1F4C |
| 5R8K36BRBB | 5R8K36BRBB | statement | record (an 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.18620#SASB |
| 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 |
| 5RC6JJFE0X | 5RC6JJFE0X | statement | record (an 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.21949#5294 |
| 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 |
| 5RE1NGRST7 | 5RE1NGRST7 | statement | record (an 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.21098#TUHU |
| 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 |
| 5RJTFQT69X | 5RJTFQT69X | statement | record (an 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.20588#VKN3 |
| 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 |
| 5RTA51VETT | 5RTA51VETT | 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.23279#TP3P |
| 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 |
| 5RV56X111M | 5RV56X111M | statement | record (an 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.20528#KL5D |
| 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 |
| 5RX0HW86M5 | 5RX0HW86M5 | statement | record (an 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.22465#MHX8 |
| 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 |