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 22001–22100 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 8RHHZP1RKE | 8RHHZP1RKE | statement | record (an 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.17240#BS7T |
| 8RK33N0QC4 | 8RK33N0QC4 | statement | open | open_logic content/incompleteness/representability-in-q/introduction.tex#thm:representable-iff-comp |
| 8RK9QCZPND | 8RK9QCZPND | 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#FOBL |
| 8RKEPCCBVG | 8RKEPCCBVG | statement | record (an 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#NP4Z |
| 8RKEPY6G0W | 8RKEPY6G0W | statement | record (an 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.09739#DTXW |
| 8RM18HSAP3 | 8RM18HSAP3 | statement | record (an 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.33019#QY1E |
| 8RMJWC014F | 8RMJWC014F | proof | open | applied_combinatorics source/s_recurrence_rigorous.ptx#proof-2 |
| 8RMY9431P7 | 8RMY9431P7 | statement | record (an 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.20345#KLJZ |
| 8RNA19V73M | 8RNA19V73M | statement | record (an 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#A66Z |
| 8RNN8TPNEG | 8RNN8TPNEG | statement | record (an 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.08583#O9ZD |
| 8RNT23ESEV | 8RNT23ESEV | statement | record (an 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#5RJ2 |
| 8RNVYC24Z2 | 8RNVYC24Z2 | proof | open | ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#proof-4 |
| 8RP0NC5ZEF | 8RP0NC5ZEF | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-2 |
| 8RPGD5H8JC | 8RPGD5H8JC | statement | record (an 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.09201#BA1F |
| 8RQ5B6VH6M | 8RQ5B6VH6M | statement | record (an 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.04628#RP2L |
| 8RQ6638J2E | 8RQ6638J2E | statement | open | open_logic content/proof-theory/proof-search/completeness.tex#cor-1 |
| 8RQW5RYJ6G | 8RQW5RYJ6G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#PGKU |
| 8RQWHWY445 | 8RQWHWY445 | statement | record (an 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.28411#VN0A |
| 8RSD4180TA | 8RSD4180TA | 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 2507.12309#9UGE |
| 8RSE93QCG6 | 8RSE93QCG6 | statement | open | open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#thm:cr |
| 8RSNR0T49M | 8RSNR0T49M | statement | record (an 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.38240#86KM |
| 8RSXAG43B3 | 8RSXAG43B3 | statement | record (an 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.18740#0Q90 |
| 8RT7JZ101M | 8RT7JZ101M | statement | open | hott_book reals.tex#RC-binary-nonexpanding-extension |
| 8RT9MDG7V5 | 8RT9MDG7V5 | unknown | open | arXiv 2610.13680#S6ZK |
| 8RTTW0QS9P | 8RTTW0QS9P | statement | record (an 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#UN1K |
| 8RV92MWTWM | 8RV92MWTWM | exercise | open | lebl_ra ch-der.tex#exercise:simpleLHopital |
| 8RVA9QHWAV | 8RVA9QHWAV | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-18 |
| 8RVNWSNS2J | 8RVNWSNS2J | statement | record (an 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.12834#ZCE7 |
| 8RW97Y279D | 8RW97Y279D | statement | record (an 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.16605#NNPD |
| 8RWQ4AHFVD | 8RWQ4AHFVD | unknown | open | arXiv 2610.06728#A8AS |
| 8RXEAEM0E8 | 8RXEAEM0E8 | statement | record (an 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.11829#6B3M |
| 8RXF7F4J6B | 8RXF7F4J6B | 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.28295#7MEZ |
| 8RXTKCD0S3 | 8RXTKCD0S3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.07983#KJL2 |
| 8RYRXDY5V2 | 8RYRXDY5V2 | statement | record (an 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.32374#EHUE |
| 8RZA5KGR7B | 8RZA5KGR7B | exercise | open | levin_dmoi ptx/sec_gt-planar.ptx#investigation-3 |
| 8S0YRSRQAK | 8S0YRSRQAK | definition | open | open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#defn-2 |
| 8S1G5X9JV3 | 8S1G5X9JV3 | statement | record (an 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.31445#IRN0 |
| 8S1VWJZYHF | 8S1VWJZYHF | statement | record (an 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.32651#HUM5 |
| 8S24JE9JPB | 8S24JE9JPB | 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#RIHV |
| 8S26BHQG31 | 8S26BHQG31 | 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.26479#7NG9 |
| 8S2NZHXVB2 | 8S2NZHXVB2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.01359#0SGO |
| 8S3NFD98CZ | 8S3NFD98CZ | 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.17897#9P6W |
| 8S3TMX7DT1 | 8S3TMX7DT1 | statement | record (an 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.16898#ABBC |
| 8S3XPJV5T4 | 8S3XPJV5T4 | statement | record (an 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.10365#L1FW |
| 8S4FR0HA9G | 8S4FR0HA9G | statement | open | napkin tex/set-theory/models.tex#theorem-2 |
| 8S4G3RVZN0 | 8S4G3RVZN0 | statement | record (an 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.35460#XB8R |
| 8S4WKMEK09 | 8S4WKMEK09 | statement | record (an 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.10452#TUKP |
| 8S57YK64VF | 8S57YK64VF | 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#HOUC |
| 8S5EG78P1F | 8S5EG78P1F | statement | record (an 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#ECHB |
| 8S5MCZ6FEB | 8S5MCZ6FEB | 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.19260#K2A2 |
| 8S5ZDTC6MK | 8S5ZDTC6MK | statement | record (an 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#N1B1 |
| 8S60QJ5QWG | 8S60QJ5QWG | statement | record (an 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.12633#MC6W |
| 8S622FVE49 | 8S622FVE49 | exercise | open | lebl_diffyqs ch-eigenvalue-probs.tex#exercise-2 |
| 8S63BWE7BX | 8S63BWE7BX | statement | record (an 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.21934#2R2T |
| 8S6P0ZWHQX | 8S6P0ZWHQX | statement | record (an 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/9801068#HQU7 |
| 8S754GXG9F | 8S754GXG9F | statement | record (an 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.40345#UG46 |
| 8S7XHQM6VC | 8S7XHQM6VC | statement | record (an 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.11700#5VMC |
| 8S8B2YDEN7 | 8S8B2YDEN7 | statement | record (an 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.35691#I60D |
| 8S8S635275 | 8S8S635275 | statement | record (an 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.04758#FY82 |
| 8SAHSWTHMM | 8SAHSWTHMM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.14956#LB2R |
| 8SAPD49ZQF | 8SAPD49ZQF | 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 2205.13464#G86P |
| 8SAW941QND | 8SAW941QND | statement | record (an 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.01501#DYR1 |
| 8SAYB671B4 | 8SAYB671B4 | statement | record (an 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.24892#BXWY |
| 8SBP2FQT1D | 8SBP2FQT1D | statement | record (an 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.06480#OS9T |
| 8SBQSK6W9A | 8SBQSK6W9A | statement | record (an 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.35669#1WQW |
| 8SBW88PX5S | 8SBW88PX5S | statement | record (an 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.14068#Y8QH |
| 8SBWXK76TE | 8SBWXK76TE | statement | open | ernst_ibl MAAPressVersion/PowerSets.tex#theorem-1 |
| 8SCDCZ0P9K | 8SCDCZ0P9K | statement | record (an 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.25717#WFXE |
| 8SCR0QXBJ5 | 8SCR0QXBJ5 | 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.09678#6FWY |
| 8SDKC27P36 | 8SDKC27P36 | 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.33015#H70E |
| 8SDTJ1W7JR | 8SDTJ1W7JR | 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 2303.10963#JUYA |
| 8SDX2P2TQS | 8SDX2P2TQS | statement | record (an 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.07259#YL9G |
| 8SE8KF24JG | 8SE8KF24JG | 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.18302#58DX |
| 8SEK7A3RQ3 | 8SEK7A3RQ3 | statement | record (an 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.18219#3YI7 |
| 8SEMBYRVPT | 8SEMBYRVPT | statement | record (an 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.16252#Z0Z9 |
| 8SEZG6MEB8 | 8SEZG6MEB8 | statement | record (an 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.30664#KKYU |
| 8SFAT39NP3 | 8SFAT39NP3 | statement | record (an 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.01267#RAUS |
| 8SH16AQ426 | 8SH16AQ426 | statement | record (an 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.11902#XYGG |
| 8SH4D6RWCB | 8SH4D6RWCB | statement | record (an 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#SAJ5 |
| 8SHHDWFQYV | 8SHHDWFQYV | statement | record (an 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.18907#6RND |
| 8SHMJQBAH1 | 8SHMJQBAH1 | statement | record (an 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.13798#LI37 |
| 8SHQ23E27A | 8SHQ23E27A | statement | record (an 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#T53E |
| 8SHRNTBRVJ | 8SHRNTBRVJ | statement | record (an 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.00625#W6U6 |
| 8SHWBT4YKV | 8SHWBT4YKV | exercise | open | austin_ula src/section7-5.xml#activity-3 |
| 8SHYE9BC1D | 8SHYE9BC1D | proof | open | lebl_ra ch-real-nums.tex#proof-11 |
| 8SJCMCCGAN | 8SJCMCCGAN | statement | record (an 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.14561#E1XY |
| 8SJDYT7XNR | 8SJDYT7XNR | statement | record (an 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.26600#0XZG |
| 8SJEVAW1QT | 8SJEVAW1QT | statement | record (an 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#1LQ9 |
| 8SK506EK3G | 8SK506EK3G | example | open | lebl_scv scv.tex#example-26 |
| 8SK69534ED | 8SK69534ED | statement | record (an 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.17325#WBI9 |
| 8SK96411XS | 8SK96411XS | statement | record (an 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.03288#5CA6 |
| 8SKVH1XGAJ | 8SKVH1XGAJ | 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.01050#PJGV |
| 8SM880JBJ1 | 8SM880JBJ1 | statement | record (an 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#ULX8 |
| 8SN23ZNJ6W | 8SN23ZNJ6W | statement | record (an 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.16931#ZLCU |
| 8SNVEZGVEY | 8SNVEZGVEY | statement | record (an 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.07433#NNR4 |
| 8SP0CWG746 | 8SP0CWG746 | statement | record (an 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.10963#0V86 |
| 8SP2JHSZ2W | 8SP2JHSZ2W | statement | record (an 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.21507#DDHA |
| 8SPRNSBCTQ | 8SPRNSBCTQ | statement | record (an 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.07290#HF88 |
| 8SQ6FWPKDE | 8SQ6FWPKDE | 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.10519#B3KY |
| 8SQ724NV75 | 8SQ724NV75 | statement | record (an 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#HU4N |