Inventory: P
The rows of the inventory whose names start with P. 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 601–700 of 13732.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| P56WC4HWN0 | P56WC4HWN0 | statement | record (an 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#0NW2 |
| P571HR7WYX | P571HR7WYX | statement | record (an 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.00869#9C6M |
| P57G7Z4RVC | P57G7Z4RVC | statement | record (an 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.27635#ZEEA |
| P57HR6CW7P | P57HR6CW7P | statement | record (an 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.09422#G85R |
| P57NQ9DBYH | P57NQ9DBYH | 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 2401.14143#3MC1 |
| P58527KTTR | P58527KTTR | 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.18242#DQIX |
| P589H0XFSN | P589H0XFSN | 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.19088#NVOS |
| P58XREYC4H | P58XREYC4H | statement | record (an 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.15405#MP52 |
| P58Z79DSP8 | P58Z79DSP8 | statement | record (an 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.35229#QOCX |
| P58ZQ889XM | P58ZQ889XM | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-58 |
| P597AKAZ0V | P597AKAZ0V | 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 2211.04758#9LSF |
| P59EM6P446 | P59EM6P446 | statement | record (an 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.14380#5LGU |
| P59MKE8SM1 | P59MKE8SM1 | 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.31269#9F87 |
| P59VEBPA2Z | P59VEBPA2Z | statement | record (an 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.31907#RRVM |
| P5AN64RB0S | P5AN64RB0S | 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.02506#8PJM |
| P5AY2A44BC | P5AY2A44BC | 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 2103.12669#TN7Z |
| P5B7HC49N6 | P5B7HC49N6 | exercise | open | levin_dmoi ptx/exercises/seq-basics.ptx#exercise-8 |
| P5B9MZ241X | P5B9MZ241X | statement | record (an 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.30165#1I7F |
| P5BH6VMRMP | P5BH6VMRMP | exercise | open | lebl_ra ch-approximate.tex#exercise-26 |
| P5BR1NN6KH | P5BR1NN6KH | 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.30444#H7GT |
| P5BW074R3F | P5BW074R3F | statement | record (an 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.08382#HZ9V |
| P5C004646P | P5C004646P | statement | record (an 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.35287#3WKY |
| P5CFQEQ5Q7 | P5CFQEQ5Q7 | statement | record (an 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.06338#MNQL |
| P5CJ3YZ30Y | P5CJ3YZ30Y | 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 2510.12502#IN4K |
| P5CJFEA3G0 | P5CJFEA3G0 | statement | record (an 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.22326#2VT2 |
| P5D7NC5Y9W | P5D7NC5Y9W | statement | record (an 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.37815#J61G |
| P5FAZCTD6D | P5FAZCTD6D | statement | record (an 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.30779#4S2N |
| P5FM27JG8C | P5FM27JG8C | 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 2605.24355#FPBF |
| P5G1Y6SDCH | P5G1Y6SDCH | 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 2510.12502#TSBO |
| P5H4DGE51T | P5H4DGE51T | statement | record (an 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.20740#0WXL |
| P5HSZ961FZ | P5HSZ961FZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1209.3562#VHQ3 |
| P5HY5V6KDF | P5HY5V6KDF | exercise | open | napkin tex/H113/quotient.tex#exercise-1 |
| P5JF786P10 | P5JF786P10 | proof | open | open_logic content/sets-functions-relations/size-of-sets/non-enumerability.tex#proof-1 |
| P5K3A5V1KC | P5K3A5V1KC | statement | record (an 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.12486#NFNQ |
| P5KEG13MRC | P5KEG13MRC | statement | record (an 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.09599#UNHR |
| P5KMY1GR6G | P5KMY1GR6G | statement | record (an 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#NK1W |
| P5KS3V7CN8 | P5KS3V7CN8 | statement | record (an 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.24065#OGY5 |
| P5MHZJFS0C | P5MHZJFS0C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.12479#PTLN |
| P5MP2J9J69 | P5MP2J9J69 | statement | record (an 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.36714#JK62 |
| P5NAX52ADH | P5NAX52ADH | statement | record (an 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.13100#19H4 |
| P5NBC7PXCQ | P5NBC7PXCQ | statement | record (an 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.12496#JF8X |
| P5NDR8VZCF | P5NDR8VZCF | statement | record (an 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.19023#CEKK |
| P5NKBCZS6A | P5NKBCZS6A | statement | record (an 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.13291#OQ23 |
| P5NKHYT0EY | P5NKHYT0EY | exercise | open | levin_dmoi ptx/exercises/gt-intro.ptx#exercise-8 |
| P5NY2SG5VB | P5NY2SG5VB | statement | record (an 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.18242#9TF9 |
| P5PY15CDFS | P5PY15CDFS | statement | record (an 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.02535#X95X |
| P5Q2YWQHX9 | P5Q2YWQHX9 | example | open | napkin tex/diffgeo/forms.tex#example-6 |
| P5Q8MNH474 | P5Q8MNH474 | 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 2608.24190#7AAH |
| P5QCBQFX8V | P5QCBQFX8V | statement | record (an 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.19132#25K0 |
| P5QEJ7K9NA | P5QEJ7K9NA | statement | record (an 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.24065#T6BS |
| P5QZ0419AX | P5QZ0419AX | statement | record (an 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#1N7Y |
| P5QZ8P6WFM | P5QZ8P6WFM | statement | record (an 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.32174#A2E0 |
| P5R0RKTB2N | P5R0RKTB2N | statement | record (an 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.20956#FCZS |
| P5R3MRM7FB | P5R3MRM7FB | 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.20849#V1SW |
| P5S0VZCFT9 | P5S0VZCFT9 | example | open | napkin tex/cats/categories.tex#example-5 |
| P5S14V47EC | P5S14V47EC | statement | record (an 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.20531#G8LT |
| P5S1QFGYD3 | P5S1QFGYD3 | statement | record (an 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.18246#GU4U |
| P5SEV9MHTY | P5SEV9MHTY | statement | record (an 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.12484#GRZ2 |
| P5STE1X1K1 | P5STE1X1K1 | statement | record (an 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.06785#1AGY |
| P5T3P4XZK4 | P5T3P4XZK4 | statement | record (an 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.12846#C2SX |
| P5TFPB389J | P5TFPB389J | proof | open | open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#proof-4 |
| P5TJSDABRQ | P5TJSDABRQ | statement | record (an 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.13142#7Y09 |
| P5VFCDN3MC | P5VFCDN3MC | statement | record (an 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.20025#VBX6 |
| P5W50A2G82 | P5W50A2G82 | statement | record (an 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.00113#8ZEW |
| P5WRK8FND1 | P5WRK8FND1 | statement | record (an 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.27078#VMT0 |
| P5XD719MWR | P5XD719MWR | statement | record (an 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.14615#UI5C |
| P5XG07VT0B | P5XG07VT0B | statement | record (an 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.14214#564I |
| P5XJNTCYAJ | P5XJNTCYAJ | unknown | open | |
| P5YQ6MNTVY | P5YQ6MNTVY | statement | open | ernst_ibl MAAPressVersion/IrrationalityRoot2.tex#thm:sqrt2 |
| P5Z5557NXX | P5Z5557NXX | 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 2508.01642#H6MO |
| P5ZDZHZHTD | P5ZDZHZHTD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.23072#81H1 |
| P5ZE8J26T0 | P5ZE8J26T0 | 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#INQA |
| P5ZEF6Q36Z | P5ZEF6Q36Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.14956#WL1B |
| P611GBW6RE | P611GBW6RE | statement | record (an 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.25307#PDP5 |
| P615YRGGSD | P615YRGGSD | 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.12480#VB84 |
| P61HXAQ3E7 | P61HXAQ3E7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2504.01057#7BD1 |
| P625NK8GTH | P625NK8GTH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.01874#AOCN |
| P62DGGWS97 | P62DGGWS97 | statement | open | open_logic content/turing-machines/undecidability/universal-tm.tex#thm:universal-tm |
| P62F93RGKX | P62F93RGKX | statement | record (an 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#AIWL |
| P63N1AZ0BH | P63N1AZ0BH | 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/9602216#A67Z |
| P63RZWKEB9 | P63RZWKEB9 | statement | record (an 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.04809#MNXN |
| P64QXAJ6V7 | P64QXAJ6V7 | 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.12908#TSC5 |
| P64ZJSQGFB | P64ZJSQGFB | 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 2312.06581#D6LC |
| P65F20KY9S | P65F20KY9S | statement | record (an 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.33185#86D1 |
| P65G698ENN | P65G698ENN | 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.01753#RG1H |
| P6602S33KM | P6602S33KM | proof | open | hott_book reals.tex#proof-14 |
| P662QP98AC | P662QP98AC | statement | record (an 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.25435#6S28 |
| P66B278NJ1 | P66B278NJ1 | statement | record (an 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.09882#9TLI |
| P66E86XWF8 | P66E86XWF8 | definition | open | lebl_ra ch-seq-ser.tex#defn-4 |
| P66Q6A4KQA | P66Q6A4KQA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#DFZ6 |
| P66QK52Q8K | P66QK52Q8K | 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#4QJB |
| P67DC3N5NW | P67DC3N5NW | proof | open | open_logic content/sets-functions-relations/arithmetization/checking-details.tex#proof-3 |
| P67FAXKXZW | P67FAXKXZW | statement | record (an 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.05986#JXO4 |
| P67TJ1VPZK | P67TJ1VPZK | statement | record (an 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.38735#DXET |
| P67XRZTJK4 | P67XRZTJK4 | statement | record (an 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.19882#OSV8 |
| P68GE6SH23 | P68GE6SH23 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#4AIL |
| P68H2TD2KB | P68H2TD2KB | exercise | open | applied_combinatorics source/s_networkflow_exercises.ptx#exercise-3 |
| P68TF4V56S | P68TF4V56S | statement | record (an 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.27366#NZA7 |
| P698JDBVJB | P698JDBVJB | statement | record (an 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.29450#Z14W |
| P69A81JJJ4 | P69A81JJJ4 | 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.10077#NXT6 |