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 7601–7700 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3FE12B9H4M | 3FE12B9H4M | proof | open | open_logic content/proof-theory/natural-deduction/quantifiers.tex#proof-2 |
| 3FE62K0HMR | 3FE62K0HMR | statement | record (an 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.05403#KHXW |
| 3FEN34MGEV | 3FEN34MGEV | statement | record (an 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.14204#9YTP |
| 3FEQCAS8YY | 3FEQCAS8YY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.07892#ZBPM |
| 3FER7V84GS | 3FER7V84GS | statement | record (an 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.36321#YEQL |
| 3FEV2QZW0Y | 3FEV2QZW0Y | statement | record (an 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.24363#A6VD |
| 3FFG1M8H4Y | 3FFG1M8H4Y | 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.12054#NK4Z |
| 3FGFNKY1W6 | 3FGFNKY1W6 | statement | record (an 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.12736#35WR |
| 3FHQR78FHQ | 3FHQR78FHQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.15716#Y3C2 |
| 3FHS6W0E89 | 3FHS6W0E89 | 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.17817#LF83 |
| 3FJ28JKNMX | 3FJ28JKNMX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.05191#X0P8 |
| 3FJ6WN44DC | 3FJ6WN44DC | 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.37520#3RA3 |
| 3FJH0PV3TG | 3FJH0PV3TG | statement | record (an 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.21627#9GIC |
| 3FJN1VBJBP | 3FJN1VBJBP | 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 2303.09207#LBRA |
| 3FJYK9CW4W | 3FJYK9CW4W | 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.19437#9I30 |
| 3FJZFZ9MPQ | 3FJZFZ9MPQ | statement | record (an 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.15472#0T1S |
| 3FK5HMTDKZ | 3FK5HMTDKZ | 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 2503.16884#6SBE |
| 3FK8ETGGES | 3FK8ETGGES | 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.15881#4FX5 |
| 3FM5K0T2NM | 3FM5K0T2NM | statement | record (an 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.14434#SZYO |
| 3FN3KKVCX5 | 3FN3KKVCX5 | proof | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#proof-1 |
| 3FNFPQ35SF | 3FNFPQ35SF | definition | open | napkin tex/H113/sylow.tex#definition-2 |
| 3FNNMCA4W5 | 3FNNMCA4W5 | statement | record (an 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.03327#NVES |
| 3FNSF5NXT7 | 3FNSF5NXT7 | 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.15180#WCY9 |
| 3FP5S7S416 | 3FP5S7S416 | statement | record (an 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.16514#JNWW |
| 3FQ24A4H9X | 3FQ24A4H9X | statement | record (an 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.26001#8UHF |
| 3FQ5CESK0B | 3FQ5CESK0B | 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 2108.10246#Q9H5 |
| 3FQ78KN9E2 | 3FQ78KN9E2 | statement | open | open_logic content/set-theory/spine/stagesbasics.tex#cor-1 |
| 3FQ9PVJ022 | 3FQ9PVJ022 | statement | record (an 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.14097#T1C9 |
| 3FQD6A1MD9 | 3FQD6A1MD9 | statement | record (an 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#Y9JU |
| 3FQRZWB942 | 3FQRZWB942 | statement | record (an 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.06541#7Q6H |
| 3FQV3HQDN3 | 3FQV3HQDN3 | statement | record (an 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#G8PZ |
| 3FR4AQ7Q30 | 3FR4AQ7Q30 | proof | open | napkin tex/H113/ring-flavors.tex#proof-5 |
| 3FR6MKCRG7 | 3FR6MKCRG7 | statement | record (an 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.30819#LZ7H |
| 3FR87415ZT | 3FR87415ZT | 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.28669#YSEX |
| 3FRDG2XA8N | 3FRDG2XA8N | statement | record (an 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.11619#UTHK |
| 3FRHKCQG79 | 3FRHKCQG79 | statement | record (an 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.36613#08UE |
| 3FRN6BWVQB | 3FRN6BWVQB | statement | record (an 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.21501#88O0 |
| 3FRTMSN58Y | 3FRTMSN58Y | statement | record (an 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.30821#7Z9U |
| 3FS9MC4PE0 | 3FS9MC4PE0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1606.05058#R1G9 |
| 3FTBV4C0PB | 3FTBV4C0PB | statement | record (an 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.02833#LRVP |
| 3FTM7ME400 | 3FTM7ME400 | 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.05990#AXP4 |
| 3FV6HVPECX | 3FV6HVPECX | statement | record (an 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.29489#6UVF |
| 3FVV48XSHJ | 3FVV48XSHJ | statement | record (an 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.29925#MJNZ |
| 3FWBNPRHRK | 3FWBNPRHRK | statement | record (an 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.25345#VWLK |
| 3FWR6VBHRV | 3FWR6VBHRV | statement | record (an 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.09019#4Q5A |
| 3FWXYVAJ3H | 3FWXYVAJ3H | statement | record (an 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#OBGO |
| 3FXGW06NZ7 | 3FXGW06NZ7 | exercise | open | napkin tex/alg-NT/artin.tex#prob:hilbert_class_field |
| 3FY369R5F2 | 3FY369R5F2 | statement | record (an 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.20416#TU96 |
| 3FYB1NMA7B | 3FYB1NMA7B | statement | record (an 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.00589#EM5J |
| 3FYEWNRK1C | 3FYEWNRK1C | example | open | austin_ula src/section4-2.xml#example-6 |
| 3FZ1MHQQQW | 3FZ1MHQQQW | statement | open | open_logic content/second-order-logic/sol-and-set-theory/cardinalities.tex#prop-1 |
| 3FZGRBTVBT | 3FZGRBTVBT | statement | open | open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#thm:sigma1-completeness |
| 3FZGW48815 | 3FZGW48815 | exercise | open | lebl_ra ch-metric.tex#exercise-23 |
| 3G0378CHRQ | 3G0378CHRQ | statement | record (an 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#027D |
| 3G06GZEWAR | 3G06GZEWAR | 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.32977#RDB9 |
| 3G0BQHR3WJ | 3G0BQHR3WJ | statement | record (an 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#YR7V |
| 3G13TZR896 | 3G13TZR896 | definition | open | austin_ula src/section1-2.xml#reduced-row-echelon |
| 3G14CZ6EP6 | 3G14CZ6EP6 | 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.09557#QVIG |
| 3G1JFNEJZP | 3G1JFNEJZP | 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 0809.0068#BK6Q |
| 3G1XVM049A | 3G1XVM049A | statement | record (an 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.01737#DV9X |
| 3G1Y029RD4 | 3G1Y029RD4 | 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#UT1D |
| 3G2ZKVZ14X | 3G2ZKVZ14X | 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.10262#0VRQ |
| 3G32QTZNH2 | 3G32QTZNH2 | statement | record (an 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.35307#2M97 |
| 3G37CG1HMS | 3G37CG1HMS | 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 2610.18544#5457 |
| 3G3GC9YV3N | 3G3GC9YV3N | statement | record (an 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.05314#Q4K3 |
| 3G3MVAFVR5 | 3G3MVAFVR5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.2839#FPNL |
| 3G3RQA0W4F | 3G3RQA0W4F | statement | record (an 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.25307#S7LV |
| 3G3TWPR72Z | 3G3TWPR72Z | statement | record (an 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.16081#6VCV |
| 3G45PQKWKF | 3G45PQKWKF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.04593#3OUG |
| 3G4KZA3T22 | 3G4KZA3T22 | 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.04046#6URB |
| 3G4ZPPMSE2 | 3G4ZPPMSE2 | statement | record (an 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.16102#LGCK |
| 3G59428P7S | 3G59428P7S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.05392#57WU |
| 3G5TB70N76 | 3G5TB70N76 | statement | record (an 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.36068#HUQJ |
| 3G65NNS5VA | 3G65NNS5VA | exercise | open | napkin tex/alg-geom/sheaves.tex#problem-2 |
| 3G69KV0EVE | 3G69KV0EVE | 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 2306.00590#VX66 |
| 3G6ARA7GQC | 3G6ARA7GQC | statement | record (an 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.36668#RYXZ |
| 3G71TKWZ6F | 3G71TKWZ6F | statement | record (an 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.10581#TBKE |
| 3G748Y0W70 | 3G748Y0W70 | exercise | open | lebl_scv scv.tex#exercise:intersectionhpseudo |
| 3G7B3HVGFN | 3G7B3HVGFN | 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.13295#N41A |
| 3G7MVSZSNN | 3G7MVSZSNN | proof | open | napkin tex/diffgeo/stokes.tex#proof-1 |
| 3G7PTRAVSQ | 3G7PTRAVSQ | statement | record (an 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.13528#2G35 |
| 3G7X4VXCQ6 | 3G7X4VXCQ6 | exercise | open | napkin tex/linalg/dets.tex#problem-2 |
| 3G7X9SW9CT | 3G7X9SW9CT | statement | record (an 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.12513#OCTR |
| 3G8AYCKRG7 | 3G8AYCKRG7 | statement | record (an 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.05179#QSAH |
| 3G94RMFZHF | 3G94RMFZHF | statement | record (an 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.32338#TI1Z |
| 3G9569WGCX | 3G9569WGCX | statement | record (an 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.25543#WGAD |
| 3G9734M5KJ | 3G9734M5KJ | statement | open | open_logic content/set-theory/ordinals/wo.tex#propwoinduction |
| 3G9BE0A0Y0 | 3G9BE0A0Y0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2105.13129#BWQO |
| 3GAM6MBMA4 | 3GAM6MBMA4 | 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.40207#S85Q |
| 3GBRJ3VJQW | 3GBRJ3VJQW | statement | record (an 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.30480#J4C1 |
| 3GC4EHDC0V | 3GC4EHDC0V | statement | open | applied_combinatorics source/s_background_prop-integers.ptx#theorem-1 |
| 3GCWCAV7CY | 3GCWCAV7CY | statement | record (an 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.35421#7RHQ |
| 3GE3DEB540 | 3GE3DEB540 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1508.01731#JSIK |
| 3GEGMP1M7V | 3GEGMP1M7V | unknown | open | arXiv 2610.13680#FA73 |
| 3GF1ZBQT6C | 3GF1ZBQT6C | exercise | open | lebl_ra ch-seq-ser.tex#exercise-59 |
| 3GF9QKW7W8 | 3GF9QKW7W8 | statement | record (an 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#HUZM |
| 3GFFT7BMCZ | 3GFFT7BMCZ | statement | record (an 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.24569#R2UI |
| 3GFZK60YTD | 3GFZK60YTD | statement | record (an 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.10233#HQD4 |
| 3GGGSJWYRC | 3GGGSJWYRC | statement | record (an 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.02158#98KS |
| 3GGT8P4QG9 | 3GGT8P4QG9 | example | open | lebl_diffyqs ch-fourier-and-pde.tex#example-10 |