Inventory: Q
The rows of the inventory whose names start with Q. 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 601–700 of 3198.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Q6C1KF33DS | Q6C1KF33DS | statement | record (an 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.14217#WKTO |
| Q6CDT75ZJW | Q6CDT75ZJW | exercise | open | levin_dmoi ptx/exercises/counting-conc.ptx#exercise-6 |
| Q6CVNWWW3P | Q6CVNWWW3P | statement | record (an 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.26386#CEU5 |
| Q6D0TEJR49 | Q6D0TEJR49 | statement | record (an 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.13745#BGF2 |
| Q6E50YAXNG | Q6E50YAXNG | 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 2011.07352#VXU9 |
| Q6EH7BERBV | Q6EH7BERBV | statement | record (an 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.30679#8AXO |
| Q6ENS07CTR | Q6ENS07CTR | statement | record (an 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.08151#SGVE |
| Q6FHG1TNN5 | Q6FHG1TNN5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.11143#JL68 |
| Q6FT1RRPEP | Q6FT1RRPEP | statement | record (an 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.08288#R0E3 |
| Q6G00AEA7C | Q6G00AEA7C | exercise | open | open_logic content/set-theory/ordinals/wo.tex#prob-1 |
| Q6G2SHN3HK | Q6G2SHN3HK | statement | record (an 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.01197#H93E |
| Q6G688QRCD | Q6G688QRCD | statement | record (an 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#D3O6 |
| Q6H3NAQ5JQ | Q6H3NAQ5JQ | statement | record (an 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.15169#LZXJ |
| Q6HGJ0NA3R | Q6HGJ0NA3R | 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.14847#07ME |
| Q6HX5ZQ0HG | Q6HX5ZQ0HG | statement | record (an 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#C1JB |
| Q6J1TVND2S | Q6J1TVND2S | exercise | open | levin_dmoi ptx/exercises/seq-basics.ptx#exercise-17 |
| Q6J4R48E8Z | Q6J4R48E8Z | example | open | open_logic content/turing-machines/machines-computations/combining-machines.tex#ex-1 |
| Q6JT26XV0C | Q6JT26XV0C | statement | record (an 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.03353#VDSL |
| Q6K1X1H97D | Q6K1X1H97D | 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.09171#KH8N |
| Q6KMRMSEVK | Q6KMRMSEVK | statement | record (an 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.08776#10ZP |
| Q6M2ZG3H5G | Q6M2ZG3H5G | 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.27056#X3XX |
| Q6MD9K59C5 | Q6MD9K59C5 | 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.17135#20Z5 |
| Q6MRCMSNJH | Q6MRCMSNJH | statement | record (an 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.05396#NGVN |
| Q6MVXV0WZP | Q6MVXV0WZP | statement | record (an 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.01958#QTCY |
| Q6N5EVA4K5 | Q6N5EVA4K5 | proof | open | lebl_ra ch-metric.tex#proof-6 |
| Q6NFA2KGF6 | Q6NFA2KGF6 | statement | record (an 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#9UVM |
| Q6NHV1T93K | Q6NHV1T93K | statement | record (an 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#8CD8 |
| Q6PEDZ1Z5C | Q6PEDZ1Z5C | 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#3PIG |
| Q6Q7VTQKAE | Q6Q7VTQKAE | statement | record (an 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.14837#9GB1 |
| Q6RJDEE19H | Q6RJDEE19H | statement | record (an 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.18859#RIAE |
| Q6S4CPZN2E | Q6S4CPZN2E | statement | record (an 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.08237#WHCQ |
| Q6S58ZYVM3 | Q6S58ZYVM3 | statement | open | open_logic content/incompleteness/representability-in-q/representable-comp.tex#lem:rep-q |
| Q6S5S52J4X | Q6S5S52J4X | statement | record (an 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.05965#MAWK |
| Q6SMHV4HZE | Q6SMHV4HZE | statement | record (an 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.22040#W7ZZ |
| Q6T2KGF3NH | Q6T2KGF3NH | statement | record (an 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#26HZ |
| Q6TT3E4S9N | Q6TT3E4S9N | statement | record (an 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#5JB9 |
| Q6VBC02SN9 | Q6VBC02SN9 | statement | record (an 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.30730#8K1T |
| Q6VCF59G2Z | Q6VCF59G2Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0807.1652#RKQW |
| Q6WCWY1SZN | Q6WCWY1SZN | statement | record (an 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.36717#GHVK |
| Q6WST360DV | Q6WST360DV | statement | record (an 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.36389#ACDF |
| Q6X3VHVZ9X | Q6X3VHVZ9X | statement | record (an 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.10365#BJ4F |
| Q6XRDVWM2J | Q6XRDVWM2J | statement | open | open_logic content/proof-theory/normalization/normalization-thm.tex#thm:normalization |
| Q6Y85D099M | Q6Y85D099M | statement | record (an 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.14249#C3GF |
| Q6YD393JXZ | Q6YD393JXZ | exercise | open | open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#prob-2 |
| Q6YG62XGKY | Q6YG62XGKY | statement | record (an 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.17565#18ES |
| Q6YT0BSR3R | Q6YT0BSR3R | 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.03661#IZNL |
| Q6YZ22PZZY | Q6YZ22PZZY | statement | record (an 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.26017#RJ2G |
| Q6Z78FKEHE | Q6Z78FKEHE | statement | record (an 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.34551#JR6A |
| Q6Z8RTEG45 | Q6Z8RTEG45 | 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.26701#UQL1 |
| Q6ZASXJH5J | Q6ZASXJH5J | statement | record (an 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.02022#36JA |
| Q6ZAWP56PP | Q6ZAWP56PP | example | open | lebl_diffyqs ch-laplace.tex#ltc:convsincosex |
| Q6ZRVGWNPJ | Q6ZRVGWNPJ | statement | record (an 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.34856#RT45 |
| Q707B8D7Y7 | Q707B8D7Y7 | statement | record (an 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#0YFQ |
| Q710BHSH5K | Q710BHSH5K | statement | record (an 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.12188#COL6 |
| Q71GD7SMCR | Q71GD7SMCR | statement | record (an 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.37606#1YF6 |
| Q71TQD52DC | Q71TQD52DC | statement | record (an 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#O2DH |
| Q71Z3QW88V | Q71Z3QW88V | statement | record (an 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.33263#59Z2 |
| Q728HEPCQ5 | Q728HEPCQ5 | statement | record (an 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.24523#EA72 |
| Q72GAMFY90 | Q72GAMFY90 | statement | record (an 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.20466#YJSK |
| Q737FCQ202 | Q737FCQ202 | 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.16554#Y8GT |
| Q739YYPD7R | Q739YYPD7R | definition | open | lebl_ra ch-vol1-intro.tex#defn-3 |
| Q73A2QQCVD | Q73A2QQCVD | exercise | open | napkin tex/riemann-surface/affine-projective.tex#exercise-5 |
| Q73D9BBMYK | Q73D9BBMYK | statement | open | open_logic content/proof-theory/sequent-calculus/proof-examples.tex#prop:G3c-axioms |
| Q73DYM5RDA | Q73DYM5RDA | 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.12912#GY8Q |
| Q74693C9CE | Q74693C9CE | statement | record (an 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.12633#GW39 |
| Q746GT9P6D | Q746GT9P6D | statement | record (an 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.36181#5SAN |
| Q74FCN10RK | Q74FCN10RK | statement | record (an 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.27125#QVNT |
| Q74FXATMF7 | Q74FXATMF7 | statement | open | open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#prop-2 |
| Q74PYE5EFB | Q74PYE5EFB | statement | open | open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#thm:first-incompleteness |
| Q768HEWYCP | Q768HEWYCP | statement | record (an 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#S52W |
| Q76MB99F0A | Q76MB99F0A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.02848#F7U0 |
| Q771039AA8 | Q771039AA8 | 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.31327#P4A7 |
| Q7749RFZGG | Q7749RFZGG | statement | record (an 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.37271#F6Y1 |
| Q778DMCRKF | Q778DMCRKF | statement | record (an 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.24623#O2VK |
| Q786J0HAZ3 | Q786J0HAZ3 | statement | record (an 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.00525#AMKA |
| Q78B1NJZHH | Q78B1NJZHH | 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.22074#B4TO |
| Q78VCV0W1E | Q78VCV0W1E | statement | record (an 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#JRHI |
| Q7992JJG20 | Q7992JJG20 | statement | record (an 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#FD95 |
| Q79AAMMVSF | Q79AAMMVSF | statement | record (an 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.08697#3GK3 |
| Q7A7D1RF0M | Q7A7D1RF0M | 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.33733#526L |
| Q7AN9AN3CZ | Q7AN9AN3CZ | unknown | open | |
| Q7BMC0WVXS | Q7BMC0WVXS | statement | record (an 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.14060#T2QL |
| Q7BRJSY9MF | Q7BRJSY9MF | statement | record (an 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.27752#W199 |
| Q7BYJNVS1A | Q7BYJNVS1A | statement | record (an 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.13670#MODA |
| Q7C37SB2YK | Q7C37SB2YK | statement | record (an 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.00864#8Q69 |
| Q7CBQCJNEP | Q7CBQCJNEP | statement | record (an 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.06321#KT4M |
| Q7CVKQQRYN | Q7CVKQQRYN | exercise | open | lebl_ra ch-riemann.tex#exercise-27 |
| Q7CXXBBRRG | Q7CXXBBRRG | 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#C2DW |
| Q7DXHHSEHV | Q7DXHHSEHV | statement | record (an 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.14060#29ZE |
| Q7EB8KXBEY | Q7EB8KXBEY | definition | open | ernst_ibl MAAPressVersion/CartesianProducts.tex#definition-2 |
| Q7ERT1YTVJ | Q7ERT1YTVJ | proof | open | lebl_ra ch-metric.tex#proof-18 |
| Q7FX4S199H | Q7FX4S199H | statement | record (an 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.25345#WQBW |
| Q7HDCVVNT6 | Q7HDCVVNT6 | statement | record (an 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.18618#EJVS |
| Q7HMZ9Q5B1 | Q7HMZ9Q5B1 | statement | record (an 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.20910#9IZZ |
| Q7JHRNVK9J | Q7JHRNVK9J | statement | record (an 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.07983#4IOF |
| Q7JN57FJCQ | Q7JN57FJCQ | statement | record (an 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.10576#TLHE |
| Q7JXWBTQT3 | Q7JXWBTQT3 | statement | record (an 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.37124#IJ8R |
| Q7KFK4DN5G | Q7KFK4DN5G | exercise | open | napkin tex/H113/quotient.tex#problem-1 |
| Q7M8DWTZFH | Q7M8DWTZFH | 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 2108.03672#ORA5 |
| Q7MN5MBXPE | Q7MN5MBXPE | 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.19260#LY40 |