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 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 2101–2200 of 4142.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| QNJ998TQTK | QNJ998TQTK | statement | record (an 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#OYPF |
| QNJFG2H90S | QNJFG2H90S | definition | open | hott_book hlevels.tex#defn:modal-image |
| QNK57TWEZ2 | QNK57TWEZ2 | 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.29699#MMQW |
| QNKTCCSQZE | QNKTCCSQZE | statement | record (an 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.04145#GES7 |
| QNM08H4C0Y | QNM08H4C0Y | statement | record (an 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#58RL |
| QNMMBZWAVG | QNMMBZWAVG | statement | record (an 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.05712#U7AH |
| QNMT58RRQF | QNMT58RRQF | statement | record (an 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.07280#EV1Q |
| QNMT7GNB8N | QNMT7GNB8N | statement | record (an 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.35404#AU6C |
| QNN00A8AVP | QNN00A8AVP | statement | record (an 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.09672#R7NE |
| QNN795FH6R | QNN795FH6R | statement | record (an 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.33154#WMHY |
| QNNAH6PBF8 | QNNAH6PBF8 | statement | record (an 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.10469#6X8M |
| QNNEXNJ5WG | QNNEXNJ5WG | statement | record (an 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.04099#RXJD |
| QNP821MPRJ | QNP821MPRJ | 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#5I77 |
| QNPXK51XG6 | QNPXK51XG6 | 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 1903.11969#066P |
| QNQCEENXBS | QNQCEENXBS | statement | record (an 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.08010#NZ5O |
| QNQK5ZAMFB | QNQK5ZAMFB | statement | record (an 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.01828#1BQZ |
| QNQNGMSC6R | QNQNGMSC6R | example | open | lebl_diffyqs ch-laplace.tex#example-3 |
| QNQPCC1ARP | QNQPCC1ARP | statement | record (an 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.21892#PIH7 |
| QNQS4T9E66 | QNQS4T9E66 | statement | record (an 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.20145#7OU0 |
| QNQVS8JVHM | QNQVS8JVHM | statement | open | open_logic content/model-theory/models-of-arithmetic/standard-models.tex#prop:thq-standard |
| QNR8XBTW60 | QNR8XBTW60 | 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.09945#29P7 |
| QNRFCTSE25 | QNRFCTSE25 | statement | record (an 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.09404#UUPF |
| QNRFSZGDE0 | QNRFSZGDE0 | statement | record (an 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.29326#XWX4 |
| 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 |
| QNXFGMHEH9 | QNXFGMHEH9 | statement | record (an 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.21013#D09T |
| 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 |
| QP4C2F61VG | QP4C2F61VG | problem | open | Wikipedia Conference graph#PIOM |
| 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 |
| QP646ZW42Z | QP646ZW42Z | 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.22825#QFXE |
| 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 |
| QP6BWZ7S6S | QP6BWZ7S6S | statement | record (an 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.21367#OZ9V |
| 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 |
| QP72K6HXE2 | QP72K6HXE2 | statement | record (an 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.20208#RYJ4 |
| QP7HV344NB | QP7HV344NB | statement | record (an 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.20805#IPWE |
| 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 |
| QPD | 6NHTEHA07K | definition | open | Wikipedia Glossary of set theory#8UMO |
| 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 |