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 22401–22500 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 8X21TM24MM | 8X21TM24MM | proof | open | open_logic content/model-theory/basics/overspill.tex#proof-2 |
| 8X2FNQSVGF | 8X2FNQSVGF | statement | record (an 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.04124#FLV8 |
| 8X2MNXSYW9 | 8X2MNXSYW9 | statement | record (an 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#ZTPH |
| 8X385WZGVS | 8X385WZGVS | statement | record (an 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.07445#S2UR |
| 8X3916YQH5 | 8X3916YQH5 | 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.14985#VZ2R |
| 8X41R5HH4R | 8X41R5HH4R | 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 2504.01057#8CF1 |
| 8X4Z7NHSJ8 | 8X4Z7NHSJ8 | statement | record (an 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.29469#NGX7 |
| 8X527TNMD6 | 8X527TNMD6 | statement | record (an 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.14692#6G1Z |
| 8X5C95P22K | 8X5C95P22K | statement | record (an 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.15316#FFG0 |
| 8X5S9YG9R5 | 8X5S9YG9R5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.5574#Z84D |
| 8X5W0C3DAT | 8X5W0C3DAT | statement | record (an 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.20422#BJXW |
| 8X646P5ZXX | 8X646P5ZXX | statement | record (an 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#ZE8S |
| 8X646XPV2E | 8X646XPV2E | 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 2604.10080#SPFR |
| 8X675NG6XZ | 8X675NG6XZ | proof | open | open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#proof-1 |
| 8X77T8EE4F | 8X77T8EE4F | 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.08697#L4HV, arXiv 2610.11386#0KQZ |
| 8X7E9GJJX3 | 8X7E9GJJX3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.00562#NCWU |
| 8X7ECCGTZS | 8X7ECCGTZS | 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#Q21G |
| 8X7Z7T1QAH | 8X7Z7T1QAH | statement | record (an 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.24542#74U0 |
| 8X894PQ6BH | 8X894PQ6BH | statement | record (an 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.08176#DJYV |
| 8X8VGD0YX1 | 8X8VGD0YX1 | statement | record (an 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.02295#JBDE |
| 8X962MQ7DK | 8X962MQ7DK | statement | record (an 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.09729#PDY4 |
| 8X9HV3J38Y | 8X9HV3J38Y | statement | record (an 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.21622#RXKN |
| 8X9QP4ZWC6 | 8X9QP4ZWC6 | proof | open | hott_book reals.tex#proof-39 |
| 8X9ZC0B927 | 8X9ZC0B927 | statement | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#cor:modular power |
| 8XA7S4SQHM | 8XA7S4SQHM | statement | record (an 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.01653#WSW4 |
| 8XAMRJ1GS3 | 8XAMRJ1GS3 | 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.20915#AY1A |
| 8XBCDQDV43 | 8XBCDQDV43 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.10580#RSU5 |
| 8XBFH6EE6F | 8XBFH6EE6F | 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.40207#X44E |
| 8XBX3QYHDV | 8XBX3QYHDV | statement | record (an 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.18445#O3UF |
| 8XC575JJK5 | 8XC575JJK5 | 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 2205.13464#3217 |
| 8XCJTADVJG | 8XCJTADVJG | statement | record (an 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#YCWF |
| 8XCQ6SXBGR | 8XCQ6SXBGR | statement | record (an 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/9602216#7H8H |
| 8XCWCPPQBQ | 8XCWCPPQBQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0907.5545#W6AO |
| 8XD3YRC9Z1 | 8XD3YRC9Z1 | statement | record (an 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.01057#27XM |
| 8XD6HBMF53 | 8XD6HBMF53 | 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.20558#KOR9 |
| 8XEASXR7WC | 8XEASXR7WC | statement | record (an 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.26269#JWTJ |
| 8XECYY6QGC | 8XECYY6QGC | statement | record (an 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.25063#84F4 |
| 8XFBHNAGAT | 8XFBHNAGAT | statement | record (an 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.01731#EZA4 |
| 8XFJPHC5BJ | 8XFJPHC5BJ | statement | record (an 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.09810#3KG1 |
| 8XFXEP2KK8 | 8XFXEP2KK8 | statement | record (an 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.26417#BS8J |
| 8XGR869S97 | 8XGR869S97 | statement | record (an 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.12908#171A |
| 8XH7KNE370 | 8XH7KNE370 | exercise | open | open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#prob-1 |
| 8XJ8Y3YZ9R | 8XJ8Y3YZ9R | statement | record (an 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.15344#KFYQ |
| 8XJAN07B3T | 8XJAN07B3T | statement | record (an 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#OJMS |
| 8XJAZ278ZE | 8XJAZ278ZE | statement | record (an 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.03661#IDGU |
| 8XJN4MKAQX | 8XJN4MKAQX | statement | record (an 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#CBFM |
| 8XJWWS120W | 8XJWWS120W | statement | record (an 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.16036#8E4B |
| 8XK39HQA29 | 8XK39HQA29 | statement | record (an 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.19260#4IIT |
| 8XK8VQP9NN | 8XK8VQP9NN | statement | record (an 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.24580#FWMA |
| 8XKKZYPE5Q | 8XKKZYPE5Q | exercise | open | lebl_diffyqs ch-systems.tex#exercise-74 |
| 8XMBGWNYGR | 8XMBGWNYGR | statement | record (an 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.17411#12XD |
| 8XMH0H18SB | 8XMH0H18SB | 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 2011.06637#R8LW |
| 8XMQZSW5JR | 8XMQZSW5JR | proof | open | hott_book basics.tex#proof-20 |
| 8XNBXRCYYQ | 8XNBXRCYYQ | statement | record (an 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.33766#GDYH |
| 8XP142FZE2 | 8XP142FZE2 | statement | record (an 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#SSOM |
| 8XQHVBPA6E | 8XQHVBPA6E | statement | record (an 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#DGWF |
| 8XQZ0JPNN6 | 8XQZ0JPNN6 | proof | open | open_logic content/computability/computability-theory/prop-reduce.tex#proof-1 |
| 8XR2FY531N | 8XR2FY531N | 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 1002.0879#CH5R |
| 8XR2PRVXQR | 8XR2PRVXQR | 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.18101#VQ7I |
| 8XR5TAGRXA | 8XR5TAGRXA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24606#0M8N |
| 8XR8DHXEF8 | 8XR8DHXEF8 | statement | record (an 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.40274#A97Y |
| 8XRN2KY8HE | 8XRN2KY8HE | statement | record (an 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.12484#861Y |
| 8XRNGBVR2E | 8XRNGBVR2E | statement | record (an 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.38539#AVUV |
| 8XRZH1SKV2 | 8XRZH1SKV2 | statement | record (an 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#BXME |
| 8XSHAFQ07F | 8XSHAFQ07F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.05288#03W0 |
| 8XSJHZ7J1A | 8XSJHZ7J1A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.00585#7HCS |
| 8XT49Z1C5H | 8XT49Z1C5H | 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.39293#R9BT |
| 8XTJTQNYCZ | 8XTJTQNYCZ | statement | record (an 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.19658#9SOP |
| 8XV0V7H4B1 | 8XV0V7H4B1 | statement | record (an 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.36403#2SE6 |
| 8XVGMT0SCR | 8XVGMT0SCR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#D9OK |
| 8XVXE0EB9A | 8XVXE0EB9A | 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.15593#ENRI |
| 8XW5TV5DXK | 8XW5TV5DXK | 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.24465#UCDI |
| 8XWWD0S5K5 | 8XWWD0S5K5 | statement | record (an 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#KXRA |
| 8XWWY3ZEAX | 8XWWY3ZEAX | statement | record (an 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.38539#0LVV |
| 8XX0G3TBP7 | 8XX0G3TBP7 | statement | record (an 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.29449#V62S |
| 8XXAE1NP56 | 8XXAE1NP56 | statement | record (an 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.12357#LQ78 |
| 8XYCVY95F0 | 8XYCVY95F0 | statement | record (an 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#YZN8 |
| 8XYHNBQ9ME | 8XYHNBQ9ME | exercise | open | levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-5 |
| 8XZ98ERTX7 | 8XZ98ERTX7 | statement | record (an 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.32233#5I0U |
| 8XZB250TDC | 8XZB250TDC | statement | record (an 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.14201#KTKL |
| 8Y0BQNASA2 | 8Y0BQNASA2 | statement | record (an 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.11346#SJJI |
| 8Y0RMFM9SX | 8Y0RMFM9SX | statement | record (an 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.06886#R5RA |
| 8Y0S15R7T5 | 8Y0S15R7T5 | exercise | open | napkin tex/alg-geom/sheaves.tex#problem-1 |
| 8Y17NXRA8P | 8Y17NXRA8P | statement | record (an 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#DA6P |
| 8Y18CMGBJB | 8Y18CMGBJB | statement | record (an 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#ANNN |
| 8Y18SXC75F | 8Y18SXC75F | statement | record (an 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.21278#WLQO |
| 8Y2HZ7AHBW | 8Y2HZ7AHBW | statement | record (an 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.17569#0H60 |
| 8Y2Z0PJRS9 | 8Y2Z0PJRS9 | unknown | open | arXiv 2609.38138#L6HQ |
| 8Y48V0C5M5 | 8Y48V0C5M5 | statement | record (an 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.09341#X184 |
| 8Y4GDQ9TB7 | 8Y4GDQ9TB7 | statement | record (an 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#CKK1 |
| 8Y566EGHZQ | 8Y566EGHZQ | statement | record (an 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.26340#V26Z |
| 8Y59T0M85F | 8Y59T0M85F | statement | record (an 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#P1O0 |
| 8Y6FE7VX2W | 8Y6FE7VX2W | statement | record (an 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.40138#44KQ |
| 8Y6HVB582X | 8Y6HVB582X | statement | record (an 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#W9B2 |
| 8Y6ZDYQ1QG | 8Y6ZDYQ1QG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.12502#JTUL |
| 8Y780MYBPK | 8Y780MYBPK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.17002#5K0W |
| 8Y7CQWKEFT | 8Y7CQWKEFT | statement | record (an 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.03424#F5KD |
| 8Y92ZBSVF8 | 8Y92ZBSVF8 | example | open | napkin tex/measure/martingale.tex#example-5 |
| 8Y97SKZM6M | 8Y97SKZM6M | statement | record (an 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.17276#PZQ1 |
| 8Y9963FY60 | 8Y9963FY60 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q29789551, nLab Philip Argyres |