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 24801–24900 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 8QJ8NMSRNQ | 8QJ8NMSRNQ | 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.32599#X0WL |
| 8QJKNTE7GR | 8QJKNTE7GR | 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 2508.18436#2C4P |
| 8QKGKT435C | 8QKGKT435C | example | open | lebl_diffyqs ch-fourier-and-pde.tex#example:pluckedstring |
| 8QM8RRG62M | 8QM8RRG62M | exercise | open | lebl_diffyqs ch-systems.tex#exercise-27 |
| 8QM9PBX2P5 | 8QM9PBX2P5 | statement | open | ernst_ibl MAAPressVersion/CountableSets.tex#theorem-8 |
| 8QMG2Z9CV8 | 8QMG2Z9CV8 | exercise | open | levin_dmoi ptx/exercises/gt-planar.ptx#exercise-3 |
| 8QN25PB7SW | 8QN25PB7SW | problem | open | Wikipedia Nested triangles graph#0F02 |
| 8QN8CN2ACK | 8QN8CN2ACK | statement | record (an 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#PJJH |
| 8QNFNK75TS | 8QNFNK75TS | statement | record (an 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.30976#TGJQ |
| 8QNFS4FB4Q | 8QNFS4FB4Q | statement | record (an 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.12983#AS9T |
| 8QP87CYDZ1 | 8QP87CYDZ1 | statement | record (an 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.02079#6H21 |
| 8QPKE4KYCW | 8QPKE4KYCW | 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#GHNK |
| 8QPKMDDN0M | 8QPKMDDN0M | statement | record (an 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.20316#JZ25 |
| 8QPMB07CVH | 8QPMB07CVH | statement | record (an 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.11507#4JRQ |
| 8QQ5VKRBW6 | 8QQ5VKRBW6 | statement | record (an 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.16386#4I9C |
| 8QRCJ4Z761 | 8QRCJ4Z761 | statement | record (an 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.10093#I8DS |
| 8QRM5ZR7WT | 8QRM5ZR7WT | proof | open | open_logic content/set-theory/z/separation.tex#proof-4 |
| 8QRQE1A5S8 | 8QRQE1A5S8 | statement | open | napkin tex/homology/cohomology.tex#lemma-2 |
| 8QRT46Z83K | 8QRT46Z83K | statement | record (an 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.23522#YAF0 |
| 8QS2CBND6X | 8QS2CBND6X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.21444#8KM1 |
| 8QSXMY2DJC | 8QSXMY2DJC | statement | record (an 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#4DBS |
| 8QT0S40136 | 8QT0S40136 | statement | record (an 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.09557#ZFQ1 |
| 8QT3JHGCRD | 8QT3JHGCRD | statement | record (an 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.28189#9KG5 |
| 8QV7KBGJVZ | 8QV7KBGJVZ | example | open | open_logic content/normal-modal-logic/tableaux/proofs-in-K.tex#ex-2 |
| 8QVNTBFXDR | 8QVNTBFXDR | statement | record (an 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#8FF1 |
| 8QVPJZRMG2 | 8QVPJZRMG2 | statement | record (an 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.38131#7463 |
| 8QW9KR1PMQ | 8QW9KR1PMQ | statement | record (an 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#SITJ |
| 8QWFG7E6MY | 8QWFG7E6MY | statement | record (an 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.20944#INZX |
| 8QWKVA76B2 | 8QWKVA76B2 | 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#MY93 |
| 8QXZ5YTBEV | 8QXZ5YTBEV | statement | record (an 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.26169#O2GN |
| 8QYEKREGQM | 8QYEKREGQM | 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.27192#FN86 |
| 8QYS7ARKPT | 8QYS7ARKPT | statement | record (an 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.14979#NH28 |
| 8QYXTM33N2 | 8QYXTM33N2 | statement | record (an 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.34731#Q3D5 |
| 8QZ3E73WTX | 8QZ3E73WTX | 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.03719#BKYH |
| 8R00HWBF5A | 8R00HWBF5A | 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.40345#GU39 |
| 8R0G2A1T5M | 8R0G2A1T5M | statement | record (an 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.23212#ZV8C |
| 8R0JNH8WKQ | 8R0JNH8WKQ | 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.25289#EGWZ |
| 8R0KVAKM6X | 8R0KVAKM6X | statement | record (an 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.05417#RIZU |
| 8R0MFBEMFD | 8R0MFBEMFD | 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 math/0406514#D9FA |
| 8R0RVKHMHW | 8R0RVKHMHW | problem | open | Wikipedia Euler's constant#7JPQ |
| 8R1GGQ9Y7G | 8R1GGQ9Y7G | statement | record (an 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#X8SX |
| 8R1MTA0Y21 | 8R1MTA0Y21 | statement | record (an 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#ZSO8 |
| 8R1VA4S0EM | 8R1VA4S0EM | definition | open | napkin tex/cats/abelian.tex#definition-1 |
| 8R29E1BBAS | 8R29E1BBAS | proof | open | lebl_ra ch-seq-ser.tex#proof-16 |
| 8R2VFS4G34 | 8R2VFS4G34 | statement | record (an 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.25168#KG4L |
| 8R2XFD3TYF | 8R2XFD3TYF | statement | record (an 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.31274#X49O |
| 8R34QMYCBC | 8R34QMYCBC | statement | record (an 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.22281#HQVR |
| 8R365V094P | 8R365V094P | 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.23469#T641 |
| 8R417BG2Q4 | 8R417BG2Q4 | statement | record (an 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.14160#U9FS |
| 8R4XG94DJF | 8R4XG94DJF | statement | record (an 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.37897#SN1A |
| 8R53QY15JJ | 8R53QY15JJ | statement | record (an 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.21954#DTZF |
| 8R5J9NJBE9 | 8R5J9NJBE9 | statement | record (an 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.25167#1OC3 |
| 8R68X77FF7 | 8R68X77FF7 | statement | record (an 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.33656#NHOH |
| 8R6PD4EBVT | 8R6PD4EBVT | statement | record (an 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.32937#H5DL |
| 8R77D2X7RM | 8R77D2X7RM | statement | record (an 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.13385#Z28J |
| 8R7PCHPDEN | 8R7PCHPDEN | statement | record (an 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.16875#51EN |
| 8R7X8SK877 | 8R7X8SK877 | statement | record (an 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.06719#2XIH |
| 8R7Z214VNR | 8R7Z214VNR | statement | record (an 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.25353#8H5B |
| 8R7Z3HZPTA | 8R7Z3HZPTA | 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.23106#DSKB |
| 8R83PVBYXE | 8R83PVBYXE | 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.39293#NEUV |
| 8RAN6Q69R6 | 8RAN6Q69R6 | statement | record (an 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#91OC |
| 8RBB3NQKR9 | 8RBB3NQKR9 | statement | record (an 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#3FBQ |
| 8RCZ3W4NMS | 8RCZ3W4NMS | proof | open | lebl_scv scv.tex#proof-54 |
| 8RD4R4RMHX | 8RD4R4RMHX | statement | open | open_logic content/incompleteness/introduction/undecidability.tex#cor:incompleteness |
| 8RD967947Y | 8RD967947Y | exercise | open | napkin tex/alg-NT/frobenius.tex#ques-3 |
| 8RDY81YMMN | 8RDY81YMMN | statement | record (an 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.22469#G5DD |
| 8REZCGXZ3N | 8REZCGXZ3N | statement | record (an 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.15504#K9D3 |
| 8RFGB5SSKW | 8RFGB5SSKW | 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.07180#6LMC |
| 8RFGZZ3JMB | 8RFGZZ3JMB | statement | record (an 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.21929#4OHU |
| 8RG175AJJR | 8RG175AJJR | statement | record (an 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.13846#4BPF |
| 8RH2DDYBWB | 8RH2DDYBWB | statement | record (an 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.09483#WDTM |
| 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 |
| 8RHTW4MTKM | 8RHTW4MTKM | statement | record (an 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.23350#DE7W |
| 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 |
| 8RPZ5N865D | 8RPZ5N865D | 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.23469#8U3T |
| 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 |
| 8RQANK19CY | 8RQANK19CY | statement | record (an 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#Y7YK |
| 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 |
| 8RTNK8HT02 | 8RTNK8HT02 | 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.23522#SL5R |
| 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 |