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 21501–21600 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 8JNFTDSDVB | 8JNFTDSDVB | 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.16059#TPAF |
| 8JNTZDDA5Z | 8JNTZDDA5Z | statement | record (an 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.21945#KOMF |
| 8JP44Z1KCS | 8JP44Z1KCS | 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.14162#ESN2 |
| 8JP75P783E | 8JP75P783E | 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 2103.12669#RR52 |
| 8JQD4J298B | 8JQD4J298B | proof | open | open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#proof-1 |
| 8JQG6M5X6C | 8JQG6M5X6C | 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.37520#PRH3 |
| 8JQN27HHMJ | 8JQN27HHMJ | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q14382, ProofWiki Symbols:Greek/Beta |
| 8JR3VF8RFY | 8JR3VF8RFY | statement | record (an 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#R8T7 |
| 8JR7ES0JGY | 8JR7ES0JGY | statement | record (an 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.40138#7DJ6 |
| 8JRJG5DNDC | 8JRJG5DNDC | statement | record (an 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#67N2 |
| 8JS74DDHH1 | 8JS74DDHH1 | statement | record (an 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.36818#YKSF |
| 8JSBPPM43A | 8JSBPPM43A | statement | record (an 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.40214#K3VL |
| 8JT89SPRM8 | 8JT89SPRM8 | statement | record (an 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.04948#88T9 |
| 8JTZCEQE07 | 8JTZCEQE07 | statement | record (an 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.02628#GL0U |
| 8JV2ACXR82 | 8JV2ACXR82 | 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 2312.14319#BB3P |
| 8JV62QCSS2 | 8JV62QCSS2 | statement | record (an 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.36141#JTO8 |
| 8JV6754GFR | 8JV6754GFR | statement | record (an 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.20385#LUX5 |
| 8JVJCK7VX6 | 8JVJCK7VX6 | statement | record (an 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.19300#D0SN |
| 8JVRXR63WM | 8JVRXR63WM | exercise | open | applied_combinatorics source/s_induction_exercises.ptx#exercise-8 |
| 8JWQYG0SMZ | 8JWQYG0SMZ | 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 2111.09700#7B68 |
| 8JXGTKT6CR | 8JXGTKT6CR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.01868#X6SG |
| 8JXN90HR2X | 8JXN90HR2X | statement | record (an 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.33829#8XW9 |
| 8JY27BRKJX | 8JY27BRKJX | 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 1902.04230#3RAL |
| 8JYAADGH6R | 8JYAADGH6R | unknown | open | arXiv 2610.21507#XV7B |
| 8JYESP40BC | 8JYESP40BC | statement | record (an 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.36321#3PG7 |
| 8JYMKSPJ38 | 8JYMKSPJ38 | 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.37520#972I |
| 8JYPVB4BA2 | 8JYPVB4BA2 | proof | open | applied_combinatorics source/s_networkflow_flows-cuts.ptx#proof-1 |
| 8JYQ5C4N6B | 8JYQ5C4N6B | statement | record (an 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.12120#OTUY |
| 8JZ8ZT0XZ2 | 8JZ8ZT0XZ2 | statement | record (an 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.14278#TYB8 |
| 8JZEYQ82H8 | 8JZEYQ82H8 | statement | record (an 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.21655#0G3E |
| 8JZPTPFMH9 | 8JZPTPFMH9 | 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.02790#QLR1 |
| 8K08EKK9XV | 8K08EKK9XV | proof | open | open_logic content/normal-modal-logic/syntax-and-semantics/modal-validity.tex#proof-1 |
| 8K092H7ZWS | 8K092H7ZWS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.15255#FL6N |
| 8K0BY3AVTE | 8K0BY3AVTE | statement | record (an 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.04046#XQ9M |
| 8K118A3YHS | 8K118A3YHS | statement | record (an 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#YDXK |
| 8K17QRK9MM | 8K17QRK9MM | statement | record (an 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.26401#GSKY |
| 8K1EHM73DB | 8K1EHM73DB | 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.21752#TTTO |
| 8K1K03EY8V | 8K1K03EY8V | statement | record (an 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#942E |
| 8K1PGFVBKC | 8K1PGFVBKC | statement | record (an 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.29605#5BJD |
| 8K2KY6XM4C | 8K2KY6XM4C | exercise | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#problem-3 |
| 8K3VB76K00 | 8K3VB76K00 | statement | record (an 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#JIRX |
| 8K49NFYWEX | 8K49NFYWEX | statement | record (an 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.20391#M1YJ |
| 8K4HFGE0R9 | 8K4HFGE0R9 | statement | record (an 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.17002#O1A2 |
| 8K509DXN3Y | 8K509DXN3Y | statement | open | hott_book logic.tex#thm:path-subset |
| 8K5GY6A0M3 | 8K5GY6A0M3 | statement | record (an 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.33573#GMD4 |
| 8K5WBFGGNP | 8K5WBFGGNP | statement | record (an 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.00116#OQ1N |
| 8K5X0MPDEC | 8K5X0MPDEC | statement | record (an 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.03612#C959 |
| 8K63F2S22N | 8K63F2S22N | 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 2308.05066#0AM7 |
| 8K6A0CDNGB | 8K6A0CDNGB | statement | record (an 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#J7RJ |
| 8K6NGQ7BVM | 8K6NGQ7BVM | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-19 |
| 8K6RGEEHJR | 8K6RGEEHJR | 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.05259#XV7N |
| 8K6TP2ZHZS | 8K6TP2ZHZS | statement | record (an 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.16022#MXMG |
| 8K6TSD4QV1 | 8K6TSD4QV1 | statement | record (an 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#HLVR |
| 8K73W0SN6Z | 8K73W0SN6Z | statement | record (an 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.16388#U7W3 |
| 8K74BH9KTA | 8K74BH9KTA | statement | record (an 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.05421#DF4B |
| 8K7GK42QMG | 8K7GK42QMG | statement | record (an 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#BO45 |
| 8K7H27RHN6 | 8K7H27RHN6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0804.3628#C11W |
| 8K8FKZ3D4X | 8K8FKZ3D4X | statement | record (an 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.14047#BDHM |
| 8K8SZ2MYAR | 8K8SZ2MYAR | statement | record (an 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.29631#U9FY |
| 8K8WYPVBE0 | 8K8WYPVBE0 | statement | record (an 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#9XOS |
| 8K94VGERM3 | 8K94VGERM3 | statement | record (an 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#ITYE |
| 8K9JX2DGSZ | 8K9JX2DGSZ | statement | record (an 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.22082#N4K0 |
| 8K9VKSXZ3G | 8K9VKSXZ3G | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-69 |
| 8KA43D19NW | 8KA43D19NW | statement | record (an 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#FKJ3 |
| 8KA452PDE3 | 8KA452PDE3 | statement | record (an 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.36884#P6C2 |
| 8KAEZE9G1A | 8KAEZE9G1A | statement | record (an 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.01731#KU3Z |
| 8KAX0NSJGH | 8KAX0NSJGH | statement | record (an 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.04844#1DNL |
| 8KB318H3JF | 8KB318H3JF | statement | record (an 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.29023#HLOL |
| 8KC2EAXGSZ | 8KC2EAXGSZ | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-19 |
| 8KC3JC56X6 | 8KC3JC56X6 | 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.09300#BY4K |
| 8KD1M8RWJZ | 8KD1M8RWJZ | statement | record (an 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.19872#OGBJ |
| 8KD8PRJ2EK | 8KD8PRJ2EK | statement | record (an 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.06433#16JI |
| 8KD9Q7R4SW | 8KD9Q7R4SW | example | open | lebl_diffyqs ch-power-ser.tex#ps:1kex |
| 8KDSMTMS3Z | 8KDSMTMS3Z | 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/0003117#QSB6 |
| 8KE3S3X912 | 8KE3S3X912 | statement | record (an 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.02669#BKNT |
| 8KE5DPYQDY | 8KE5DPYQDY | 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.37520#C01O |
| 8KE9NN18ZF | 8KE9NN18ZF | statement | record (an 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.31335#FS4W |
| 8KFJR772RM | 8KFJR772RM | statement | record (an 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#KUFI |
| 8KFT098YAT | 8KFT098YAT | 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.07963#LRUV |
| 8KGHZ96EJ4 | 8KGHZ96EJ4 | proof | open | open_logic content/proof-theory/sequent-calculus/quantifiers.tex#proof-1 |
| 8KGJ374SQD | 8KGJ374SQD | 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.19791#UTED |
| 8KGKTZMESB | 8KGKTZMESB | 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.15593#BI3P |
| 8KH0D2QGF1 | 8KH0D2QGF1 | statement | record (an 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.03835#ROQQ |
| 8KH348KKST | 8KH348KKST | 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.04709#39J6 |
| 8KHJRR0GTT | 8KHJRR0GTT | 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.37520#64Z6 |
| 8KHWAEQHB6 | 8KHWAEQHB6 | statement | record (an 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.20257#IBI0 |
| 8KJ14HCNWR | 8KJ14HCNWR | 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.22218#ZB89 |
| 8KJ8KQEAYF | 8KJ8KQEAYF | statement | record (an 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.06746#0VQX |
| 8KJAZZNG5B | 8KJAZZNG5B | statement | record (an 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.10873#NFCI |
| 8KKAC9CM9D | 8KKAC9CM9D | statement | record (an 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.00798#N2PF |
| 8KKTNSYS10 | 8KKTNSYS10 | statement | record (an 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.03081#K02S |
| 8KN11B2F65 | 8KN11B2F65 | statement | record (an 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.10558#TA3L |
| 8KN4YK7Y2E | 8KN4YK7Y2E | statement | record (an 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.14374#OZV9 |
| 8KPE88B4JB | 8KPE88B4JB | 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.11468#C8DG |
| 8KPHX7EFCT | 8KPHX7EFCT | statement | record (an 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.27253#7OGR |
| 8KQ5ATGNH2 | 8KQ5ATGNH2 | statement | record (an 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.01946#3C6N |
| 8KQ88DHPSX | 8KQ88DHPSX | statement | record (an 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#3FDR |
| 8KRGK5QSCG | 8KRGK5QSCG | statement | record (an 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.09354#V42I |
| 8KRJ8S17G7 | 8KRJ8S17G7 | 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 2609.27800#BHUD |
| 8KRSM85HCF | 8KRSM85HCF | statement | record (an 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.15313#CQUW |