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 4201–4300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 27FMG8RHC0 | 27FMG8RHC0 | statement | record (an 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.29185#3FRF |
| 27FTF3XP27 | 27FTF3XP27 | statement | record (an 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.12483#4W72 |
| 27GRK4AHZD | 27GRK4AHZD | statement | record (an 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.03601#S5PQ |
| 27GYY4WHYE | 27GYY4WHYE | exercise | open | austin_ula src/exercises/exercises6-2.xml#exercise-2 |
| 27H0J3Q9GH | 27H0J3Q9GH | statement | open | open_logic content/first-order-logic/axiomatic-deduction/soundness.tex#cor:weak-soundness |
| 27HAV2SY3R | 27HAV2SY3R | statement | record (an 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.07401#1OLB |
| 27HC2ZCPWW | 27HC2ZCPWW | example | open | austin_ula src/section2-2.xml#example-2 |
| 27JR6VQ64M | 27JR6VQ64M | statement | record (an 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.22607#UKGP |
| 27KJT9NH6P | 27KJT9NH6P | statement | record (an 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.03704#1581 |
| 27KYQBYPRJ | 27KYQBYPRJ | 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.28803#QK0P |
| 27N0TBHET4 | 27N0TBHET4 | 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.22074#3B2L |
| 27NQB8N4MX | 27NQB8N4MX | 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.30444#O1FN |
| 27NXPT4YKS | 27NXPT4YKS | statement | record (an 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.11968#ULTH |
| 27PBSB6PE1 | 27PBSB6PE1 | statement | record (an 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.28509#XX1J |
| 27PDAQBR8J | 27PDAQBR8J | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-91 |
| 27Q1QHBBF6 | 27Q1QHBBF6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.09374#1630 |
| 27QATRN0Z5 | 27QATRN0Z5 | 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.25880#3U02 |
| 27QVFP2WYT | 27QVFP2WYT | definition | open | open_logic content/sets-functions-relations/size-of-sets/comparing-size.tex#defn-1 |
| 27RN8HSGVM | 27RN8HSGVM | 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.19534#EID5 |
| 27SAX7XQ5T | 27SAX7XQ5T | definition | open | lebl_ra ch-vol1-intro.tex#defn-11 |
| 27SQ9DJGS4 | 27SQ9DJGS4 | statement | record (an 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.01919#K4QM |
| 27SZQFCVHF | 27SZQFCVHF | statement | record (an 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#CFUL |
| 27T6MC0EME | 27T6MC0EME | 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#8M5T |
| 27TCHFANS6 | 27TCHFANS6 | statement | record (an 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.30559#TCWQ |
| 27TRBJD38K | 27TRBJD38K | proof | open | open_logic content/model-theory/models-of-arithmetic/non-standard-models.tex#proof-2 |
| 27TT915A7H | 27TT915A7H | 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.00135#FDKX |
| 27V3NX6S62 | 27V3NX6S62 | statement | record (an 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#VSHQ |
| 27VE3EZN8R | 27VE3EZN8R | statement | record (an 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#8Z3S |
| 27VM9BTWPF | 27VM9BTWPF | statement | record (an 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.33018#OWJW |
| 27WDEZ4Y46 | 27WDEZ4Y46 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.21337#OOYC |
| 27WE7YMDVN | 27WE7YMDVN | statement | record (an 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.21181#HE8Y |
| 27WFN13EGC | 27WFN13EGC | 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.22317#SE3I |
| 27WSCP396T | 27WSCP396T | statement | record (an 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#9S0G |
| 27WT33J5P2 | 27WT33J5P2 | statement | record (an 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.10559#QGTZ |
| 27WTNQ6N1X | 27WTNQ6N1X | 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 2312.06581#M1YS |
| 27WVKCENJR | 27WVKCENJR | definition | open | napkin tex/calculus/limits.tex#definition-1 |
| 27WYGZ0VSG | 27WYGZ0VSG | statement | record (an 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.07114#WZL2 |
| 27YAC6B9XP | 27YAC6B9XP | statement | record (an 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#MH00 |
| 27ZF2FR1BC | 27ZF2FR1BC | statement | record (an 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.09086#RM15 |
| 27ZK4TM5KC | 27ZK4TM5KC | statement | open | ernst_ibl MAAPressVersion/TasteNumberTheory.tex#theorem-1 |
| 280AHY4PGA | 280AHY4PGA | statement | record (an 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#JR8A |
| 2811AQSFWB | 2811AQSFWB | 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.30262#PJ4F |
| 2819QB9FJ9 | 2819QB9FJ9 | 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.37704#EEGO |
| 281V3EJ7B1 | 281V3EJ7B1 | statement | record (an 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.35001#C6R6 |
| 28223D6FC8 | 28223D6FC8 | statement | record (an 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.06445#05MP |
| 2825T1NQS0 | 2825T1NQS0 | statement | record (an 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#Z0W2 |
| 282X9CF16A | 282X9CF16A | 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.13869#I6KF |
| 2838698DWV | 2838698DWV | 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.28265#YUH5 |
| 283E5NFJHE | 283E5NFJHE | statement | record (an 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.11336#1FQA |
| 283EY8AC99 | 283EY8AC99 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.29624#0Q7X |
| 283GWFES4S | 283GWFES4S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.07541#A2B3 |
| 283WZ56BPA | 283WZ56BPA | unknown | open | arXiv 2610.13680#3J5U |
| 284C5HDCHW | 284C5HDCHW | statement | record (an 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#62AG |
| 284YZH85RR | 284YZH85RR | statement | record (an 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.21545#ETTZ |
| 285KBC82PP | 285KBC82PP | statement | record (an 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.33856#LF5N |
| 285KNY336S | 285KNY336S | statement | record (an 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.35678#WIAF |
| 286671K9KW | 286671K9KW | 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 2204.13401#BXST |
| 286M5KXK9Q | 286M5KXK9Q | statement | record (an 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.28514#PVX3 |
| 286PACNAKP | 286PACNAKP | statement | record (an 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.14616#JY1O |
| 2876FX7GEB | 2876FX7GEB | statement | record (an 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.19088#54F2 |
| 287A81666D | 287A81666D | statement | record (an 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.33651#8MES |
| 287EGVR4EB | 287EGVR4EB | example | open | applied_combinatorics source/s_graphs_counting-trees.ptx#ex_prufer-code-reverse |
| 287M9A8BHR | 287M9A8BHR | statement | record (an 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.07461#UAY5 |
| 287P76W3GZ | 287P76W3GZ | 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 2606.20229#W1JX |
| 288P84HKH1 | 288P84HKH1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1012.0963#5X10 |
| 288Q057G9R | 288Q057G9R | statement | record (an 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.10077#CQA5 |
| 288XSE5N9N | 288XSE5N9N | 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.18219#9VNA |
| 288Y908PFG | 288Y908PFG | statement | record (an 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.30165#SO5B |
| 2899JCA0ER | 2899JCA0ER | statement | record (an 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.17677#0Q98 |
| 2899VV591J | 2899VV591J | statement | record (an 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.06152#2Z5U |
| 28A6EKA8RY | 28A6EKA8RY | statement | record (an 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.16203#F8AK |
| 28A7E14S5H | 28A7E14S5H | statement | record (an 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.08237#AMLW |
| 28AE8C96W5 | 28AE8C96W5 | 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 2402.17852#PNOF |
| 28BH2W7CQ4 | 28BH2W7CQ4 | statement | record (an 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.12846#QJQG |
| 28BXFHG0DQ | 28BXFHG0DQ | proof | open | hott_book homotopy.tex#proof-13 |
| 28C4N8JMWK | 28C4N8JMWK | exercise | open | levin_dmoi ptx/exercises/counting-conc.ptx#exr-cookie-counting |
| 28CV4XNTXW | 28CV4XNTXW | exercise | open | lebl_scv scv.tex#exercise-220 |
| 28CY4SSSXP | 28CY4SSSXP | statement | record (an 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.37739#P2KE |
| 28D0ZRJGRX | 28D0ZRJGRX | 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.21960#99RA |
| 28D9A1GCYJ | 28D9A1GCYJ | statement | record (an 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.17589#V5JI |
| 28DGQJJ4F2 | 28DGQJJ4F2 | statement | record (an 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.25912#5U7D |
| 28DP3W38VX | 28DP3W38VX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.09819#8VOV |
| 28DWES7KWF | 28DWES7KWF | statement | record (an 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.29918#QBN8 |
| 28E0RMVS9H | 28E0RMVS9H | statement | record (an 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#R7Q4 |
| 28ECDK6629 | 28ECDK6629 | statement | record (an 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#ERFK |
| 28EK4MW21C | 28EK4MW21C | 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.11545#0F8A |
| 28EV7Y0ZBW | 28EV7Y0ZBW | statement | record (an 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.02331#35I9 |
| 28F7WQB57P | 28F7WQB57P | statement | record (an 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#9C4P |
| 28FQNJVQYQ | 28FQNJVQYQ | 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.00789#C9YQ |
| 28FSVW31BD | 28FSVW31BD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1912.08672#SXOS |
| 28GHNRTHB3 | 28GHNRTHB3 | statement | record (an 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.29227#A1P5 |
| 28GX5W2K7B | 28GX5W2K7B | statement | record (an 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.24701#N4T1 |
| 28H2E9QHYD | 28H2E9QHYD | 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.19260#P567 |
| 28H7FEBJ94 | 28H7FEBJ94 | statement | record (an 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.01411#MHH5 |
| 28HKKHASR8 | 28HKKHASR8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.01000#B46Y |
| 28HMFCW06E | 28HMFCW06E | proof | open | hott_book reals.tex#proof-30 |
| 28J9ZDYCR0 | 28J9ZDYCR0 | statement | record (an 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.38206#YSPI |
| 28JBXE7HHS | 28JBXE7HHS | statement | record (an 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#GSZ4 |
| 28JWFXR1Y9 | 28JWFXR1Y9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.00573#H8IX |
| 28KFN98MCE | 28KFN98MCE | statement | record (an 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.01753#PS28 |