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 1901–2000 of 3198.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| QNRZ4PYCMW | QNRZ4PYCMW | 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 2408.13548#ZMFV |
| QNSYF5A3SY | QNSYF5A3SY | statement | open | open_logic content/first-order-logic/axiomatic-deduction/provability-quantifiers.tex#thm:strong-generalization |
| QNTNT1NE9H | QNTNT1NE9H | statement | record (an 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#T9R0 |
| QNTXTKHA3F | QNTXTKHA3F | statement | record (an 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/0512416#GSII |
| QNVEGSJWB6 | QNVEGSJWB6 | 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.03126#FPQP |
| QNVKW9R7PB | QNVKW9R7PB | statement | record (an 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#GVGA |
| QNVMNSWVKJ | QNVMNSWVKJ | 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#G6W9 |
| QNX5GX5A50 | QNX5GX5A50 | statement | record (an 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.24363#ZFQ8 |
| QNX5ZMH4NQ | QNX5ZMH4NQ | statement | open | open_logic content/first-order-logic/natural-deduction/soundness.tex#cor:consistency-soundness |
| QNY5V3J9Q3 | QNY5V3J9Q3 | statement | record (an 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.03272#T6YX |
| QNY6SHFXFW | QNY6SHFXFW | 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.21732#822O |
| QNYBQFZP8H | QNYBQFZP8H | 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.24553#6W6O |
| QNYCP25SHY | QNYCP25SHY | statement | record (an 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.24353#3XR4 |
| QNYKMR8TMR | QNYKMR8TMR | proof | open | open_logic content/second-order-logic/metatheory/undecidability-and-axiomatizability.tex#proof-1 |
| QNZ3NMY81M | QNZ3NMY81M | statement | record (an 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#OWMI |
| QNZ3WMFWXR | QNZ3WMFWXR | statement | record (an 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.12329#TSMD |
| QNZJV21AVF | QNZJV21AVF | statement | record (an 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#OP9U |
| QNZPD8S074 | QNZPD8S074 | 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.38793#82O6 |
| QP0MFPRT08 | QP0MFPRT08 | statement | record (an 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.00344#I1AZ |
| QP0SGN8HFD | QP0SGN8HFD | statement | record (an 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.36411#9AIN |
| QP0T1QHDHN | QP0T1QHDHN | statement | record (an 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#3S1Q |
| QP17FHC0EF | QP17FHC0EF | statement | record (an 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#J9EV |
| QP1QPMPWEW | QP1QPMPWEW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.00752#18Q5 |
| QP1YFVHM8V | QP1YFVHM8V | statement | record (an 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.32651#3EGG |
| QP27W1EFQW | QP27W1EFQW | statement | record (an 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.27628#1PSO |
| QP2E5S9AK3 | QP2E5S9AK3 | statement | record (an 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.16834#TPH5 |
| QP35JKZQ3W | QP35JKZQ3W | unknown | open | arXiv 2610.13680#VQT2 |
| QP3QPPDHP3 | QP3QPPDHP3 | exercise | open | napkin tex/set-theory/zfc.tex#problem-1 |
| QP42QW6XB7 | QP42QW6XB7 | statement | record (an 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.05784#N5P2 |
| QP43H7G8KP | QP43H7G8KP | 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.30750#TXAR |
| QP4ZT0BQVV | QP4ZT0BQVV | statement | record (an 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.11082#H9K2 |
| QP570H1EFB | QP570H1EFB | statement | record (an 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#U4LN |
| QP5GGPS6JC | QP5GGPS6JC | statement | record (an 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.26572#VM7Z |
| QP5NP9X241 | QP5NP9X241 | statement | record (an 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.12231#HPPH |
| QP61S26TMA | QP61S26TMA | 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.28203#VK5W |
| QP62BG8368 | QP62BG8368 | statement | record (an 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.13580#XF37 |
| QP65DFGQNY | QP65DFGQNY | statement | record (an 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.10595#5SDK |
| QP68D3ZR67 | QP68D3ZR67 | statement | record (an 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.29623#4XMP |
| QP702Y2A9B | QP702Y2A9B | statement | record (an 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.03305#TV9U |
| QP7P25R3NF | QP7P25R3NF | statement | open | hott_book setmath.tex#thm-7 |
| QP7W3S7XMY | QP7W3S7XMY | statement | record (an 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.35460#ZZGE |
| QP80PWPZYS | QP80PWPZYS | statement | record (an 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#FP0B |
| QP884B9V5S | QP884B9V5S | 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.27628#ZSKT |
| QP88JF9ZZZ | QP88JF9ZZZ | statement | record (an 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.14985#AW9O |
| QP9NYWMN4N | QP9NYWMN4N | statement | record (an 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.26417#UAI0 |
| QPA660W7YR | QPA660W7YR | statement | open | open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#prop:diamond |
| QPAP929134 | QPAP929134 | statement | record (an 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#1KKN |
| QPARXA9XFX | QPARXA9XFX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0907.5545#AWA1 |
| QPATKJNBW5 | QPATKJNBW5 | statement | record (an 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#C7U0 |
| QPAYJMG625 | QPAYJMG625 | statement | record (an 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.28417#KOXM |
| QPBWHYTW79 | QPBWHYTW79 | statement | record (an 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.03814#BYSI |
| QPC2VKZ674 | QPC2VKZ674 | 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.21017#WESL |
| QPC84NHKCG | QPC84NHKCG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.04758#4U4Y |
| QPDFCH2P8Z | QPDFCH2P8Z | statement | record (an 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.02244#O5HM |
| QPDJRT8ZNA | QPDJRT8ZNA | statement | record (an 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.15444#14JN |
| QPDVTNDS5Z | QPDVTNDS5Z | 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.11545#9QQN |
| QPERAKSMW0 | QPERAKSMW0 | statement | record (an 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.15432#XNQZ |
| QPES4T5Z1S | QPES4T5Z1S | statement | record (an 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.19852#ZJ5D |
| QPETVNF9CT | QPETVNF9CT | statement | record (an 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#DMO0 |
| QPEZN5GQYV | QPEZN5GQYV | exercise | open | active_calculus source/activities/act-5-6-2.xml#act-5-6-2 |
| QPFJDC33ZX | QPFJDC33ZX | 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 2309.15424#VGX3 |
| QPFVWCETWE | QPFVWCETWE | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-5 |
| QPG52TK9QR | QPG52TK9QR | statement | record (an 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.11677#U5Z2 |
| QPGAJDJRZ2 | QPGAJDJRZ2 | 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.11886#YG5D |
| QPGXY9Z1GP | QPGXY9Z1GP | proof | open | open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#proof-4 |
| QPHXD495Y9 | QPHXD495Y9 | statement | record (an 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.06488#34DP |
| QPJ334ENV1 | QPJ334ENV1 | statement | record (an 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.34876#PXLF |
| QPJJX9DPYK | QPJJX9DPYK | statement | record (an 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.24355#X4U9 |
| QPJY20F4TX | QPJY20F4TX | statement | record (an 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.40282#WMYK |
| QPK82YJHDT | QPK82YJHDT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.10337#ZJ9Y |
| QPK8JZE8H1 | QPK8JZE8H1 | statement | record (an 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.15460#OVZX |
| QPKEPYA08Q | QPKEPYA08Q | statement | record (an 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.07285#I84S |
| QPKFZBTV7X | QPKFZBTV7X | example | open | levin_dmoi ptx/sec_counting-combperm.ptx#example-2 |
| QPM854K3VV | QPM854K3VV | statement | open | napkin tex/H113/quotient.tex#claim-1 |
| QPM8P22T7F | QPM8P22T7F | statement | record (an 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#LYZG |
| QPMQB1SENR | QPMQB1SENR | statement | record (an 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#HDN1 |
| QPNCGYP72D | QPNCGYP72D | statement | record (an 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.17045#NN3C |
| QPNPS9PE4V | QPNPS9PE4V | 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.15217#EAGR |
| QPP02WVD42 | QPP02WVD42 | statement | record (an 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.21632#C7GQ |
| QPP3F9B161 | QPP3F9B161 | statement | record (an 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.39491#TI5H |
| QPPJSTZF5Q | QPPJSTZF5Q | statement | record (an 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#4BU4 |
| QPPW3QMWYK | QPPW3QMWYK | 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.32733#L0MH |
| QPQ0ZEQ9CF | QPQ0ZEQ9CF | exercise | open | austin_ula src/section3-4.xml#activity-1 |
| QPQ7KBFP6K | QPQ7KBFP6K | statement | record (an 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.18084#DQ0V |
| QPQB7K2Q5V | QPQB7K2Q5V | 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.09567#YY3G |
| QPQD1D5FR6 | QPQD1D5FR6 | statement | record (an 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.14099#V41S |
| QPRQGBM1RC | QPRQGBM1RC | 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.14236#3I9W |
| QPS12FQP1D | QPS12FQP1D | statement | record (an 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.36021#64Y0 |
| QPSJMDD6D6 | QPSJMDD6D6 | 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#TBKB |
| QPSM6H2ZFP | QPSM6H2ZFP | statement | record (an 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.11047#X7FQ |
| QPTB7EX012 | QPTB7EX012 | statement | record (an 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.31216#R4PJ |
| QPTEH051RS | QPTEH051RS | 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.08935#1QUW |
| QPVAFFRXTA | QPVAFFRXTA | statement | record (an 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#7O8I |
| QPVAK8N2MN | QPVAK8N2MN | statement | record (an 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.12015#EUVX |
| QPVEJ5F2DJ | QPVEJ5F2DJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0907.5545#6SPX |
| QPVS2F3636 | QPVS2F3636 | statement | record (an 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.01567#B383 |
| QPVWE5SHPP | QPVWE5SHPP | statement | record (an 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.02672#A7QA |
| QPWHMASJKJ | QPWHMASJKJ | statement | record (an 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/9902147#BZOX |
| QPWWN6TS4Z | QPWWN6TS4Z | unknown | open | |
| QPWZ53PJ87 | QPWZ53PJ87 | statement | record (an 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.19296#YZIC |