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 22201–22300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 8TV5Q5ZQEM | 8TV5Q5ZQEM | 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.13833#Y5UO |
| 8TVA00G2N7 | 8TVA00G2N7 | statement | record (an 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.13841#7BLT |
| 8TVMCZMAHY | 8TVMCZMAHY | 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 2404.18704#ICIB |
| 8TW42V1EDG | 8TW42V1EDG | statement | record (an 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.06699#78L8 |
| 8TWB4HJERN | 8TWB4HJERN | statement | record (an 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.37747#R6I4 |
| 8TWEZFKTMQ | 8TWEZFKTMQ | statement | record (an 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#20GD |
| 8TWM94RDNA | 8TWM94RDNA | statement | record (an 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#LIWL |
| 8TX2J481B9 | 8TX2J481B9 | statement | record (an 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.13260#7E4B |
| 8TX66E0B72 | 8TX66E0B72 | definition | open | open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#defn:satisfaction |
| 8TXE0D23KJ | 8TXE0D23KJ | statement | record (an 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.04434#5FEW |
| 8TXR8QXA0Q | 8TXR8QXA0Q | statement | record (an 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.40023#I07U |
| 8TXTM71GJT | 8TXTM71GJT | statement | record (an 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.04063#2IHS |
| 8TY9EVVD77 | 8TY9EVVD77 | exercise | open | hott_book setmath.tex#ex:add-ordinals |
| 8TYADA29X3 | 8TYADA29X3 | 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.32816#AC6P |
| 8TZ2CPA645 | 8TZ2CPA645 | statement | record (an 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.38556#WVX4 |
| 8TZ5780K9Q | 8TZ5780K9Q | statement | record (an 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.27628#4JMK |
| 8TZHMWXD0S | 8TZHMWXD0S | statement | record (an 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.03837#ARM9 |
| 8TZTW5GBP6 | 8TZTW5GBP6 | statement | record (an 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.16267#GSNR |
| 8V0QJ1Y2YW | 8V0QJ1Y2YW | statement | record (an 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.15434#Y7EM |
| 8V1BY8VPMD | 8V1BY8VPMD | statement | record (an 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.12810#79W9 |
| 8V1D6Z0GVM | 8V1D6Z0GVM | statement | record (an 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#RDWH |
| 8V1ZWGDRFV | 8V1ZWGDRFV | statement | record (an 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.39747#5LSZ |
| 8V277XNMSD | 8V277XNMSD | statement | record (an 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.06038#VQ8C |
| 8V30YFQRRB | 8V30YFQRRB | statement | record (an 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.02997#NZA4 |
| 8V3D38MS0J | 8V3D38MS0J | statement | open | napkin tex/homology/excision.tex#lem:rel_contractible |
| 8V48DJYXB9 | 8V48DJYXB9 | statement | record (an 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#O31V |
| 8V4FABZZ9F | 8V4FABZZ9F | statement | record (an 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.29450#CCPM |
| 8V500TEJSG | 8V500TEJSG | statement | record (an 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.07285#WKHP |
| 8V59D2FENF | 8V59D2FENF | statement | record (an 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.33050#JE9L |
| 8V5CV4XDNH | 8V5CV4XDNH | proof | open | open_logic content/proof-theory/propositions-as-types/normalization.tex#proof-1 |
| 8V64DB1VG2 | 8V64DB1VG2 | statement | record (an 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.07511#BPU9 |
| 8V669CKE2C | 8V669CKE2C | definition | open | hott_book equivalences.tex#defn:ishae |
| 8V734BMZDF | 8V734BMZDF | exercise | open | lebl_ra ch-approximate.tex#exercise-39 |
| 8V73TY57SD | 8V73TY57SD | 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.01433#Y0TX |
| 8V774BJT2A | 8V774BJT2A | statement | record (an 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.20899#1DGT |
| 8V7WMQTR6J | 8V7WMQTR6J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.07642#IKK1 |
| 8V7XQW41R5 | 8V7XQW41R5 | statement | record (an 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.04645#ZQER |
| 8V84Z67M7C | 8V84Z67M7C | statement | record (an 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#ZD6Q |
| 8V88KG2KHC | 8V88KG2KHC | 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.32077#0N7U |
| 8V8H1P0T3W | 8V8H1P0T3W | unknown | open | arXiv 2205.15365#LQAF |
| 8V8RRF3KGK | 8V8RRF3KGK | statement | record (an 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.08944#QQR5 |
| 8V9EGF6EFD | 8V9EGF6EFD | statement | record (an 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.26058#7X65 |
| 8V9NAJXJPE | 8V9NAJXJPE | statement | record (an 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.14838#Q7VQ |
| 8VAFWXN552 | 8VAFWXN552 | statement | record (an 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.30482#DFAT |
| 8VAHPJDJE9 | 8VAHPJDJE9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.02473#OEHE |
| 8VASC618TB | 8VASC618TB | statement | record (an 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.10925#XNLD |
| 8VB2N13RN8 | 8VB2N13RN8 | unknown | open | |
| 8VBQFQ51RQ | 8VBQFQ51RQ | 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.35323#FSAR |
| 8VBQSBMFEP | 8VBQSBMFEP | statement | record (an 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.36423#3TPC |
| 8VCJGRT5YV | 8VCJGRT5YV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.05048#UW47 |
| 8VCP70RVHA | 8VCP70RVHA | statement | record (an 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.18277#ZK6T |
| 8VCV8TQK86 | 8VCV8TQK86 | statement | record (an 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.11470#DPNA |
| 8VD13H0D86 | 8VD13H0D86 | statement | record (an 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#4F2T |
| 8VD86SWVJN | 8VD86SWVJN | 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.14383#48JF |
| 8VDEH3BFY5 | 8VDEH3BFY5 | statement | record (an 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.11021#P3EP |
| 8VEA42H4HV | 8VEA42H4HV | 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.22288#30U7 |
| 8VED4ATNFJ | 8VED4ATNFJ | statement | record (an 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.16267#VEAA |
| 8VEKFK5EE1 | 8VEKFK5EE1 | statement | record (an 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#TZOZ |
| 8VET1KC95Z | 8VET1KC95Z | 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.33512#8BI6 |
| 8VET6CZEV3 | 8VET6CZEV3 | 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.20817#6VG8 |
| 8VFQRREXMN | 8VFQRREXMN | statement | record (an 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.40282#V508 |
| 8VFYCY2SG5 | 8VFYCY2SG5 | statement | record (an 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.04527#4KCJ |
| 8VFYWRG5BC | 8VFYWRG5BC | statement | record (an 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.26357#UFCP |
| 8VGA396XCT | 8VGA396XCT | statement | record (an 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.10372#P186 |
| 8VGFRV929K | 8VGFRV929K | statement | record (an 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#C31W |
| 8VHC8VDYH0 | 8VHC8VDYH0 | statement | record (an 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.02061#A9ZN |
| 8VHJA9KFRW | 8VHJA9KFRW | statement | record (an 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#62Q9 |
| 8VHKAD5BWG | 8VHKAD5BWG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.3308#TXJ3 |
| 8VJ6BX6C6K | 8VJ6BX6C6K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1809.06512#XXDL |
| 8VJ78J8VA8 | 8VJ78J8VA8 | statement | record (an 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.36811#M522 |
| 8VKEFGHTR4 | 8VKEFGHTR4 | statement | record (an 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.04901#A4X8 |
| 8VKKK6SGSR | 8VKKK6SGSR | definition | open | hott_book reals.tex#defn:surreals |
| 8VKZ9PPEN1 | 8VKZ9PPEN1 | statement | record (an 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.36594#SWGP |
| 8VMAF1ZE0P | 8VMAF1ZE0P | exercise | open | lebl_diffyqs ch-nonlin-systems.tex#exercise-32 |
| 8VN13DAK9X | 8VN13DAK9X | statement | record (an 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.16003#K4QX |
| 8VNQDE0KB2 | 8VNQDE0KB2 | statement | record (an 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.20593#G42P |
| 8VP6H43PC7 | 8VP6H43PC7 | exercise | open | austin_ula src/exercises/exercises4-5.xml#exercise-1 |
| 8VP7RX3F6J | 8VP7RX3F6J | 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 2311.16795#XUB6 |
| 8VPM038Q26 | 8VPM038Q26 | statement | record (an 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.22170#FMVG |
| 8VPR3XYQDZ | 8VPR3XYQDZ | statement | record (an 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#P4NV |
| 8VQ3DK2SFV | 8VQ3DK2SFV | statement | record (an 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#4V7T |
| 8VQEH80GQE | 8VQEH80GQE | statement | record (an 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.25897#1AMP |
| 8VQN3JZJQS | 8VQN3JZJQS | 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.26496#UU75 |
| 8VQP4882DM | 8VQP4882DM | statement | record (an 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.04876#JUI6 |
| 8VQRB4AGTV | 8VQRB4AGTV | exercise | open | hott_book reals.tex#ex:double-No-recursion |
| 8VR6WFKSZQ | 8VR6WFKSZQ | statement | record (an 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.16491#ERN1 |
| 8VRXWTM605 | 8VRXWTM605 | statement | record (an 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.09672#H1YS |
| 8VS4VPJE0Y | 8VS4VPJE0Y | statement | record (an 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.28824#Q5SR |
| 8VSCVKYXDR | 8VSCVKYXDR | statement | record (an 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.08196#0WSD |
| 8VSHD84C7D | 8VSHD84C7D | statement | record (an 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.08956#VYY7 |
| 8VSR8AP82Q | 8VSR8AP82Q | statement | record (an 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.26262#IVUT |
| 8VT2SX3DKM | 8VT2SX3DKM | statement | record (an 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.01268#DJ97 |
| 8VT8ZNKZAA | 8VT8ZNKZAA | 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#ZB47 |
| 8VT9MTEZ0S | 8VT9MTEZ0S | exercise | open | open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prob-1 |
| 8VTGHFH982 | 8VTGHFH982 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.05715#KIQP |
| 8VTXD627Q9 | 8VTXD627Q9 | statement | record (an 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.04673#27XV |
| 8VV96E9FB4 | 8VV96E9FB4 | statement | record (an 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.39615#J6GM |
| 8VWA0ANSG3 | 8VWA0ANSG3 | statement | record (an 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.39700#FATE |
| 8VWEB1XSNR | 8VWEB1XSNR | statement | record (an 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.38051#R8XE |
| 8VWG9ZZZW4 | 8VWG9ZZZW4 | statement | record (an 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.33050#HSOU |