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 2201–2300 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| PFEZEDQ3FG | PFEZEDQ3FG | statement | record (an 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.18632#ONHG |
| PFEZSS5KPK | PFEZSS5KPK | proof | open | open_logic content/incompleteness/theories-computability/q-is-ce.tex#proof-1 |
| PFF3YQ8CCV | PFF3YQ8CCV | statement | record (an 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.20758#3WYI |
| PFFBTC6EBA | PFFBTC6EBA | proof | open | napkin tex/alg-geom/mor-scheme.tex#proof-1 |
| PFFR601CTZ | PFFR601CTZ | statement | record (an 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.16339#TECH |
| PFFZJ26X4F | PFFZJ26X4F | statement | record (an 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.38844#J7AJ |
| PFGCET5T5K | PFGCET5T5K | statement | record (an 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.03612#D5I4 |
| PFGTNGVW5H | PFGTNGVW5H | statement | record (an 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.03437#B97H |
| PFHKV130JB | PFHKV130JB | statement | record (an 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.03745#T1QI |
| PFHY65HA5V | PFHY65HA5V | definition | open | open_logic content/proof-theory/natural-deduction/rules-proofs.tex#defn:proof |
| PFJ4Q99Y75 | PFJ4Q99Y75 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.5443#6FJL |
| PFJ7A1EQ9Y | PFJ7A1EQ9Y | statement | record (an 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.31274#8C7D |
| PFJ7EW3XGW | PFJ7EW3XGW | 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.01354#WYVD |
| PFJ9GQ112Q | PFJ9GQ112Q | statement | record (an 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.39317#GZYP |
| PFJHRTQDDD | PFJHRTQDDD | statement | record (an 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.00625#AZD6 |
| PFKHRWX1E7 | PFKHRWX1E7 | statement | record (an 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.04673#OAU6 |
| PFKNGXNE65 | PFKNGXNE65 | statement | record (an 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.11048#AF5T |
| PFKQVGVCA8 | PFKQVGVCA8 | statement | record (an 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#01KG |
| PFM1S45V4P | PFM1S45V4P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.01497#HECX |
| PFMSE37J4V | PFMSE37J4V | statement | record (an 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.16877#3N66 |
| PFMTEEJ7CK | PFMTEEJ7CK | statement | record (an 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.22090#MQHV |
| PFMWVMCXRE | PFMWVMCXRE | statement | record (an 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.17181#K2FA |
| PFN7B9ZKMR | PFN7B9ZKMR | proof | open | hott_book reals.tex#proof-17 |
| PFN7SPA259 | PFN7SPA259 | statement | record (an 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.33771#X2UM |
| PFN9A3T55N | PFN9A3T55N | example | open | applied_combinatorics source/s_kitchensink_extremal-set-theory.ptx#exa_Sperner |
| PFN9PBVF3C | PFN9PBVF3C | 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.19449#0JRW |
| PFNFCMNXWX | PFNFCMNXWX | 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.24577#XQG7 |
| PFP5C9M94Q | PFP5C9M94Q | 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.03612#0K3F |
| PFPPW8N8M4 | PFPPW8N8M4 | statement | record (an 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.37747#R1L2 |
| PFQAA6FC6V | PFQAA6FC6V | statement | record (an 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#W15N |
| PFQNBS7MTT | PFQNBS7MTT | 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/9201244#OTJJ |
| PFR2G0G84Z | PFR2G0G84Z | statement | record (an 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.28507#J1LK |
| PFRA2G8Y23 | PFRA2G8Y23 | 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#8PR4 |
| PFT7MSPV4P | PFT7MSPV4P | statement | record (an 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.25353#7PPS |
| PFTDE79J6F | PFTDE79J6F | statement | record (an 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.13850#4G9A |
| PFVF81YSME | PFVF81YSME | statement | record (an 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.26576#1PLU |
| PFVY2A0C77 | PFVY2A0C77 | statement | record (an 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.21322#LTU6 |
| PFVZ5N12BN | PFVZ5N12BN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.01868#N5GY |
| PFW4T6RZD2 | PFW4T6RZD2 | statement | record (an 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.33469#9XQD |
| PFXANRCAW1 | PFXANRCAW1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.22986#MBBN |
| PFXBTKW6FS | PFXBTKW6FS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0806.0033#UAXN |
| PFXJPV25KZ | PFXJPV25KZ | example | open | lebl_ra ch-one-dim-ints-sv.tex#example-6 |
| PFY21B70DG | PFY21B70DG | statement | record (an 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.28985#40BF |
| PFY2W2BTPD | PFY2W2BTPD | statement | record (an 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.29567#8GAQ |
| PFYBQ97ESN | PFYBQ97ESN | statement | record (an 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.28220#13LE |
| PFYST88M29 | PFYST88M29 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-29 |
| PFZ4Z7A0YA | PFZ4Z7A0YA | statement | record (an 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.00312#6J3X |
| PG0PRPQHQQ | PG0PRPQHQQ | statement | record (an 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.14842#AHYB |
| PG15F5ZQE7 | PG15F5ZQE7 | statement | record (an 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.32816#Z010 |
| PG1APJS3F4 | PG1APJS3F4 | statement | record (an 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.15316#BJ2X |
| PG1GZM6ZWT | PG1GZM6ZWT | statement | record (an 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.10519#80RQ |
| PG21Q16NN2 | PG21Q16NN2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1907.01440#1FHJ |
| PG247EF05Q | PG247EF05Q | statement | record (an 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#FU7E |
| PG2WD2FQJD | PG2WD2FQJD | statement | record (an 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.05232#KBMM |
| PG322FDR1M | PG322FDR1M | statement | record (an 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.08018#1JN1 |
| PG3HBM4V2V | PG3HBM4V2V | statement | record (an 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.04527#IEUN |
| PG3NBD4HN1 | PG3NBD4HN1 | proof | open | open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#proof-1 |
| PG3SPSAANN | PG3SPSAANN | 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.21960#B3N8 |
| PG3TW2SNAC | PG3TW2SNAC | statement | record (an 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.00407#2X6G |
| PG40MPA28P | PG40MPA28P | 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.05696#TPO0 |
| PG4HW7AMPN | PG4HW7AMPN | statement | record (an 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.25190#CG23 |
| PG4ZWPKG1M | PG4ZWPKG1M | statement | record (an 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.38243#7S5P |
| PG563T68JT | PG563T68JT | statement | record (an 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.39293#2ON8 |
| PG6FE20G8A | PG6FE20G8A | statement | record (an 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.03288#I94S |
| PG6HZA9E2S | PG6HZA9E2S | statement | record (an 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.31090#O3ZS |
| PG6KXTSXE3 | PG6KXTSXE3 | 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.20558#FKCX |
| PG6XBGP86K | PG6XBGP86K | statement | open | austin_ula src/section3-4.xml#proposition-det-properties |
| PG88TNN5Q2 | PG88TNN5Q2 | exercise | open | lebl_scv scv.tex#exercise-298 |
| PG8BND6Q61 | PG8BND6Q61 | statement | record (an 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.11507#RJJ4 |
| PG8GV3TA26 | PG8GV3TA26 | statement | record (an 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#JU20 |
| PG97XZQAZR | PG97XZQAZR | statement | record (an 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#QW3H |
| PG9ERK1XX5 | PG9ERK1XX5 | 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.21231#5FJ1 |
| PG9KXRBQV7 | PG9KXRBQV7 | statement | record (an 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.08567#0OCY |
| PG9YHF4287 | PG9YHF4287 | statement | record (an 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.14045#HUY6 |
| PGA6GF46ZC | PGA6GF46ZC | statement | record (an 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.24412#MXVI |
| PGA79GKJYG | PGA79GKJYG | statement | open | lebl_diffyqs ch-laplace.tex#theorem-3 |
| PGAC1848AN | PGAC1848AN | statement | record (an 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.36313#ACXD |
| PGAJ7D3785 | PGAJ7D3785 | statement | record (an 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.13629#NCTI |
| PGAQ2J79TP | PGAQ2J79TP | statement | open | napkin tex/linalg/fourier.tex#prop:orthonormal |
| PGBF2FHGQ9 | PGBF2FHGQ9 | statement | record (an 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.14741#9AUY |
| PGC3ANJMF8 | PGC3ANJMF8 | statement | record (an 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.01561#03T2 |
| PGC64Y8GF1 | PGC64Y8GF1 | statement | record (an 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#6WD7 |
| PGCBP672SA | PGCBP672SA | statement | record (an 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.24845#01KL |
| PGCKZJKKZE | PGCKZJKKZE | 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.20368#2FFA |
| PGCQ7JHSFT | PGCQ7JHSFT | statement | record (an 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.10078#9T9T |
| PGCQMNBXSG | PGCQMNBXSG | 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 1912.02769#L97N |
| PGCWE55NJA | PGCWE55NJA | statement | record (an 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.26452#85IG |
| PGCYV533BJ | PGCYV533BJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.25960#S7CO |
| PGDDC345BY | PGDDC345BY | statement | record (an 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.07530#MZHP |
| PGE98EMAZE | PGE98EMAZE | statement | record (an 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.15787#XQU1 |
| PGECBTGKFS | PGECBTGKFS | statement | record (an 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.24917#A3N2 |
| PGEF6W8HQ0 | PGEF6W8HQ0 | 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.10930#XD7H |
| PGEVHARQZR | PGEVHARQZR | statement | record (an 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.28020#5L9X |
| PGF8ER8V3R | PGF8ER8V3R | statement | record (an 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.38532#A5L8 |
| PGFGYM5F0B | PGFGYM5F0B | statement | record (an 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.09001#9SEP |
| PGFH3FHTMS | PGFH3FHTMS | statement | record (an 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#2YFR |
| PGG2NV95G2 | PGG2NV95G2 | statement | record (an 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.17408#UMIF |
| PGH7FS7SJP | PGH7FS7SJP | statement | record (an 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#D2XI |
| PGHJASHNAN | PGHJASHNAN | statement | record (an 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.27200#4U3V |
| PGJ4NF5G7R | PGJ4NF5G7R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#AER1 |