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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 26701–26800 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 9DHYDQN79B | 9DHYDQN79B | statement | record (an 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.13877#NRQ2 |
| 9DJ18NHGF5 | 9DJ18NHGF5 | statement | record (an 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.33941#0FPM |
| 9DJBNJ9Y8M | 9DJBNJ9Y8M | proof | open | open_logic content/methods/proofs/inference-patterns.tex#proof-2 |
| 9DJM1K2QA4 | 9DJM1K2QA4 | statement | record (an 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#9GW2 |
| 9DJNZG8RVS | 9DJNZG8RVS | proof | open | applied_combinatorics source/s_background_formal-num-sys.ptx#proof-2 |
| 9DJRF3RSMG | 9DJRF3RSMG | 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.04214#JQRX |
| 9DJWDKMBMP | 9DJWDKMBMP | statement | record (an 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.24451#HZ5V |
| 9DJYK7K93T | 9DJYK7K93T | proof | open | lebl_scv scv.tex#proof-83 |
| 9DKC2NNH89 | 9DKC2NNH89 | statement | record (an 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#JNNU |
| 9DM5KQ7JVY | 9DM5KQ7JVY | statement | record (an 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.27715#W2ZK |
| 9DM9E668PC | 9DM9E668PC | statement | record (an 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.16233#BWLG |
| 9DME9HAYQ6 | 9DME9HAYQ6 | statement | record (an 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.18346#YZ7B |
| 9DMWEHTRAE | 9DMWEHTRAE | 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.09314#VB0F |
| 9DN314MDEV | 9DN314MDEV | statement | record (an 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.27694#5WX2 |
| 9DPCWVGXS3 | 9DPCWVGXS3 | statement | record (an 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.28677#Y708 |
| 9DR06P00EJ | 9DR06P00EJ | statement | record (an 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.19251#PTBU |
| 9DR5PNCKF0 | 9DR5PNCKF0 | statement | record (an 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.29699#QHKU |
| 9DR5Y8HEBZ | 9DR5Y8HEBZ | proof | open | open_logic content/incompleteness/theories-computability/computably-axiomatizable.tex#proof-1 |
| 9DR7B8Y4J5 | 9DR7B8Y4J5 | statement | record (an 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.15037#PRB8 |
| 9DRCKWYXTJ | 9DRCKWYXTJ | 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.30525#JJR8 |
| 9DRT3RA4F2 | 9DRT3RA4F2 | statement | record (an 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.05986#VOMP |
| 9DRZB9P310 | 9DRZB9P310 | statement | record (an 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.35030#I93Q |
| 9DT4XJWC2J | 9DT4XJWC2J | 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 2609.27420#O1S8 |
| 9DTCDEEAVV | 9DTCDEEAVV | 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.21305#AYET |
| 9DV0FANPAD | 9DV0FANPAD | statement | record (an 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.27295#78SA |
| 9DV60F1ZXS | 9DV60F1ZXS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1712.02437#GEFM |
| 9DVX9HRA1D | 9DVX9HRA1D | statement | record (an 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#ZQZV |
| 9DW856Q57E | 9DW856Q57E | 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.16060#UJ00 |
| 9DWCSXC0DT | 9DWCSXC0DT | statement | record (an 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.15210#Z67W |
| 9DWE41FVC0 | 9DWE41FVC0 | 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.31289#0IGO |
| 9DWN5ZTKTD | 9DWN5ZTKTD | statement | record (an 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.38068#0198 |
| 9DWP89GDXG | 9DWP89GDXG | statement | record (an 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.20716#6FKB |
| 9DX5354707 | 9DX5354707 | statement | record (an 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.03972#94ZC |
| 9DXFZR5MF4 | 9DXFZR5MF4 | statement | record (an 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#EQUA |
| 9DXP8D65AE | 9DXP8D65AE | statement | record (an 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#95IN |
| 9DXT59WE58 | 9DXT59WE58 | definition | open | napkin tex/homology/singular.tex#def:augment |
| 9DY41NNY2W | 9DY41NNY2W | statement | record (an 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.10930#ADMF |
| 9DYCCR3CET | 9DYCCR3CET | 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#RAXI |
| 9DYHYENHK5 | 9DYHYENHK5 | 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.18929#SWEE |
| 9DYT5V6675 | 9DYT5V6675 | statement | record (an 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.08664#1LIG |
| 9DYWX8139E | 9DYWX8139E | statement | record (an 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.11097#I790 |
| 9DZFYH0TGA | 9DZFYH0TGA | definition | open | austin_ula src/section2-1.xml#definition-1 |
| 9DZKA253EG | 9DZKA253EG | statement | record (an 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#Z8N6 |
| 9DZMXHTX9Y | 9DZMXHTX9Y | statement | record (an 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.04958#Q07R |
| 9DZNER2WC1 | 9DZNER2WC1 | example | open | levin_dmoi ptx/sec_counting-advPIE.ptx#example-3 |
| 9DZY25JEAM | 9DZY25JEAM | 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 2607.00146#6B2K |
| 9E055SHY5D | 9E055SHY5D | statement | record (an 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#M3DU |
| 9E0PPQ3WH1 | 9E0PPQ3WH1 | proof | open | hott_book basics.tex#proof-27 |
| 9E1SPKJJAT | 9E1SPKJJAT | statement | record (an 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.31212#2L83 |
| 9E1X10RETB | 9E1X10RETB | statement | record (an 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#18GQ |
| 9E2FP9DACV | 9E2FP9DACV | 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 2208.06310#PP6W |
| 9E2T4VA7TF | 9E2T4VA7TF | statement | record (an 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.14847#FU61 |
| 9E2VCYXYQ3 | 9E2VCYXYQ3 | 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.09207#FOCV |
| 9E3ASWGKFF | 9E3ASWGKFF | statement | record (an 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#5LG7 |
| 9E3KP1Q48P | 9E3KP1Q48P | statement | record (an 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.30067#A2OH |
| 9E3PJ5P516 | 9E3PJ5P516 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.09268#D7T9 |
| 9E3W1MDDSE | 9E3W1MDDSE | statement | record (an 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.08042#TGLK |
| 9E41XS1J39 | 9E41XS1J39 | statement | record (an 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#SBWO |
| 9E44A64826 | 9E44A64826 | 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 2401.13523#26AA |
| 9E453W9F1E | 9E453W9F1E | statement | record (an 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.13972#F66Y |
| 9E4798B6KM | 9E4798B6KM | 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.21668#5JTA |
| 9E4YM63PHC | 9E4YM63PHC | statement | record (an 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#MAQ7 |
| 9E5CGP0P7F | 9E5CGP0P7F | statement | record (an 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#2HFY |
| 9E62B6WGJ8 | 9E62B6WGJ8 | statement | record (an 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.31300#P711 |
| 9E63SHXABJ | 9E63SHXABJ | statement | record (an 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.19151#WWK0 |
| 9E6K8JMEBJ | 9E6K8JMEBJ | statement | record (an 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.27694#0FXY |
| 9E6SWFCJWG | 9E6SWFCJWG | statement | record (an 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.21670#0SQP |
| 9E73H2JY23 | 9E73H2JY23 | statement | record (an 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.23237#R4YU |
| 9E78EEPGTE | 9E78EEPGTE | statement | record (an 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.06724#CX02 |
| 9E7A9SRNB1 | 9E7A9SRNB1 | statement | record (an 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.22769#3U2A |
| 9E7D1TG1Z8 | 9E7D1TG1Z8 | statement | record (an 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#YN2B |
| 9E7J31618W | 9E7J31618W | statement | record (an 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.19288#2PCG |
| 9E7JNS6W76 | 9E7JNS6W76 | statement | record (an 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.10527#GB7R |
| 9E90VTXZY6 | 9E90VTXZY6 | statement | record (an 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.14741#2162 |
| 9E997KEMA0 | 9E997KEMA0 | statement | record (an 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.09319#Y9R0 |
| 9E9XWR39R0 | 9E9XWR39R0 | statement | record (an 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.28898#HHAL |
| 9EA3KGVMDD | 9EA3KGVMDD | statement | record (an 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.15419#F95A |
| 9EA419SMNB | 9EA419SMNB | proof | open | open_logic content/incompleteness/incompleteness-provability/fixed-point-lemma.tex#proof-1 |
| 9EA8K0M7QY | 9EA8K0M7QY | statement | record (an 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.24190#TGRU |
| 9EA8VZEFJY | 9EA8VZEFJY | statement | record (an 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#0LTJ |
| 9EAPFGVJ2V | 9EAPFGVJ2V | statement | record (an 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#X417 |
| 9EAXKXFCNP | 9EAXKXFCNP | 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.09809#0Z7O |
| 9EB3EWS18B | 9EB3EWS18B | exercise | open | levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-13 |
| 9EB77S73GA | 9EB77S73GA | statement | record (an 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.08873#OQLP |
| 9EBJTV4B5B | 9EBJTV4B5B | statement | record (an 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.29531#PB6Q |
| 9EBKJRS8E3 | 9EBKJRS8E3 | example | open | applied_combinatorics source/s_recurrence_solving.ptx#ex_recurrence_deg4-repeated |
| 9EBMEQ32X0 | 9EBMEQ32X0 | statement | record (an 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/0406514#R15D |
| 9EBTRA3N6E | 9EBTRA3N6E | statement | record (an 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.05018#X48A |
| 9EC2J10CTZ | 9EC2J10CTZ | statement | record (an 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#6KBA |
| 9EC69Q1RNM | 9EC69Q1RNM | statement | record (an 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.20458#CIZD |
| 9ECN8XB5FD | 9ECN8XB5FD | 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.29552#0A47 |
| 9EE5505EW4 | 9EE5505EW4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2101.07846#7F0W |
| 9EE67VTR9P | 9EE67VTR9P | 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.36423#43OT |
| 9EE971ZK98 | 9EE971ZK98 | statement | record (an 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.21414#886R |
| 9EEXGRM94M | 9EEXGRM94M | 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.06724#TURF |
| 9EF30DYHRK | 9EF30DYHRK | statement | record (an 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.07240#0226 |
| 9EFE2W11XP | 9EFE2W11XP | 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 1002.0879#UICH |
| 9EFED8GZ1G | 9EFED8GZ1G | statement | record (an 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.20480#6H77 |
| 9EFP6F9VE8 | 9EFP6F9VE8 | statement | record (an 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.14135#YHGV |
| 9EFYQ93AKN | 9EFYQ93AKN | 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.27775#WEV5 |