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 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 101–200 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| P13MD7GQ8F | P13MD7GQ8F | statement | record (an 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.20165#IOMK |
| P14ZYJD5ZY | P14ZYJD5ZY | example | open | levin_dmoi ptx/sec_intro-statements.ptx#example-2 |
| P154FS5HCT | P154FS5HCT | 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.01915#2DFA |
| P160ZX9W0W | P160ZX9W0W | statement | record (an 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.26114#6VEL |
| P16NHSQP56 | P16NHSQP56 | statement | record (an 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.01837#O0S2 |
| P177PJK2WW | P177PJK2WW | statement | record (an 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.03629#WFIZ |
| P17A81F9KV | P17A81F9KV | statement | record (an 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.32524#F07S |
| P17BSP00RZ | P17BSP00RZ | 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.22237#6YUF |
| P17ER331S8 | P17ER331S8 | 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 2503.16884#Q2E4 |
| P17MSWK42J | P17MSWK42J | statement | record (an 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.04252#0UIL |
| P17XV9ZWXH | P17XV9ZWXH | exercise | open | ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-2 |
| P18F0MZDHG | P18F0MZDHG | statement | record (an 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.33377#8VQI |
| P18J85DV14 | P18J85DV14 | statement | record (an 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.21725#OS21 |
| P191FF48PN | P191FF48PN | 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.16883#0JLT |
| P194Q61RVP | P194Q61RVP | statement | record (an 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.06699#UKWP |
| P19P18A7DB | P19P18A7DB | statement | record (an 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.32860#EWQH |
| P19TQZ94W9 | P19TQZ94W9 | statement | open | napkin tex/measure/caratheodory.tex#thm:cara_premeasure |
| P19WZTZ6H3 | P19WZTZ6H3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1001.1196#O5FN |
| P1A3CC9PVR | P1A3CC9PVR | statement | record (an 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.34283#EBQA |
| P1A4E9WC48 | P1A4E9WC48 | statement | record (an 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.12683#6GQK |
| P1A6GNXVK5 | P1A6GNXVK5 | statement | record (an 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.29521#UW2W |
| P1AAZET082 | P1AAZET082 | example | open | open_logic content/intuitionistic-logic/introduction/bhk-interpretation.tex#ex-5 |
| P1AM7ZR2DG | P1AM7ZR2DG | 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.22326#5E5Z |
| P1B76WP7JM | P1B76WP7JM | statement | record (an 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.13864#N9GG |
| P1B8Z7PHZH | P1B8Z7PHZH | statement | record (an 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.30648#C7WX |
| P1BE7VMKQT | P1BE7VMKQT | statement | record (an 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#0Z8J |
| P1BK7J25Y3 | P1BK7J25Y3 | statement | record (an 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.06645#WXVT |
| P1BKCCR2KB | P1BKCCR2KB | statement | record (an 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.07453#WHM6 |
| P1BN54E8R4 | P1BN54E8R4 | statement | record (an 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#740B |
| P1C4BJWATP | P1C4BJWATP | exercise | open | hott_book hlevels.tex#ex:lemnm |
| P1C63KQTTX | P1C63KQTTX | statement | record (an 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.18017#22ZZ |
| P1CT3JD8EA | P1CT3JD8EA | statement | record (an 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#UG8R |
| P1DQBB8TQ7 | P1DQBB8TQ7 | 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.07030#9IBZ |
| P1DRPVK00H | P1DRPVK00H | statement | record (an 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.32916#CORA |
| P1E33XJAPM | P1E33XJAPM | statement | record (an 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.37450#UIRM |
| P1E933YEFV | P1E933YEFV | statement | record (an 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.30067#5WV0 |
| P1EHT73FDT | P1EHT73FDT | statement | record (an 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.01346#3VGL |
| P1EKFAZBSY | P1EKFAZBSY | statement | record (an 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.13618#EGHA |
| P1EMW1J22X | P1EMW1J22X | 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.31445#2OC8 |
| P1EPRT3AZ6 | P1EPRT3AZ6 | statement | record (an 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.15367#0EDE |
| P1ERHG5A6B | P1ERHG5A6B | 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.31126#ADVA |
| P1F9AFB8PX | P1F9AFB8PX | statement | record (an 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.16844#GXSK |
| P1GQTENC9E | P1GQTENC9E | statement | record (an 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.13137#8C5Z |
| P1GSRP8ECV | P1GSRP8ECV | statement | record (an 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.03909#BGYE |
| P1GZPGT7KJ | P1GZPGT7KJ | statement | record (an 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.01473#FUZX |
| P1H847DRAJ | P1H847DRAJ | 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.07401#NBEA |
| P1HQVQANSE | P1HQVQANSE | statement | record (an 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#VUE7 |
| P1HT7ZJCQ8 | P1HT7ZJCQ8 | statement | record (an 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.15352#NCWH |
| P1HWZN6X2J | P1HWZN6X2J | 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.00789#ICSJ |
| P1J2K9H3P8 | P1J2K9H3P8 | 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.10325#BX3M |
| P1JDZDGT7B | P1JDZDGT7B | 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.38396#IMF3 |
| P1JF2VH3XY | P1JF2VH3XY | statement | record (an 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.14914#BL81 |
| P1JJMPVM73 | P1JJMPVM73 | statement | record (an 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.02585#2QHN |
| P1K5H7JM8K | P1K5H7JM8K | statement | record (an 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#V2XB |
| P1MW61HEQ0 | P1MW61HEQ0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2107.00792#CKBY |
| P1N036M8AP | P1N036M8AP | statement | record (an 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#GF5L |
| P1NS5S6TJ0 | P1NS5S6TJ0 | exercise | open | lebl_ra ch-metric.tex#exercise-13 |
| P1NS7QN9GM | P1NS7QN9GM | proof | open | open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#proof-3 |
| P1PADBWATY | P1PADBWATY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1503.05744#8EUH |
| P1PTWKZP18 | P1PTWKZP18 | statement | record (an 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.14278#2RM6 |
| P1QEBMMFMA | P1QEBMMFMA | 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.36884#R437 |
| P1QJD1BVBF | P1QJD1BVBF | exercise | open | active_calculus source/activities/act-7-4-3.xml#act-7-4-3 |
| P1RCMQ0P9D | P1RCMQ0P9D | exercise | open | levin_dmoi ptx/exercises/gt-paths.ptx#exercise-10 |
| P1S7B6QA3X | P1S7B6QA3X | statement | record (an 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.07673#GGUE |
| P1T5Z64XSV | P1T5Z64XSV | statement | record (an 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#3IK6 |
| P1TBANGXZC | P1TBANGXZC | definition | open | lebl_ra ch-contfunc.tex#defn-8 |
| P1TW3FDN1V | P1TW3FDN1V | 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 2609.31269#S604 |
| P1VFMQJZ7T | P1VFMQJZ7T | exercise | open | lebl_scv scv.tex#exercise-47 |
| P1VWT4AS89 | P1VWT4AS89 | statement | record (an 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.02901#8PLR |
| P1VXH1EQZ8 | P1VXH1EQZ8 | 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.09650#QM8Z |
| P1WENS9XS5 | P1WENS9XS5 | statement | record (an 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.00562#T45C |
| P1XA2A3DRV | P1XA2A3DRV | 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.34570#SGJR |
| P1XQ7PFM6Y | P1XQ7PFM6Y | statement | record (an 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.12014#TN4L |
| P1YBGFNY2D | P1YBGFNY2D | statement | record (an 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#2JD7 |
| P1ZHW3PTAB | P1ZHW3PTAB | statement | record (an 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.29683#P5ZI |
| P1ZPASG84Z | P1ZPASG84Z | statement | record (an 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#HSU8 |
| P1ZTTTHPXP | P1ZTTTHPXP | statement | record (an 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.39465#RDTF |
| P1ZX3XX294 | P1ZX3XX294 | statement | record (an 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.08599#49NT |
| P20BZYX39S | P20BZYX39S | 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 2303.14022#YHIJ |
| P20R7GQXN4 | P20R7GQXN4 | statement | record (an 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#TW3D |
| P20SRTQB67 | P20SRTQB67 | statement | record (an 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.14803#A8EX |
| P20W4E4RQG | P20W4E4RQG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.14678#EW3W |
| P20Y8JGHMP | P20Y8JGHMP | statement | record (an 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.07299#ZV5L |
| P21EJRMECN | P21EJRMECN | statement | record (an 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#G7S4 |
| P21QPBN41F | P21QPBN41F | definition | open | lebl_scv scv.tex#defn-24 |
| P21RW73081 | P21RW73081 | statement | record (an 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#VUUQ |
| P2205YN1C1 | P2205YN1C1 | example | open | ernst_ibl MAAPressVersion/Relations.tex#ex:Twitter |
| P22ZQMJJN9 | P22ZQMJJN9 | 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.30637#LMTQ |
| P23A8Z94HS | P23A8Z94HS | statement | record (an 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#3X0N |
| P23V1R04CT | P23V1R04CT | statement | record (an 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.11965#NGBQ |
| P256AMS3F5 | P256AMS3F5 | statement | record (an 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.00292#8W7M |
| P25MC0C2RG | P25MC0C2RG | statement | record (an 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.32903#JTSJ |
| P25PH796ZG | P25PH796ZG | statement | record (an 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.15771#UFOL |
| P26HGNCKKC | P26HGNCKKC | proof | open | open_logic content/set-theory/card-arithmetic/opps.tex#proof-2 |
| P27E9H40TN | P27E9H40TN | statement | record (an 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#UFQJ |
| P27SFN5JA7 | P27SFN5JA7 | exercise | open | lebl_scv scv.tex#exercise:geomconvexfuncs |
| P27ZHXWFX1 | P27ZHXWFX1 | exercise | open | hott_book hlevels.tex#ex:n-truncation-not-left-exact |
| P280BHF785 | P280BHF785 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#1LQL |
| P287BEHQKN | P287BEHQKN | 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.28650#S6OM |
| P287D6PMC1 | P287D6PMC1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.01658#1JLC |