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 17801–17900 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 76Y3CFJCXS | 76Y3CFJCXS | statement | record (an 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.16746#U65X |
| 76YC18BNSV | 76YC18BNSV | statement | open | open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#prop:formed |
| 76YJ43H4VM | 76YJ43H4VM | statement | record (an 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#SCI6 |
| 76YK5S0CCN | 76YK5S0CCN | statement | record (an 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.35605#BP30 |
| 76Z6PBZ3P0 | 76Z6PBZ3P0 | statement | record (an 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#PRC7 |
| 76ZC0XTCVC | 76ZC0XTCVC | statement | record (an 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#03K1 |
| 76ZHYBNJYT | 76ZHYBNJYT | statement | record (an 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#RPGT |
| 76ZMH6BZ0V | 76ZMH6BZ0V | statement | record (an 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#8838 |
| 77 | 9QZ7BBSE47 | statement | open | Wikidata Q713167, ProofWiki 77 |
| 771SC5Z2DR | 771SC5Z2DR | statement | record (an 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.10505#Q50E |
| 772B0ZM4DP | 772B0ZM4DP | 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.29022#VK1X |
| 772V9BHAZ3 | 772V9BHAZ3 | exercise | open | lebl_scv scv.tex#exercise-179 |
| 7730KCX6TW | 7730KCX6TW | statement | record (an 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.04870#106U |
| 77353JJEMC | 77353JJEMC | proof | open | open_logic content/set-theory/z/infinity-again.tex#proof-1 |
| 773CE8HBXC | 773CE8HBXC | exercise | open | napkin tex/cats/functors.tex#problem-1 |
| 773KZFAWA0 | 773KZFAWA0 | statement | record (an 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#RCES |
| 773PWCN6FV | 773PWCN6FV | statement | record (an 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.11939#9GHR |
| 773XQF9XMJ | 773XQF9XMJ | statement | record (an 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#HA95 |
| 774220SJWZ | 774220SJWZ | statement | record (an 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.29489#IREB |
| 7748YPC3K6 | 7748YPC3K6 | statement | record (an 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.29537#X5W0 |
| 774GNFT3PM | 774GNFT3PM | statement | record (an 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#809G |
| 774XEGM7ZB | 774XEGM7ZB | statement | record (an 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.19707#X89B |
| 775H8TNJ6X | 775H8TNJ6X | statement | record (an 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.00676#AFWZ |
| 775R21ZJZM | 775R21ZJZM | 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 1204.5958#V7AT |
| 776WF1Y66N | 776WF1Y66N | statement | record (an 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.23797#4AWQ |
| 7775D2FVTE | 7775D2FVTE | statement | record (an 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.01783#BLDQ |
| 7777B3SWWN | 7777B3SWWN | 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#NICN |
| 777TARVYHZ | 777TARVYHZ | 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.07644#4RH8 |
| 778H7FGBD7 | 778H7FGBD7 | statement | record (an 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.03661#JBF6 |
| 778SBKVWEA | 778SBKVWEA | statement | record (an 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.09084#7OWH |
| 778VS8GH67 | 778VS8GH67 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2007.14459#ESVI |
| 77930B5VG5 | 77930B5VG5 | statement | record (an 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.15525#QKT6 |
| 77998B4FAA | 77998B4FAA | statement | record (an 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.08280#65YN |
| 779H5WZN2A | 779H5WZN2A | statement | record (an 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.40017#KZOX |
| 779YKY59F5 | 779YKY59F5 | 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 2403.16388#W8IY |
| 77AV4WEBBV | 77AV4WEBBV | statement | record (an 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#7Z82 |
| 77BE3SJK2C | 77BE3SJK2C | 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.17060#QUJE |
| 77BEZZSW7C | 77BEZZSW7C | statement | record (an 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.39675#00IU |
| 77BHYFCA3G | 77BHYFCA3G | statement | record (an 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#XGQR |
| 77BKZ50G54 | 77BKZ50G54 | statement | record (an 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#GL02 |
| 77BP1ABQWD | 77BP1ABQWD | proof | open | open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#proof-1 |
| 77BVA0WZJ9 | 77BVA0WZJ9 | statement | record (an 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.21045#9PI1 |
| 77CG92GWAY | 77CG92GWAY | statement | record (an 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.32233#ZFL4 |
| 77D8B7KBV3 | 77D8B7KBV3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.00440#T6TH |
| 77D8TN1EVR | 77D8TN1EVR | statement | record (an 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#U3EK |
| 77E3GZ70JS | 77E3GZ70JS | statement | record (an 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.31782#XU2I |
| 77EFNACT6D | 77EFNACT6D | statement | record (an 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.02432#0F7F |
| 77EP2X5NHP | 77EP2X5NHP | exercise | open | lebl_scv scv.tex#exercise-20 |
| 77EPK8RAN4 | 77EPK8RAN4 | statement | record (an 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#QBHP |
| 77FAWE9YXH | 77FAWE9YXH | statement | record (an 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.17871#GGQO |
| 77FV2ZQB77 | 77FV2ZQB77 | statement | record (an 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.28141#3PIC |
| 77FVSDBVKT | 77FVSDBVKT | statement | record (an 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.35543#8MUM |
| 77GGD4QJW2 | 77GGD4QJW2 | statement | record (an 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.10452#A53Y |
| 77GHS8HE9V | 77GHS8HE9V | statement | record (an 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#0R3U |
| 77H6RZ8V9N | 77H6RZ8V9N | statement | record (an 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#CN5J |
| 77HDVTM9XX | 77HDVTM9XX | statement | record (an 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#M1WZ |
| 77HGXV8KPJ | 77HGXV8KPJ | statement | record (an 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#JNTZ |
| 77HMW2E6T2 | 77HMW2E6T2 | statement | record (an 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.07470#KMD2 |
| 77J8FBXG6Y | 77J8FBXG6Y | statement | record (an 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.16853#861F |
| 77J9G5DWG0 | 77J9G5DWG0 | 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.07890#OZVM |
| 77JBR05GEM | 77JBR05GEM | statement | record (an 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.00364#KUSL |
| 77JKRHZG10 | 77JKRHZG10 | statement | record (an 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#LT1P |
| 77KA8ZFJRA | 77KA8ZFJRA | 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.02500#19NS |
| 77KP5WGA3Q | 77KP5WGA3Q | exercise | open | levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-5 |
| 77MC7PGDH1 | 77MC7PGDH1 | statement | record (an 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.10452#F9DI |
| 77MDYGBHD7 | 77MDYGBHD7 | statement | record (an 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.06544#O6VY |
| 77MFF9753K | 77MFF9753K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.07485#GOEJ |
| 77MJJXNPEH | 77MJJXNPEH | statement | record (an 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.15344#RXGE |
| 77MJY4614T | 77MJY4614T | statement | record (an 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.11800#5B0A |
| 77MWRHTFHX | 77MWRHTFHX | statement | record (an 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.13213#3RPA |
| 77MZQ2DWW3 | 77MZQ2DWW3 | statement | record (an 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.37589#JK12 |
| 77NFEC7SSF | 77NFEC7SSF | statement | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#prop:deriv |
| 77NJ7GA1T6 | 77NJ7GA1T6 | statement | record (an 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.04314#Q4GK |
| 77NRBVGGPS | 77NRBVGGPS | statement | record (an 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.12912#KNK9 |
| 77NRMAZFAK | 77NRMAZFAK | statement | record (an 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/9807180#V718 |
| 77NW594DC4 | 77NW594DC4 | statement | record (an 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.34295#35W3 |
| 77P3GBSNWE | 77P3GBSNWE | statement | record (an 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.37208#IWZ1 |
| 77P7HJ4BN4 | 77P7HJ4BN4 | statement | record (an 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.27103#AVJ5 |
| 77P7Y9CK4Y | 77P7Y9CK4Y | statement | record (an 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.02961#35U7 |
| 77Q1JEJBGQ | 77Q1JEJBGQ | statement | record (an 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.15010#2JWV |
| 77Q2X3R4RP | 77Q2X3R4RP | statement | record (an 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.18600#X69A |
| 77QF13FZGA | 77QF13FZGA | statement | record (an 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#BAE7 |
| 77RNYPYFVF | 77RNYPYFVF | 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.01073#O92P |
| 77S2CX3QSH | 77S2CX3QSH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#5F2T |
| 77SDHPS4EZ | 77SDHPS4EZ | statement | record (an 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.10773#YP74 |
| 77T0KANGJ5 | 77T0KANGJ5 | statement | record (an 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#J3QB |
| 77TM75NRYF | 77TM75NRYF | statement | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#prop:followsby |
| 77VDWEBMFR | 77VDWEBMFR | statement | record (an 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.35950#Z06L |
| 77VHBKRPKC | 77VHBKRPKC | statement | record (an 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.16123#3D3Z |
| 77W3KAW9B6 | 77W3KAW9B6 | statement | record (an 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#1OV1 |
| 77WK8CBZVQ | 77WK8CBZVQ | statement | record (an 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.28020#4P72 |
| 77WZE4YYJK | 77WZE4YYJK | statement | record (an 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.16886#AAK6 |
| 77XN0R4NQQ | 77XN0R4NQQ | statement | record (an 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.02634#A1XB |
| 77Y9SE9GBC | 77Y9SE9GBC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.01563#D0D3 |
| 77YWEZRF1N | 77YWEZRF1N | statement | record (an 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.07679#OGVH |
| 77ZJPTV1C3 | 77ZJPTV1C3 | statement | record (an 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.01803#TF12 |
| 77ZP6XZ3SR | 77ZP6XZ3SR | statement | record (an 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.10408#W7UN |
| 780S200X80 | 780S200X80 | 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.01802#1OCP |
| 78110XWBY9 | 78110XWBY9 | statement | record (an 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.04730#7J1T |
| 781KCG9JCH | 781KCG9JCH | statement | record (an 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.30113#AN3A |